1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
Learning Lyapunov Functions for Hybrid Systems
Shaoru Chen, Mahyar Fazlyab, Manfred Morari +2
We propose a sampling-based approach to learn Lyapunov functions for a class of discrete-time autonomous hybrid systems that admit a mixed-integer representation. Such systems incl…
Learning Lyapunov Functions for Piecewise Affine Systems with Neural Network Controllers
Shaoru Chen, Mahyar Fazlyab, Manfred Morari +2
We propose a learning-based method for Lyapunov stability analysis of piecewise affine dynamical systems in feedback with piecewise affine neural network controllers. The proposed…
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…