Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
Seth Siriya, Mo Chen, and Ye Pu

TL;DR
This paper presents methods for real-time, safety-guaranteed trajectory planning and tracking of time-varying systems, enabling autonomous systems to operate safely and efficiently in dynamic environments.
Contribution
It introduces two novel algorithms for safety-guaranteed control of time-varying systems, including one that handles infinite horizon periodic systems, with validation on an autonomous underwater vehicle.
Findings
Algorithms successfully track virtual trajectories in simulations.
Methods provide safety guarantees despite disturbances.
Real-time replanning is feasible for complex systems.
Abstract
When deploying autonomous systems in unknown and changing environments, it is critical that their motion planning and control algorithms are computationally efficient and can be reapplied online in real time, whilst providing theoretical safety guarantees in the presence of disturbances. The satisfaction of these objectives becomes more challenging when considering time-varying dynamics and disturbances, which arise in real-world contexts. We develop methods with the potential to address these issues by applying an offline-computed safety guaranteeing controller on a physical system, to track a virtual system that evolves through a trajectory that is replanned online, accounting for constraints updated online. The first method we propose is designed for general time-varying systems over a finite horizon. Our second method overcomes the finite horizon restriction for periodic systems. We…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Robotic Path Planning Algorithms · Vehicle Dynamics and Control Systems
