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

Mohammad Hekmatnejad, Georgios Fainekos

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

1 Citation (Scopus)

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

Temporal logic
Planning
Motion planning
Railroad cars
Semantics

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

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. / Hekmatnejad, Mohammad; Fainekos, Georgios.

2018 Annual American Control Conference, ACC 2018. Vol. 2018-June Institute of Electrical and Electronics Engineers Inc., 2018. p. 2363-2370 8431556.

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

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, 8431556, Institute of Electrical and Electronics Engineers Inc., pp. 2363-2370, 2018 Annual American Control Conference, ACC 2018, Milwauke, United States, 6/27/18. https://doi.org/10.23919/ACC.2018.8431556
Hekmatnejad M, Fainekos G. Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conference, ACC 2018. Vol. 2018-June. Institute of Electrical and Electronics Engineers Inc. 2018. p. 2363-2370. 8431556 https://doi.org/10.23919/ACC.2018.8431556
Hekmatnejad, Mohammad ; Fainekos, Georgios. / Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. 2018 Annual American Control Conference, ACC 2018. Vol. 2018-June Institute of Electrical and Electronics Engineers Inc., 2018. pp. 2363-2370
@inproceedings{0532f1a5b362438d83140a0a8602e41e,
title = "Optimal Multi-Valued LTL Planning for Systems with Access Right Levels",
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.",
author = "Mohammad Hekmatnejad and Georgios Fainekos",
year = "2018",
month = "8",
day = "9",
doi = "10.23919/ACC.2018.8431556",
language = "English (US)",
isbn = "9781538654286",
volume = "2018-June",
pages = "2363--2370",
booktitle = "2018 Annual American Control Conference, ACC 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

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

AU - Hekmatnejad, Mohammad

AU - Fainekos, Georgios

PY - 2018/8/9

Y1 - 2018/8/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85052578358&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85052578358&partnerID=8YFLogxK

U2 - 10.23919/ACC.2018.8431556

DO - 10.23919/ACC.2018.8431556

M3 - Conference contribution

SN - 9781538654286

VL - 2018-June

SP - 2363

EP - 2370

BT - 2018 Annual American Control Conference, ACC 2018

PB - Institute of Electrical and Electronics Engineers Inc.

ER -