Aaron D. Ames

Filtering for Liveness: Recurrence via Backup Reachability Control Barrier Functions

Liveness requires a dynamical system to repeatedly accomplish a desired objective over time. In this work, we consider a particular form of liveness known as recurrence, which requires the closed-loop trajectory to regularly revisit a prescribed set, with no more than a specified amount of time between visits. Inspired...