1 citations · 1 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
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…
eess.SY2022
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…