Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
arXiv:2411.13834 · doi:10.1109/TAC.2025.3592723
Abstract
The paper considers the controller synthesis problem for general MIMO systems with unknown dynamics, aiming to fulfill the temporal reach-avoid-stay task, where the unsafe regions are time-dependent, and the target must be reached within a specified time frame. The primary aim of the paper is to construct the spatiotemporal tube (STT) using a sampling-based approach and thereby devise a closed-form approximation-free control strategy to ensure that system trajectory reaches the target set while avoiding time-dependent unsafe sets. The proposed scheme utilizes a novel method involving STTs to provide controllers that guarantee both system safety and reachability. In our sampling-based framework, we translate the requirements of STTs into a Robust optimization program (ROP). To address the infeasibility of ROP caused by infinite constraints, we utilize the sampling-based Scenario optimization program (SOP). Subsequently, we solve the SOP to generate the tube and closed-form controller for an unknown system, ensuring the temporal reach-avoid-stay specification. Finally, the effectiveness of the proposed approach is demonstrated through three case studies: an omnidirectional robot, a SCARA manipulator, and a magnetic levitation system.
IEEE Transactions on Automatic Control (2025)
References in corpus (5)
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- Funnel Control Under Hard and Soft Output Constraints (extended version)
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications
- Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems