(* indicates equal contribution)
Journal Publications:
3. Shuo Yang*, Shaoru Chen*, Victor M. Preciado, Rahul Mangharam. Differentiable Safe Controller Design through Control Barrier Functions. arXiv:2209.10034 (2022). [pdf] (To appear in the IEEE Control Systems Letters (L-CSS)).
2. Shaoru Chen*, Eric Wong*, J. Zico Kolter, and Mahyar Fazlyab. DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting. arXiv:2106.09117 (2021). IEEE Open Journal of Control Systems (OJCSYS). [pdf] [code]
1. James T. Allen, Shaoru Chen, and Nael H. El-Farra. Model-based Strategies for Sensor Fault Accommodation in Uncertain Dynamic Processes with Multi-rate Sampled Measurements. Chemical Engineering Research and Design 142 (2019): 204-213.
Conference Publications:
9. Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab. One-Shot Reachability Analysis of Neural Network Dynamical Systems. arXiv:2209.11827 (2022). [pdf] IEEE International Conference on Robotics and Automation (ICRA), 2023 (accepted).
8. Shaoru Chen, Ning-Yuan Li, Victor M. Preciado, and Nikolai Matni. Robust Model Predictive Control of Time-Delay Systems through System Level Synthesis. In 2022 61st IEEE Conference on Decision and Control (CDC). IEEE, 2022. [pdf][code]
7. Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, and Victor M. Preciado. Learning Region of Attraction for Nonlinear Systems. In 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 2021. [pdf][code]
6. Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, and Victor M. Preciado. Learning Lyapunov Functions for Hybrid Systems. In Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 1-11. 2021. [pdf]
5. Shaoru Chen, Han Wang, Manfred Morari, Victor M. Preciado, and Nikolai Matni. Robust Closed-loop Model Predictive Control via System Level Synthesis. In 2020 59th IEEE Conference on Decision and Control (CDC), pp. 2152-2159. IEEE, 2020. [pdf] [code]
4. Ximing Chen, Shaoru Chen, and Victor M. Preciado. Safety Verification of Nonlinear Polynomial System via Occupation Measures. In 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 1159-1164. IEEE, 2019. [pdf]
3. Han Wang, Mahyar Fazlyab, Shaoru Chen, and Victor M. Preciado. Robust Convergence Analysis of Three-Operator Splitting. In 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 391-398. IEEE, 2019. [pdf]
2. Shaoru Chen, James T. Allen, and Nael H. El-Farra. Stability and Performance-Based Strategies for Sensor Fault Accommodation in Multi-rate Sampled-data Processes. IFAC-PapersOnLine 50, no. 1 (2017): 14782-14787.
1.Zhiyang Liu, Jian Chen, Shaoru Chen, Lianghui Huang, and Zhigang Shao. Modeling and Control of Cathode Air Humidity for PEM Fuel Cell Systems. IFAC-PapersOnLine 50, no. 1 (2017): 4751-4756.