| Robust temporal logic model predictive control S Sadraddini, C Belta 2015 53rd Annual Allerton Conference on Communication, Control, and …, 2015 | 194 | 2015 |
| Formal methods for control synthesis: An optimization perspective C Belta, S Sadraddini Annual Review of Control, Robotics, and Autonomous Systems 2 (1), 115-140, 2019 | 123 | 2019 |
| Linear encodings for polytope containment problems S Sadraddini, R Tedrake 2019 IEEE 58th conference on decision and control (CDC), 4367-4372, 2019 | 106 | 2019 |
| Formal guarantees in data-driven model identification and control synthesis S Sadraddini, C Belta Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 69 | 2018 |
| 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 | 50 | 2016 |
| Provably safe cruise control of vehicular platoons S Sadraddini, S Sivaranjani, V Gupta, C Belta IEEE Control Systems Letters 1 (2), 262-267, 2017 | 45 | 2017 |
| 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 | 39 | 2020 |
| 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 | 35 | 2020 |
| Formal synthesis of control strategies for positive monotone systems S Sadraddini, C Belta IEEE Transactions on Automatic Control 64 (2), 480-495, 2018 | 33 | 2018 |
| 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 | 31 | 2019 |
| Safety control of monotone systems with bounded uncertainties S Sadraddini, C Belta 2016 IEEE 55th conference on decision and control (CDC), 4874-4879, 2016 | 28 | 2016 |
| 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 | 25 | 2017 |
| 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 | 24 | 2017 |
| A provably correct mpc approach to safety control of urban traffic networks S Sadraddini, C Belta 2016 American Control Conference (ACC), 1679-1684, 2016 | 23 | 2016 |
| 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 | 18 | 2018 |
| 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 | 18 | 2017 |
| 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 The International Symposium of Robotics Research, 224-241, 2019 | 17 | 2019 |
| Feasibility envelopes for metric temporal logic specifications S Sadraddini, C Belta 2016 IEEE 55th Conference on Decision and Control (CDC), 5732-5737, 2016 | 11 | 2016 |
| Distributed robust set-invariance for interconnected linear systems S Sadraddini, C Belta 2018 Annual American Control Conference (ACC), 1274-1279, 2018 | 9 | 2018 |
| 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 | 8 | 2017 |
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandVerified email at bu.edu
