Yuhao Zhang (ๅผ ๅฎ‡่ฑช)
  • Bio
  • Experience
  • Publications
  • Talks
  • News
  • Blog
    • ๐ŸŽ‰ I have started my position as a Senior R&D Mechanical Engineer at Halliburton.
    • ๐ŸŽ‰ 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
    • Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
    • 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 have started my position as a Senior R&D Mechanical Engineer at Halliburton.

Feb 16, 2026ยท
Yuhao Zhang
Yuhao Zhang
ยท 0 min read
Last updated on Feb 16, 2026
Job
Yuhao Zhang
Authors
Yuhao Zhang
Senior R&D Mechanical Engineer
๐ŸŽ‰ I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems" Jan 16, 2026 →

ยฉ 2026 Yuhao Zhang.