Publications

Yuhao Zhang (2026). Formal Reachability and Robust Stability Analysis of Neural Network Control Systems. The University of Wisconsin - Madison ProQuest Dissertations & Theses.

Yuhao Zhang, Jeremy Coulson, Xiangru Xu (2026). Data-driven Stability Analysis of Neural Network Control Systems. IEEE Control Systems Letters.

Yuhao Zhang, Xiangru Xu (2026). Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes. American Control Conference (ACC) [accepted].

Hang Zhang, Abigail J. Winn, Yuhao Zhang, Xiangru Xu (2025). Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability. IEEE Control Systems Letters.

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.