1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
One-Shot Reachability Analysis of Neural Network Dynamical Systems
Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
The arising application of neural networks (NN) in robotic systems has driven the development of safety verification methods for neural network dynamical systems (NNDS). Recursive…
Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis
Shaoru Chen, Ning-Yuan Li, Victor M. Preciado +1
We present a robust model predictive control method (MPC) for discrete-time linear time-delayed systems with state and control input constraints. The system is subject to both poly…
Learning Region of Attraction for Nonlinear Systems
Shaoru Chen, Mahyar Fazlyab, Manfred Morari +2
Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis. Leveraging the universal appro…