2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
SOT-MRAM-Enabled Probabilistic Binary Neural Networks for Noise-Tolerant and Fast Training
Puyang Huang, Yu Gu, Chenyi Fu +10
We report the use of spin-orbit torque (SOT) magnetoresistive random-access memory (MRAM) to implement a probabilistic binary neural network (PBNN) for resource-saving applications…
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…