Yuhao Zhang (ๅผ ๅฎ‡่ฑช)
  • Bio
  • Experience
  • Publications
  • Talks
  • News
  • Blog
    • ๐ŸŽ‰ I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems"
    • ๐ŸŽ‰ Our work 'Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties' was accepted by Automatica!
    • We will give an oral presentation at the 2025 American Control Conference (ACC) on July 08, 2025
    • ๐ŸŽ‰ I successfully passed the PhD Preliminary Examination
    • We will give an oral presentation at the 63rd IEEE Conference on Decision and Control (CDC) on Dec. 19, 2024
    • ๐ŸŽ‰ Our lab received the Honorable Mention Award in the research group category in Engineering Expo 2023
    • ๐ŸŽ‰ I received the Student Research Grants Competition (SRGC) Award from UW-Madison Graduate School
    • ๐ŸŽ‰ I successfully passed the PhD Qualifying Examination
  • Publications
    • Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability
    • Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
    • Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
    • Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
    • Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency
    • Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
    • Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
    • Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
    • Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties
    • Falsification of a Vision-based Automatic Landing System
    • Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems
    • A Software Architecture for Autonomous Taxiing of Aircraft
  • Projects
  • Recent & Upcoming Talks
    • Presentation at 2023 IEEE CDC
    • Presentation at 2022 IEEE CDC
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching

๐ŸŽ‰ I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems"

Jan 16, 2026ยท
Yuhao Zhang
Yuhao Zhang
ยท 0 min read
Last updated on Jan 16, 2026
Academic
Yuhao Zhang
Authors
Yuhao Zhang
PhD Candidate
๐ŸŽ‰ Our work 'Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties' was accepted by Automatica! Feb 24, 2025 →

ยฉ 2026 Yuhao Zhang.