1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
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…