Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Abstract
In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We show the soundness of the measure and develop a monitor for reasoning about partial trajectories. Using this monitor, we introduce an STL sampling-based motion planning algorithm for robots under uncertainty. Given a minimum robustness requirement, this algorithm finds satisfying motion plans; alternatively, the algorithm also optimizes for the measure. We prove probabilistic completeness and asymptotic optimality, and demonstrate the effectiveness of our approach on several case studies.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2022
- DOI:
- 10.48550/arXiv.2210.04813
- arXiv:
- arXiv:2210.04813
- Bibcode:
- 2022arXiv221004813I
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Robotics;
- Electrical Engineering and Systems Science - Systems and Control