| 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 | 17 | 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 | 15 | 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 | 11 | 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 | 9 | 2020 |
| Backward reachability analysis of neural feedback systems using hybrid zonotopes Y Zhang, H Zhang, X Xu IEEE Control Systems Letters 7, 2779-2784, 2023 | 5 | 2023 |
| 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 | 5 | 2021 |
| 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 | 2 | 2023 |
| Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models H Zhang, Y Zhang, X Xu 2024 American Control Conference (ACC), 4155-4161, 2024 | 1 | 2024 |
| Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency Y Zhang, H Zhang, X Xu IEEE Control Systems Letters, 2024 | | 2024 |
| Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties Y Zhang, X Xu arXiv preprint arXiv:2311.15109, 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 |
Xiangru XuUniversity of Wisconsin-MadisonVerified email at wisc.edu
