Search Results for author: Shaoru Chen

Found 5 papers, 2 papers with code

Robust Model Predictive Control with Polytopic Model Uncertainty through System Level Synthesis

1 code implementation21 Mar 2022 Shaoru Chen, Victor M. Preciado, Manfred Morari, Nikolai Matni

We propose a novel method for robust model predictive control (MPC) of uncertain systems subject to both polytopic model uncertainty and additive disturbances.

System Level Synthesis-based Robust Model Predictive Control through Convex Inner Approximation

1 code implementation10 Nov 2021 Shaoru Chen, Nikolai Matni, Manfred Morari, Victor M. Preciado

We propose a robust model predictive control (MPC) method for discrete-time linear time-invariant systems with norm-bounded additive disturbances and model uncertainty.

Learning Region of Attraction for Nonlinear Systems

no code implementations2 Oct 2021 Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis.

DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting

no code implementations16 Jun 2021 Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab

Analyzing the worst-case performance of deep neural networks against input perturbations amounts to solving a large-scale non-convex optimization problem, for which several past works have proposed convex relaxations as a promising alternative.

Image Classification reinforcement-learning

Learning Lyapunov Functions for Hybrid Systems

no code implementations22 Dec 2020 Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

By designing the learner and the verifier according to the analytic center cutting-plane method from convex optimization, we show that when the set of Lyapunov functions is full-dimensional in the parameter space, our method finds a Lyapunov function in a finite number of steps.

Optimization and Control

Cannot find the paper you are looking for? You can Submit a new open access paper.