Safety verification of neural feedback systems based on constrained zonotopes Y Zhang, X Xu 2022 IEEE 61st Conference on Decision and Control (CDC), 2737-2744, 2022 | 14 | 2022 |
Control barrier function meets interval analysis: Safety-critical control with measurement and actuation uncertainties Y Zhang, S Walters, X Xu 2022 American Control Conference (ACC), 3814-3819, 2022 | 13 | 2022 |
Reachability analysis and safety verification of neural feedback systems via hybrid zonotopes Y Zhang, X Xu 2023 American Control Conference (ACC), 1915-1921, 2023 | 8 | 2023 |
A software architecture for autonomous taxiing of aircraft Y Zhang, G Poupart-Lafarge, H Teng, J Wilhelm, JB Jeannin, N Ozay, ... AIAA Scitech 2020 Forum, 0139, 2020 | 8 | 2020 |
Falsification of a vision-based automatic landing system S Shoouri, S Jalili, J Xu, I Gallagher, Y Zhang, J Wilhelm, JB Jeannin, ... AIAA Scitech 2021 Forum, 0998, 2021 | 3 | 2021 |
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes Y Zhang, H Zhang, X Xu IEEE Control Systems Letters, 2023 | 2 | 2023 |
Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties Y Zhang, X Xu arXiv preprint arXiv:2311.15109, 2023 | | 2023 |
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models H Zhang, Y Zhang, X Xu arXiv preprint arXiv:2310.06921, 2023 | | 2023 |
Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems Y Zhang, X Xu arXiv preprint arXiv:2009.12948, 2020 | | 2020 |