Login / Signup
Shaoru Chen
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 23
Top Topics
Nonlinear Systems
Filter Design
Model Predictive Control
Takagi Sugeno
Top Venues
CoRR
CDC
ICRA
IEEE Control. Syst. Lett.
</>
Publications
</>
Shaoru Chen
,
Lekan P. Molu
,
Mahyar Fazlyab
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees.
CoRR
(2024)
Shaoru Chen
,
Victor M. Preciado
,
Manfred Morari
,
Nikolai Matni
Robust model predictive control with polytopic model uncertainty through System Level Synthesis.
Autom.
162 (2024)
Shaoru Chen
,
Mahyar Fazlyab
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation.
CoRR
(2024)
Shaoru Chen
,
Victor M. Preciado
,
Mahyar Fazlyab
One-Shot Reachability Analysis of Neural Network Dynamical Systems.
ICRA
(2023)
Lekan P. Molu
,
Shaoru Chen
,
Audrey Sedal
Lagrangian Properties and Control of Soft Robots Modeled with Discrete Cosserat Rods.
CoRR
(2023)
Anurag Koul
,
Shivakanth Sujit
,
Shaoru Chen
,
Ben Evans
,
Lili Wu
,
Byron Xu
,
Rajan Chari
,
Riashat Islam
,
Raihan Seraj
,
Yonathan Efroni
,
Lekan P. Molu
,
Miro Dudík
,
John Langford
,
Alex Lamb
PcLast: Discovering Plannable Continuous Latent States.
CoRR
(2023)
Shaoru Chen
,
Kong Yao Chee
,
Nikolai Matni
,
M. Ani Hsieh
,
George J. Pappas
Safety Filter Design for Neural Network Systems via Convex Optimization.
CDC
(2023)
Shuo Yang
,
Shaoru Chen
,
Victor M. Preciado
,
Rahul Mangharam
Differentiable Safe Controller Design Through Control Barrier Functions.
IEEE Control. Syst. Lett.
7 (2023)
Shaoru Chen
,
Kong Yao Chee
,
Nikolai Matni
,
M. Ani Hsieh
,
George J. Pappas
Safety Filter Design for Neural Network Systems via Convex Optimization.
CoRR
(2023)
Shuo Yang
,
Shaoru Chen
,
Victor M. Preciado
,
Rahul Mangharam
Differentiable Safe Controller Design through Control Barrier Functions.
CoRR
(2022)
Shaoru Chen
,
Ning-Yuan Li
,
Victor M. Preciado
,
Nikolai Matni
Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis.
CoRR
(2022)
Shaoru Chen
,
Victor M. Preciado
,
Manfred Morari
,
Nikolai Matni
Robust Model Predictive Control with Polytopic Model Uncertainty through System Level Synthesis.
CoRR
(2022)
Shaoru Chen
,
Victor M. Preciado
,
Mahyar Fazlyab
One-Shot Reachability Analysis of Neural Network Dynamical Systems.
CoRR
(2022)
Shaoru Chen
,
Ning-Yuan Li
,
Victor M. Preciado
,
Nikolai Matni
Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis.
CDC
(2022)
Shaoru Chen
,
Mahyar Fazlyab
,
Manfred Morari
,
George J. Pappas
,
Victor M. Preciado
Learning lyapunov functions for hybrid systems.
HSCC
(2021)
Shaoru Chen
,
Mahyar Fazlyab
,
Manfred Morari
,
George J. Pappas
,
Victor M. Preciado
Learning Region of Attraction for Nonlinear Systems.
CDC
(2021)
Shaoru Chen
,
Mahyar Fazlyab
,
Manfred Morari
,
George J. Pappas
,
Victor M. Preciado
Learning Lyapunov Functions for Hybrid Systems.
CISS
(2021)
Shaoru Chen
,
Mahyar Fazlyab
,
Manfred Morari
,
George J. Pappas
,
Victor M. Preciado
Learning Region of Attraction for Nonlinear Systems.
CoRR
(2021)
Shaoru Chen
,
Eric Wong
,
J. Zico Kolter
,
Mahyar Fazlyab
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting.
CoRR
(2021)
Shaoru Chen
,
Nikolai Matni
,
Manfred Morari
,
Victor M. Preciado
System Level Synthesis-based Robust Model Predictive Control through Convex Inner Approximation.
CoRR
(2021)
Shaoru Chen
,
Han Wang
,
Manfred Morari
,
Victor M. Preciado
,
Nikolai Matni
Robust Closed-loop Model Predictive Control via System Level Synthesis.
CDC
(2020)
Ximing Chen
,
Shaoru Chen
,
Victor M. Preciado
Safety Verification of Nonlinear Polynomial System via Occupation Measures.
CDC
(2019)
Han Wang
,
Mahyar Fazlyab
,
Shaoru Chen
,
Victor M. Preciado
Robust Convergence Analysis of Three-Operator Splitting.
Allerton
(2019)