Temporal logic control under incomplete or conflicting information

Georgios Fainekos, Herbert G. Tanner

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

1 Citation (Scopus)

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

Fingerprint

Temporal logic
Robots
Motion planning

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

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

Temporal logic control under incomplete or conflicting information. / Fainekos, Georgios; Tanner, Herbert G.

2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 1853-1858 7963222.

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

Fainekos, G & Tanner, HG 2017, Temporal logic control under incomplete or conflicting information. in 2017 American Control Conference, ACC 2017., 7963222, Institute of Electrical and Electronics Engineers Inc., pp. 1853-1858, 2017 American Control Conference, ACC 2017, Seattle, United States, 5/24/17. https://doi.org/10.23919/ACC.2017.7963222
Fainekos G, Tanner HG. Temporal logic control under incomplete or conflicting information. In 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc. 2017. p. 1853-1858. 7963222 https://doi.org/10.23919/ACC.2017.7963222
Fainekos, Georgios ; Tanner, Herbert G. / Temporal logic control under incomplete or conflicting information. 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 1853-1858
@inproceedings{bfc089533b6543c4b924ca8844628ed6,
title = "Temporal logic control under incomplete or conflicting information",
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.",
author = "Georgios Fainekos and Tanner, {Herbert G.}",
year = "2017",
month = "6",
day = "29",
doi = "10.23919/ACC.2017.7963222",
language = "English (US)",
pages = "1853--1858",
booktitle = "2017 American Control Conference, ACC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Temporal logic control under incomplete or conflicting information

AU - Fainekos, Georgios

AU - Tanner, Herbert G.

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

SP - 1853

EP - 1858

BT - 2017 American Control Conference, ACC 2017

PB - Institute of Electrical and Electronics Engineers Inc.

ER -