Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
Seth Siriya, Mo Chen, Ye Pu
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 re…
eess.SY2024
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He +2
In this paper, we present an approach for guaranteeing the completion of complex tasks with cyber-physical systems (CPS). Specifically, we leverage temporal logic trees constructed…