1 citations · 1 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.OC2019
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…
math.OC2019
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…
math.OC2019★ 1 cited
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…