9 papers · 1 filter
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…
Structure, Feasibility, and Explicit Safety Filters for Linear Systems
Shima Sadat Mousavi, Max H. Cohen, Pol Mestres +1
Safety filters based on control barrier functions (CBFs) and high-order control barrier functions (HOCBFs) are often implemented through quadratic programs (QPs). In general, espec…
Stability Margins of CBF-QP Safety Filters: Analysis and Synthesis
Shima Sadat Mousavi, Pol Mestres, Aaron D. Ames
Control barrier function (CBF)-QP safety filters enforce safety by minimally modifying a nominal controller. While prior work has mainly addressed robustness of safety under uncert…