1 citations · 1 across the 7 of their papers we have counts for
3 papers · 2 filters
Robust Closed-loop Model Predictive Control via System Level Synthesis
Shaoru Chen, Han Wang, Manfred Morari +2
In this paper, we consider the robust closed-loop model predictive control (MPC) of a linear time-variant (LTV) system with norm bounded disturbances and LTV model uncertainty, whe…
Robust Convergence Analysis of Three-Operator Splitting
Han Wang, Mahyar Fazlyab, Shaoru Chen +1
Operator splitting methods solve composite optimization problems by breaking them into smaller sub-problems that can be solved sequentially or in parallel. In this paper, we propos…
Safety Verification of Nonlinear Autonomous System via Occupation Measures
Ximing Chen, Shaoru Chen, Victor M. Preciado
In this paper, we introduce a flexible notion of safety verification for nonlinear autonomous systems by measuring how much time the system spends in given unsafe regions. We consi…