8 citations · 15 across the 12 of their papers we have counts for
12 papers
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma +2
Differential-algebraic equations (DAEs) arise in power networks, chemical processes, and multibody systems, where algebraic constraints encode physical conservation laws. The safet…
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…
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
Luyao Niu, Hongchao Zhang, Dinuka Sahabandu +3
Multi-agent cyber-physical systems are present in a variety of applications. Agent decision-making can be affected due to errors induced by uncertain, dynamic operating environment…
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…
Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks
Hongchao Zhang, Zhouchi Li, Shiyu Cheng +1
Autonomous vehicles rely on LiDAR sensors to detect obstacles such as pedestrians, other vehicles, and fixed infrastructures. LiDAR spoofing attacks have been demonstrated that eit…
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks
Hongchao Zhang, Shiyu Cheng, Luyao Niu +1
Autonomous Cyber-Physical Systems (CPS) fuse proprioceptive sensors such as GPS and exteroceptive sensors including Light Detection and Ranging (LiDAR) and cameras for state estima…
Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
Hongchao Zhang, Zhouchi Li, Andrew Clark
Safety is one of the most important properties of control systems. Sensor faults and attacks and actuator failures may cause errors in the sensor measurements and system dynamics,…
Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions
Luyao Niu, Hongchao Zhang, Andrew Clark
As the complexity of control systems increases, safety becomes an increasingly important property since safety violations can damage the plant and put the system operator in danger…