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

Mohammad Hekmatnejad, Georgios Fainekos

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

3 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
ISBN (Print)9781538654286
DOIs
StatePublished - Aug 9 2018
Event2018 Annual American Control Conference, ACC 2018 - Milwauke, United States
Duration: Jun 27 2018Jun 29 2018

Publication series

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

Other

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

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Optimal Multi-Valued LTL Planning for Systems with Access Right Levels'. Together they form a unique fingerprint.

Cite this