Παρακολούθηση
Shaoru Chen
Shaoru Chen
Microsoft Research
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα microsoft.com - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
662021
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
302021
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
252020
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
242017
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
202020
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
152022
Differentiable safe controller design through control barrier functions
S Yang, S Chen, VM Preciado, R Mangharam
IEEE Control Systems Letters 7, 1207-1212, 2022
142022
Robust model predictive control with polytopic model uncertainty through system level synthesis
S Chen, VM Preciado, M Morari, N Matni
Automatica 162, 111431, 2024
132024
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
122021
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
82019
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
72023
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
42019
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
22019
Safety verification of nonlinear autonomous system via occupation measures
X Chen, S Chen, VM Preciado
arXiv preprint arXiv:1903.05311, 2019
22019
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
12023
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
12023
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
12017
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
S Chen, L Molu, M Fazlyab
arXiv preprint arXiv:2403.07308, 2024
2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
S Chen, M Fazlyab
arXiv preprint arXiv:2401.05629, 2024
2024
Lagrangian Properties and Control of Soft Robots Modeled with Discrete Cosserat Rods
L Molu, S Chen, A Sedal
arXiv preprint arXiv:2312.05937, 2023
2023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20