Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Author(s)
Vasile, Cristian-Ioan; Raman, Vasumathi; Karaman, Sertac
DownloadIROS_2017.pdf (569.2Kb)
OPEN_ACCESS_POLICY
Open Access Policy
Creative Commons Attribution-Noncommercial-Share Alike
Terms of use
Metadata
Show full item recordAbstract
Sampling-based methods have advanced the state of the art in robotic motion planning and control across complex, high-dimensional domains. With few exceptions, such approaches only admit simple constraints and objectives, such as collision-avoidance and reaching a goal state. In this work we leverage the best of two worlds: the scalability of sampling-based motion planning and the precise formal guarantees of temporal logic. We present an incremental sampling-based algorithm that synthesizes a motion control policy satisfying a bounded Signal Temporal Logic formula over properties of a given environment. Our key insight is that we can bias the selection of samples using a quantitative measure of how well the best path in the current tree of samples satisfies the specification. This allows us both to converge to a path that satisfies the specification, and to improve upon an existing path, i.e. to satisfy the specification with maximum robustness. We illustrate the performance of our method in several case studies.
Date issued
2017-09Department
Massachusetts Institute of Technology. Department of Aeronautics and AstronauticsJournal
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Vasile, Cristian-Ioan, et al. “Sampling-Based Synthesis of Maximally-Satisfying Controllers for Temporal Logic Specifications.” 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 24-28 September, 2016, Vancouver, BC, Canada, IEEE, 2017, pp. 3840–47.
Version: Author's final manuscript
ISBN
978-1-5386-2682-5