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

Abstract

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.
Pages1853-1858
Number of pages6
ISBN (Electronic)9781509059928
DOIs
StatePublished - Jun 29 2017
Event2017 American Control Conference, ACC 2017 - Seattle, United States
Duration: May 24 2017May 26 2017

Other

Other2017 American Control Conference, ACC 2017
CountryUnited States
CitySeattle
Period5/24/175/26/17

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

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

  • Cite this

    Fainekos, G., & Tanner, H. G. (2017). Temporal logic control under incomplete or conflicting information. In 2017 American Control Conference, ACC 2017 (pp. 1853-1858). [7963222] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/ACC.2017.7963222