Publications

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.
PDF Cite
Yuhao Zhang, Guillaume Poupart-Lafarge, Huaiyuan Teng, Joshua Wilhelm, Jean-Baptiste Jeannin, Necmiye Ozay, Eelco Scholte (2020). A Software Architecture for Autonomous Taxiing of Aircraft. AIAA Scitech 2020 Forum.
PDF Cite Video DOI