Journal article
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
IEEE control systems letters, Vol.6, pp.2293-2298
2022
DOI: 10.1109/LCSYS.2022.3145058
Abstract
Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Challenges arise when the operating environment is dynamic and unknown since the environment can be found prohibitive, leading to potentially conflicting tasks where pre-specified missions cannot be fully satisfied. Such issues become even more challenging when considering time-bound requirements. This work proposes a control framework to address these challenges, considering hard constraints to enforce safety requirements and soft constraints to enable task relaxation. The metric interval temporal logic (MITL) specifications are employed to deal with time constraints. By constructing a relaxed timed product automaton, an online motion planning strategy is synthesized with a receding horizon controller to generate policies, achieving multiple objectives in decreasing order of priority 1) formally guarantee the satisfaction of hard safety constraints; 2) mostly fulfill soft timed tasks; 3) collect time-varying rewards as much as possible. Simulation results are provided to validate the proposed approach.
Details
- Title: Subtitle
- Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
- Creators
- Zhiliang Li - University of Science and Technology of ChinaMingyu Cai - University of IowaShaoping Xiao - University of Iowa, Mechanical EngineeringZhen Kan - University of Iowa, Mechanical Engineering
- Resource Type
- Journal article
- Publication Details
- IEEE control systems letters, Vol.6, pp.2293-2298
- DOI
- 10.1109/LCSYS.2022.3145058
- ISSN
- 2475-1456
- eISSN
- 2475-1456
- Publisher
- IEEE
- Grant note
- DOI: 10.13039/501100001809, name: National Natural Science Foundation of China, award: U2013601, 62173314
- Language
- English
- Electronic publication date
- 01/20/2022
- Date published
- 2022
- Academic Unit
- Iowa Technology Institute; Mechanical Engineering
- Record Identifier
- 9984210942802771
Metrics
20 Record Views