Temporal logic control under incomplete or conflicting information

Georgios Fainekos, Herbert G. Tanner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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.

Original languageEnglish (US)
Title of host publication2017 American Control Conference, ACC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)9781509059928
StatePublished - Jun 29 2017
Event2017 American Control Conference, ACC 2017 - Seattle, United States
Duration: May 24 2017May 26 2017

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Other2017 American Control Conference, ACC 2017
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'Temporal logic control under incomplete or conflicting information'. Together they form a unique fingerprint.

Cite this