14 papers
Safe Stabilizing Linear Feedback: Necessary and Sufficient Conditions, Optimality, and Margins
Pol Mestres, Shima Sadat Mousavi, Pio Ong +1
Control barrier functions (CBFs) have become an important controller design tool for autonomous systems subject to safety constraints. Despite their popularity, recent works have s…
Stability Analysis in Multi-Constraint Safety Filters for Linear Systems
Shima Sadat Mousavi, Pol Mestres, Aaron D. Ames
Multi-constraint safety filters based on control barrier functions for linear systems with affine state constraints yield continuous piecewise-affine closed-loop dynamics and may i…
Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
David E. J. van Wijk, Tamas G. Molnar, Samuel Coogan +3
Guaranteeing the safety of controllers is vital for real-world applications, but is markedly difficult when the states are not perfectly known and when the control inputs are bound…
Safety Filtering with an Infinite Number of Constraints
Max H. Cohen, Pio Ong, Pol Mestres +1
Control barrier functions (CBFs) provide a rigorous framework for designing controllers enforcing safety constraints. While CBF theory is well-developed for a finite number of safe…
Probabilistic Control Barrier Functions for Systems with State Estimation Uncertainty using Sub-Gaussian Concentration
Kazuya Echigo, David E. J. van Wijk, Pol Mestres +3
Safety-critical control systems, such as spacecraft performing proximity operations, must provide formal safety guarantees despite stochastic uncertainties from state estimation an…
Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
Joe Moeller, Aaron D. Ames
Hybrid dynamical systems exhibit a diverse array of stability phenomena, each currently addressed by separate Lyapunov-like results. We show that these results are all instances of…