2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
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,…