Shaoru Chen

According to our database, Shaoru Chen authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees.

Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab

CoRR, 2024

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation.

Shaoru Chen, Mahyar Fazlyab

CoRR, 2024

2023

Differentiable Safe Controller Design Through Control Barrier Functions.

Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam

IEEE Control. Syst. Lett., 2023

Lagrangian Properties and Control of Soft Robots Modeled with Discrete Cosserat Rods.

Lekan P. Molu, Shaoru Chen, Audrey Sedal

CoRR, 2023

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, Miro Dudík, John Langford, Alex Lamb

CoRR, 2023

One-Shot Reachability Analysis of Neural Network Dynamical Systems.

Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Safety Filter Design for Neural Network Systems via Convex Optimization.

Shaoru Chen, Kong Yao Chee, Nikolai Matni, M. Ani Hsieh, George J. Pappas

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

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

Shaoru Chen, Victor M. Preciado, Manfred Morari, Nikolai Matni

CoRR, 2022

Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis.

Shaoru Chen, Ning-Yuan Li, Victor M. Preciado, Nikolai Matni

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

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

Shaoru Chen, Nikolai Matni, Manfred Morari, Victor M. Preciado

CoRR, 2021

DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting.

Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab

CoRR, 2021

Learning lyapunov functions for hybrid systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Learning Region of Attraction for Nonlinear Systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Robust Closed-loop Model Predictive Control via System Level Synthesis.

Shaoru Chen, Han Wang, Manfred Morari, Victor M. Preciado, Nikolai Matni

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Safety Verification of Nonlinear Polynomial System via Occupation Measures.

Ximing Chen, Shaoru Chen, Victor M. Preciado

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Robust Convergence Analysis of Three-Operator Splitting.

Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M. Preciado

Proceedings of the 57th Annual Allerton Conference on Communication, 2019