4 papers · 1 filter
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…
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…
Successive Convexification: A Superlinearly Convergent Algorithm for Non-convex Optimal Control Problems
Yuanqi Mao, Michael Szmuk, Xiangru Xu +1
This paper presents the SCvx algorithm, a successive convexification algorithm designed to solve non-convex constrained optimal control problems with global convergence and superli…
Observer-Based Controllers for Incrementally Quadratic Nonlinear Systems with Disturbances
Xiangru Xu, Behcet Acikmese, Martin J. Corless
Robust global stabilization of nonlinear systems by observer-based feedback controllers is a challenging task. This article investigates the problem of designing observer-based sta…