TY - GEN
T1 - Temporal logic control under incomplete or conflicting information
AU - Fainekos, Georgios
AU - Tanner, Herbert G.
N1 - Publisher Copyright:
© 2017 American Automatic Control Council (AACC).
PY - 2017/6/29
Y1 - 2017/6/29
N2 - Temporal logic control methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level formal requirements. In the existing frameworks, the prevalent assumption is that there is a single stakeholder with full or partial knowledge of the environment or the system. However, this assumption may not be valid in both off-line and on-line temporal logic control problems. That is, multiple stakeholders and inaccurate sources of information may produce a self-contradictory model of the world or the system. Classical control synthesis methods cannot handle non-consistent model environments even though such inconsistencies may not affect the control synthesis problem for a given formal requirement. In this work, we show how such problems can be circumvented by utilizing multi-valued temporal logics and system models.
AB - Temporal logic control methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level formal requirements. In the existing frameworks, the prevalent assumption is that there is a single stakeholder with full or partial knowledge of the environment or the system. However, this assumption may not be valid in both off-line and on-line temporal logic control problems. That is, multiple stakeholders and inaccurate sources of information may produce a self-contradictory model of the world or the system. Classical control synthesis methods cannot handle non-consistent model environments even though such inconsistencies may not affect the control synthesis problem for a given formal requirement. In this work, we show how such problems can be circumvented by utilizing multi-valued temporal logics and system models.
UR - http://www.scopus.com/inward/record.url?scp=85027016178&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85027016178&partnerID=8YFLogxK
U2 - 10.23919/ACC.2017.7963222
DO - 10.23919/ACC.2017.7963222
M3 - Conference contribution
AN - SCOPUS:85027016178
T3 - Proceedings of the American Control Conference
SP - 1853
EP - 1858
BT - 2017 American Control Conference, ACC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2017 American Control Conference, ACC 2017
Y2 - 24 May 2017 through 26 May 2017
ER -