Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Name
IROS_2017.pdf
Size
569.21 KB
Format
Adobe PDF
Checksum (MD5)
31b44aa3094554c74fc4cdb29d00712a
Author(s)
Vasile, Cristian-Ioan
Raman, Vasumathi
Karaman, Sertac
Date Issued
September 2017
Journal
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
Abstract
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.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/IROS.2017.8206235
