Shaoru Chen
Shaoru Chen
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
Learning lyapunov functions for hybrid systems
S Chen, M Fazlyab, M Morari, GJ Pappas, VM Preciado
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
Learning region of attraction for nonlinear systems
S Chen, M Fazlyab, M Morari, GJ Pappas, VM Preciado
2021 60th IEEE Conference on Decision and Control (CDC), 6477-6484, 2021
Robust closed-loop model predictive control via system level synthesis
S Chen, H Wang, M Morari, VM Preciado, N Matni
2020 59th IEEE Conference on Decision and Control (CDC), 2152-2159, 2020
Modeling and control of cathode air humidity for pem fuel cell systems
Z Liu, J Chen, S Chen, L Huang, Z Shao
IFAC-PapersOnLine 50 (1), 4751-4756, 2017
Learning lyapunov functions for piecewise affine systems with neural network controllers
S Chen, M Fazlyab, M Morari, GJ Pappas, VM Preciado
arXiv preprint arXiv:2008.06546, 2020
Robust model predictive control with polytopic model uncertainty through system level synthesis
S Chen, VM Preciado, M Morari, N Matni
Automatica 162, 111431, 2024
Deepsplit: Scalable verification of deep neural networks via operator splitting
S Chen, E Wong, JZ Kolter, M Fazlyab
IEEE Open Journal of Control Systems 1, 126-140, 2022
System level synthesis-based robust model predictive control through convex inner approximation
S Chen, N Matni, M Morari, VM Preciado
arXiv preprint arXiv:2111.05509, 2021
Differentiable safe controller design through control barrier functions
S Yang, S Chen, VM Preciado, R Mangharam
IEEE Control Systems Letters 7, 1207-1212, 2022
Model-based strategies for sensor fault accommodation in uncertain dynamic processes with multi-rate sampled measurements
J Allen, S Chen, NH El-Farra
Chemical Engineering Research and Design 142, 204-213, 2019
One-shot reachability analysis of neural network dynamical systems
S Chen, VM Preciado, M Fazlyab
2023 IEEE International Conference on Robotics and Automation (ICRA), 10546 …, 2023
Robust convergence analysis of three-operator splitting
H Wang, M Fazlyab, S Chen, VM Preciado
2019 57th Annual Allerton Conference on Communication, Control, and …, 2019
Safety Verification of Nonlinear Polynomial System via Occupation Measures
X Chen, S Chen, VM Preciado
2019 IEEE 58th Conference on Decision and Control (CDC), 1159-1164, 2019
Safety verification of nonlinear autonomous system via occupation measures
X Chen, S Chen, VM Preciado
arXiv preprint arXiv:1903.05311, 2019
PcLast: Discovering Plannable Continuous Latent States
A Koul, S Sujit, S Chen, B Evans, L Wu, B Xu, R Chari, R Islam, R Seraj, ...
arXiv preprint arXiv:2311.03534, 2023
Stability and Performance-Based Strategies for Sensor Fault Accommodation in Multi-rate Sampled-data Processes
S Chen, JT Allen, NH El-Farra
IFAC-PapersOnLine 50 (1), 14782-14787, 2017
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
S Chen, M Fazlyab
arXiv preprint arXiv:2401.05629, 2024
Safety filter design for neural network systems via convex optimization
S Chen, KY Chee, N Matni, MA Hsieh, GJ Pappas
2023 62nd IEEE Conference on Decision and Control (CDC), 6356-6363, 2023
Lagrangian Properties and Control of Soft Robots Modeled with Discrete Cosserat Rods
L Molu, S Chen, A Sedal
arXiv preprint arXiv:2312.05937, 2023
Analysis and Control of Neural Network Dynamical Systems
S Chen
University of Pennsylvania, 2022
The system can't perform the operation now. Try again later.
Articles 1–20