Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Preprint
Abstract
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments. Signal temporal logic (STL) specifications are an effective way to encode complex temporally extended objectives for trajectory planning in cyber-physical systems (CPS). However, planning from these specifications using existing techniques scale exponentially with the number of nested operators and the horizon of specification. Additionally, performance is exacerbated at runtime due to limited computational budgets and compounding modeling errors. Decomposing a complex specification into smaller subtasks and incrementally planning for them can remedy these issues. In this work, we present a way to decompose STL requirements temporally to improve planning efficiency and performance. The key insight in our work is to encode all specifications as a set of reachability and invariance constraints and scheduling these constraints sequentially at runtime. Our proposed technique outperforms the state-of-the-art trajectory synthesis techniques for both linear and non linear dynamical systems.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition2023
- Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains2023
- Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary VariablesIEEE Control Systems Letters, 2022
- Multi-Agent Motion Planning From Signal Temporal Logic SpecificationsIEEE Robotics and Automation Letters, 2022
- Control Barrier Functions for Signal Temporal Logic TasksIEEE Control Systems Letters, 2018
- Formal Synthesis of Control Strategies for Positive Monotone SystemsIEEE Transactions on Automatic Control, 2018
- Q-Learning for robust satisfaction of signal temporal logic specifications2016
- Model predictive control with signal temporal logic specifications2014
- Monitoring Temporal Properties of Continuous Signals2004
- The temporal logic of programs1977