Optimal Multi-Valued LTL Planning for Systems with Access Right Levels

Mohammad Hekmatnejad, Georgios Fainekos

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

2 Scopus citations

Abstract

We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or uncertain knowledge with a minimum required truth degree. In order to introduce modeling flexibility to the framework, we propose semantics over ranges of truth values and operators that reason over such ranges of truth values. We show that the resulting optimal planning problem can be solved efficiently. In terms of application, we show how this method can be used for motion planning in autonomous driving cars for road networks with multiple degrees of accessibility.

Original languageEnglish (US)
Title of host publication2018 Annual American Control Conference, ACC 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages2363-2370
Number of pages8
Volume2018-June
ISBN (Print)9781538654286
DOIs
StatePublished - Aug 9 2018
Event2018 Annual American Control Conference, ACC 2018 - Milwauke, United States
Duration: Jun 27 2018Jun 29 2018

Other

Other2018 Annual American Control Conference, ACC 2018
CountryUnited States
CityMilwauke
Period6/27/186/29/18

    Fingerprint

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Hekmatnejad, M., & Fainekos, G. (2018). Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conference, ACC 2018 (Vol. 2018-June, pp. 2363-2370). [8431556] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/ACC.2018.8431556