Folgen
Sadra Sadraddini
Sadra Sadraddini
Principal Robotics Engineer at Dexai Robotics
Bestätigte E-Mail-Adresse bei dexai.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Robust temporal logic model predictive control
S Sadraddini, C Belta
2015 53rd Annual Allerton Conference on Communication, Control, and …, 2015
1322015
Formal methods for control synthesis: An optimization perspective
C Belta, S Sadraddini
Annual Review of Control, Robotics, and Autonomous Systems 2, 115-140, 2019
682019
Linear encodings for polytope containment problems
S Sadraddini, R Tedrake
2019 IEEE 58th Conference on Decision and Control (CDC), 4367-4372, 2019
632019
Formal guarantees in data-driven model identification and control synthesis
S Sadraddini, C Belta
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
522018
Robotic swarm control from spatio-temporal specifications
I Haghighi, S Sadraddini, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 5708-5713, 2016
392016
Provably safe cruise control of vehicular platoons
S Sadraddini, S Sivaranjani, V Gupta, C Belta
IEEE Control Systems Letters 1 (2), 262-267, 2017
332017
Safety control of monotone systems with bounded uncertainties
S Sadraddini, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 4874-4879, 2016
252016
Compositional synthesis via a convex parameterization of assume-guarantee contracts
K Ghasemi, S Sadraddini, C Belta
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
242020
A provably correct MPC approach to safety control of urban traffic networks
S Sadraddini, C Belta
American Control Conference (ACC), 2016, 1679-1684, 2016
242016
Sampling-based polytopic trees for approximate optimal control of piecewise affine systems
S Sadraddini, R Tedrake
2019 International Conference on Robotics and Automation (ICRA), 7690-7696, 2019
232019
R3T: Rapidly-exploring random reachable set tree for optimal kinodynamic planning of nonlinear hybrid systems
A Wu, S Sadraddini, R Tedrake
2020 IEEE International Conference on Robotics and Automation (ICRA), 4245-4251, 2020
222020
Dynamic contracts for distributed temporal logic control of traffic networks
ES Kim, S Sadraddini, C Belta, M Arcak, SA Seshia
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3640-3645, 2017
222017
Formal synthesis of distributed optimal traffic control policies
S Sadraddini, J Rudan, C Belta
Proceedings of the 8th International Conference on Cyber-Physical Systems, 15-24, 2017
222017
Formal synthesis of control strategies for positive monotone systems
S Sadraddini, C Belta
IEEE Transactions on Automatic Control 64 (2), 480-495, 2018
192018
Formal methods for adaptive control of dynamical systems
S Sadraddini, C Belta
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1782-1787, 2017
172017
ScRATCHS: Scalable and robust algorithms for task-based coordination from high-level specifications
AM Jones, K Leahy, C Vasile, S Sadraddini, Z Serlin, R Tron, C Belta
Robotics Research: The 19th International Symposium ISRR, 224-241, 2022
122022
Metrics for signal temporal logic formulae
C Madsen, P Vaidyanathan, S Sadraddini, CI Vasile, NA DeLateur, ...
2018 IEEE Conference on Decision and Control (CDC), 1542-1547, 2018
102018
Distributed robust set-invariance for interconnected linear systems
S Sadraddini, C Belta
2018 Annual American Control Conference (ACC), 1274-1279, 2018
92018
Distributed control policies for localization of large disturbances in urban traffic networks
S Sivaranjani, S Sadraddini, V Gupta, C Belta
2017 American Control Conference (ACC), 3542-3547, 2017
82017
Model predictive control of urban traffic networks with temporal logic constraints
S Sadraddini, C Belta
2016 American Control Conference (ACC), 881-881, 2016
82016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20