2.5k citations · 3.4k across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
eess.SY2023★ 10 cited
Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach
Yujie Wang, Xiangru Xu
This paper presents a novel approach for the safe control design of systems with parametric uncertainties in both drift terms and control-input matrices. The method combines contro…