18 citations · 49 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.OC2023
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…
math.OC2023★ 1 cited
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…
math.OC2023
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…