18 citations · 49 across the 9 of their papers we have counts for
9 papers
Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
Yuhao Zhang, Xiangru Xu
Recurrent neural networks (RNNs) are widely employed to model complex dynamical systems due to their hidden-state structure, which inherently captures temporal dependencies. This w…
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
Yuhao Zhang, Xiangru Xu
Feedforward neural networks are widely used in autonomous systems, particularly for control and perception tasks within the system loop. However, their vulnerability to adversarial…
Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
Yuhao Zhang, Xiangru Xu
Neural networks have become increasingly popular in controller design due to their versatility and efficiency. However, their integration into feedback systems can pose stability c…
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
Hang Zhang, Yuhao Zhang, Xiangru Xu
The increasing prevalence of neural networks in safety-critical control systems underscores the imperative need for rigorous methods to ensure the reliability and safety of these s…
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
Yuhao Zhang, Hang Zhang, Xiangru Xu
The proliferation of neural networks in safety-critical applications necessitates the development of effective methods to ensure their safety. This letter presents a novel approach…
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
Yuhao Zhang, Xiangru Xu
Hybrid zonotopes generalize constrained zonotopes by introducing additional binary variables and possess some unique properties that make them convenient to represent nonconvex set…
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
Yuhao Zhang, Xiangru Xu
Artificial neural networks have recently been utilized in many feedback control systems and introduced new challenges regarding the safety of such systems. This paper considers the…
Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties
Yuhao Zhang, Sequoyah Walters, Xiangru Xu
This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties. Based on the…
Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems
Yuhao Zhang, Xiangru Xu
Linear constrained switching systems are linear switched systems whose switching sequences are constrained by a deterministic finite automaton. This work investigates how to genera…