Follow
Hongchao Zhang
Hongchao Zhang
Verified email at wustl.edu - Homepage
Title
Cited by
Cited by
Year
Exact verification of relu neural control barrier functions
H Zhang, J Wu, Y Vorobeychik, A Clark
Advances in Neural Information Processing Systems 36, 2024
162024
Safety-critical control synthesis for unknown sampled-data systems via control barrier functions
L Niu, H Zhang, A Clark
2021 60th IEEE Conference on Decision and Control (CDC), 6806-6813, 2021
152021
Control barrier functions for safe CPS under sensor faults and attacks
A Clark, Z Li, H Zhang
2020 59th IEEE Conference on Decision and Control (CDC), 796-803, 2020
122020
Model-based reinforcement learning with provable safety guarantees via control barrier functions
H Zhang, Z Li, A Clark
2021 IEEE International Conference on Robotics and Automation (ICRA), 792-798, 2021
92021
Learning a Formally Verified Control Barrier Function in Stochastic Environment
M Tayal, H Zhang, P Jagtap, A Clark, S Kolathaya
arXiv preprint arXiv:2403.19332, 2024
62024
Cooperative perception for safe control of autonomous vehicles under lidar spoofing attacks
H Zhang, Z Li, S Cheng, A Clark
Symposium on Vehicle Security and Privacy (VehicleSec) 2023, 2023
62023
Safe control for nonlinear systems under faults and attacks via control barrier functions
H Zhang, Z Li, A Clark
arXiv preprint arXiv:2207.05146, 2022
52022
Barrier certificate based safe control for lidar-based systems under sensor faults and attacks
H Zhang, S Cheng, L Niu, A Clark
2022 IEEE 61st Conference on Decision and Control (CDC), 2256-2263, 2022
32022
Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties
H Zhang, Z Li, H Dai, A Clark
2023 62nd IEEE Conference on Decision and Control (CDC), 5384-5391, 2023
22023
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
H Zhang, L Niu, A Clark, R Poovendran
arXiv preprint arXiv:2402.18677, 2024
12024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
H Zhang, Z Qin, S Gao, A Clark
arXiv preprint arXiv:2410.20326, 2024
2024
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
L Niu, H Zhang, D Sahabandu, B Ramasubramanian, A Clark, ...
2024 International Conference on Assured Autonomy (ICAA), 11-20, 2024
2024
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
H Dai, C Jiang, H Zhang, A Clark
arXiv preprint arXiv:2406.18914, 2024
2024
Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks
H Zhang
Worcester Polytechnic Institute, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–14