3 papers
math.OC2026
Verification Framework for the Union of Control Barrier Functions
Chuanrui Jiang, Andrew Clark
Control Barrier Functions (CBFs) have been proposed to ensure safety of autonomous systems. This paper considers control policies that switch between CBF constraints. Under this ap…
eess.SY2025
Stochastic Neural Control Barrier Functions
Hongchao Zhang, Manan Tayal, Jackson Cox +3
Control Barrier Functions (CBFs) are utilized to ensure the safety of control systems. CBFs act as safety filters in order to provide safety guarantees without compromising system…
eess.SY2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
Hongchao Zhang, Zhizhen Qin, Sicun Gao +1
Neural Control Barrier Functions (NCBFs) have shown significant promise in enforcing safety constraints on nonlinear autonomous systems. State-of-the-art exact approaches to verify…