2 citations · 4 across the 7 of their papers we have counts for
7 papers
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…
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…
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…
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
Hongkai Dai, Chuanrui Jiang, Hongchao Zhang +1
Safety and stability are essential properties of control systems. Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are powerful tools to ensure safety and sta…
Learning a Formally Verified Control Barrier Function in Stochastic Environment
Manan Tayal, Hongchao Zhang, Pushpak Jagtap +2
Safety is a fundamental requirement of control systems. Control Barrier Functions (CBFs) are proposed to ensure the safety of the control system by constructing safety filters or s…
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
Hongchao Zhang, Luyao Niu, Andrew Clark +1
Safety is a fundamental requirement of many robotic systems. Control barrier function (CBF)-based approaches have been proposed to guarantee the safety of robotic systems. However,…
Exact Verification of ReLU Neural Control Barrier Functions
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik +1
Control Barrier Functions (CBFs) are a popular approach for safe control of nonlinear systems. In CBF-based control, the desired safety properties of the system are mapped to nonne…