Publications

Yuhao Zhang, Xiangru Xu (2025). Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes. American Control Conference (ACC).

Yuhao Zhang, Xiangru Xu (2025). Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties. Automatica.

Hang Zhang, Yuhao Zhang, Xiangru Xu (2024). Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models. American Control Conference (ACC).

Yuhao Zhang, Hang Zhang, Xiangru Xu (2024). Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency. IEEE Control Systems Letters.

Yuhao Zhang, Xiangru Xu (2023). Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes. American Control Conference (ACC).

Yuhao Zhang, Hang Zhang, Xiangru Xu (2023). Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. IEEE Control Systems Letters.

PDF Cite Video DOI

Yuhao Zhang, Xiangru Xu (2023). Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes. IEEE 61st Conference on Decision and Control (CDC).

PDF Cite Video DOI

Yuhao Zhang, Sequoyah Walters, Xiangru Xu (2022). Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties. American Control Conference (ACC).

PDF Cite Code Video DOI

Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Jean-Baptiste Jeannin, Necmiye Ozay (2021). Falsification of a Vision-based Automatic Landing System. AIAA Scitech 2021 Forum.

PDF Cite Video DOI

Yuhao Zhang, Xiangru Xu (2020). Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems. arXiv preprint arXiv:2009.12948.