Follow
Yuhao zhang
Yuhao zhang
PhD student, Mechanical Engineering, University of Wisconsin-Madison
Verified email at wisc.edu
Title
Cited by
Cited by
Year
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
152022
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
132022
Reachability analysis and safety verification of neural feedback systems via hybrid zonotopes
Y Zhang, X Xu
2023 American Control Conference (ACC), 1915-1921, 2023
92023
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
82020
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
32021
Backward reachability analysis of neural feedback systems using hybrid zonotopes
Y Zhang, H Zhang, X Xu
IEEE Control Systems Letters 7, 2779-2784, 2023
22023
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–10