publications

2024

1. Safe Control for Nonlinear Systems under Faults and Attacks via Control Barrier Functions

   Hongchao Zhang, Zhouchi Li, and Andrew Clark

   IEEE Transactions on Automatic Control, 2024

   Conditionally Accepted
2. SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

   Hongchao Zhang, Zhizhen Qin, Sicun Gao, and 1 more author

   Advances in Neural Information Processing Systems, 2024

   To appear
3. Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems

   Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, and 3 more authors

   2024
4. Learning a Formally Verified Control Barrier Function in Stochastic Environment

   Manan Tayal, Hongchao Zhang, Pushpak Jagtap, and 2 more authors

   2024
5. Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

   Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, and 1 more author

   2024
6. Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks

   Hongchao Zhang, Luyao Niu, Andrew Clark, and 1 more author

   2024

2023

1. Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks

   Hongchao Zhang, Zhouchi Li, Shiyu Cheng, and 1 more author

   In Symposium on Vehicle Security and Privacy (VehicleSec), 2023

   General Motors Autodriving Security Award
2. Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties

   Hongchao Zhang, Zhouchi Li, Hongkai Dai, and 1 more author

   In 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
3. Exact Verification of ReLU Neural Control Barrier Functions

   Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, and 1 more author

   In Advances in Neural Information Processing Systems, 2023

2022

1. Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks

   Hongchao Zhang, Shiyu Cheng, Luyao Niu, and 1 more author

   In 2022 IEEE 61st Conference on Decision and Control (CDC), 2022

2021

1. Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions

   Luyao Niu, Hongchao Zhang, and Andrew Clark

   In 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2. Model-based Reinforcement Learning with Provable Safety Guarantees via Control Barrier Functions

   Hongchao Zhang, Zhouchi Li, and Andrew Clark

   In 2021 IEEE International Conference on Robotics and Automation (ICRA), 2021

2020

1. Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks

   Andrew Clark, Zhouchi Li, and Hongchao Zhang

   In 2020 59th IEEE Conference on Decision and Control (CDC), 2020