Yuhao Zhang

About Me

I am a Senior R&D Mechanical Engineer at Halliburton’s Advanced Controls Center of Excellence, where I develop advanced control and engineering solutions for drilling automation. I earned my Ph.D. in Mechanical Engineering from the University of Wisconsin–Madison under the guidance of Prof. Xiangru Xu. I received my MSE in Mechanical Engineering from the University of Michigan–Ann Arbor in 2019, where I was mentored by Prof. Necmiye Ozay and Prof. Jean-Baptiste Jeannin. Prior to that, I completed my Bachelor of Engineering in Energy and Power Engineering at Peking University, with a double major in Economics from the National School of Development, in 2017.

I specialize in the theoretical analysis and application of autonomous and controlled systems and familiar with various programming languages, including MATLAB, Python, and C.

🎉 I have started my position as a Senior R&D Mechanical Engineer at Halliburton.

Feb 16, 2026

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes

This work introduces an novel approach to compute the reachable sets for recurrent neural networks in closed-loop systems.

Jan 21, 2026

🎉 I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems"

Jan 16, 2026

Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability
Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability

Goal-reaching control synthesis for neural network control systems.

Dec 9, 2025

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes

This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.

Mar 13, 2025

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties

This paper addresses the challenge of certifying robust stability in neural network control systems with interval matrix uncertainties.

Mar 5, 2025

🎉 Our work 'Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties' was accepted by Automatica!

Feb 24, 2025

We will give an oral presentation at the 2025 American Control Conference (ACC) on July 08, 2025

Jan 16, 2025

🎉 I successfully passed the PhD Preliminary Examination

Oct 21, 2024

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models

This work introduces a novel approach to compute the over-approximation of backward reachable sets for neural feedback systems with non-linear plant models and general activation functions.

Sep 5, 2024