3 citations · 6 across the 7 of their papers we have counts for
3 papers · 1 filter
Filtering for Liveness: Recurrence via Backup Reachability Control Barrier Functions
David E. J. van Wijk, Pio Ong, Aaron D. Ames +1
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 requ…
Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability
Jungbae Chun, Shima Sadat Mousavi, David E. J. van Wijk +3
Backup control barrier functions (bCBFs) enforce safety for input-constrained nonlinear systems using a pre-certified backup set and controller, but their performance depends stron…
Robust Adaptive Backup Control Barrier Functions
Ersin Daş, David E. J. van Wijk, Tamas G. Molnar +2
We propose a notion of robust adaptive backup control barrier functions for nonlinear control affine systems with parametric uncertainty in both the drift dynamics and actuation ma…