Robust Convergence Analysis of Three-Operator Splitting. - Han Wang 016; Mahyar Fazlyab; Shaoru Chen; Victor M. Preciado (Allerton, 2019)

Safety Verification of Nonlinear Polynomial System via Occupation Measures. - Ximing Chen 001; Shaoru Chen; Victor M. Preciado (CDC, 2019)

Robust Closed-loop Model Predictive Control via System Level Synthesis. - Shaoru Chen; Han Wang 016; Manfred Morari; Victor M. Preciado; Nikolai Matni (CDC, 2020)

Learning Region of Attraction for Nonlinear Systems. - Shaoru Chen; Mahyar Fazlyab; Manfred Morari; George J. Pappas; Victor M. Preciado (CDC, 2021)

Learning lyapunov functions for hybrid systems. - Shaoru Chen; Mahyar Fazlyab; Manfred Morari; George J. Pappas; Victor M. Preciado (HSCC, 2021)

DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting. - Shaoru Chen; Eric Wong 001; J. Zico Kolter; Mahyar Fazlyab (CoRR, 2021)

System Level Synthesis-based Robust Model Predictive Control through Convex Inner Approximation. - Shaoru Chen; Nikolai Matni; Manfred Morari; Victor M. Preciado (CoRR, 2021)

Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis. - Shaoru Chen; Ning-Yuan Li 001; Victor M. Preciado; Nikolai Matni (CDC, 2022)

Safety Filter Design for Neural Network Systems via Convex Optimization. - Shaoru Chen; Kong Yao Chee; Nikolai Matni; M. Ani Hsieh; George J. Pappas (CDC, 2023)

One-Shot Reachability Analysis of Neural Network Dynamical Systems. - Shaoru Chen; Victor M. Preciado; Mahyar Fazlyab (ICRA, 2023)

Lagrangian Properties and Control of Soft Robots Modeled with Discrete Cosserat Rods. - Lekan P. Molu; Shaoru Chen; Audrey Sedal (CoRR, 2023)

Differentiable Safe Controller Design Through Control Barrier Functions. - Shuo Yang 007; Shaoru Chen; Victor M. Preciado; Rahul Mangharam (IEEE Control. Syst. Lett., 2023)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. - Shaoru Chen; Lekan P. Molu; Mahyar Fazlyab (ACC, 2024)

Domain Adaptive Safety Filters via Deep Operator Learning. - Lakshmideepakreddy Manda; Shaoru Chen; Mahyar Fazlyab (CDC, 2024)

Structural Properties and Control of Soft Robots Modeled as Discrete Cosserat Rods. - Lekan P. Molu; Shaoru Chen (CDC, 2024)

Learning Performance-oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. - Lakshmideepakreddy Manda; Shaoru Chen; Mahyar Fazlyab (CoRL, 2024)

PcLast: Discovering Plannable Continuous Latent States. - Anurag Koul; Shivakanth Sujit; Shaoru Chen; Ben Evans; Lili Wu; Byron Xu; Rajan Chari; Riashat Islam; Raihan Seraj; Yonathan Efroni; Lekan P. Molu; Miroslav Dudík; et al. (ICML, 2024)

Robust model predictive control with polytopic model uncertainty through System Level Synthesis. - Shaoru Chen; Victor M. Preciado; Manfred Morari; Nikolai Matni (Autom., 2024)

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. - Shaoru Chen; Mahyar Fazlyab (CoRR, 2024)