Check my profile at Google Scholar.

Journal Papers:

1. Calin Belta, Sadra Sadraddini, Formal methods for control synthesis: An optimization perspective, Annual Review of Control, Robotics, and Autonomous Systems Link
2. Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, IEEE Controls Systems Letters PDF
3. Sadra Sadraddini, Calin Belta, Formal Synthesis of Control Strategies for Positive Monotone Systems, IEEE Transactions on Automatic Control ArXiv

Peer-Reviewed Conference Papers:

1. Wu, Albert, Sadra Sadraddini, and Russ Tedrake.. “The Nearest Polytope Problem: Algorithms and Application to Controlling Hybrid Systems.” In 2020 American Control Conference (ACC), 1815–22. IEEE, 2020.
2. Wu, Albert, Sadra Sadraddini, and Russ Tedrake. “R3T: Rapidly-Exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems.” In 2020 IEEE International Conference on Robotics and Automation (ICRA), 4245–51. IEEE, 2020.
3.  Sadra Sadraddini and Russ Tedrake. “Robust output feedback control with guaranteed constraint satisfaction.” In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, pp. 1-10. 2020.
4. Ghasemi, Kasra, Sadra Sadraddini, and Calin Belta. “Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts.” In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 1–10, 2020. (Best Paper Award Finalist)
5. Sadra Sadraddini Sadra Sadraddini, Russ Tedrake, Linear Encodings for Polytope Containment Problems, IEEE Conference on Decision and Control, Nice, France, 2019, Arxiv
6. Sadra Sadraddini, Shen Shen, Osbert Bastani, Polytopic Trees for Verification of Learning-Based Controllers, 12th International Workshop on Numerical Software Verification 2019, collocated with CAV, New York, NY, USA
7. Sadra Sadraddini, Russ Tedrake, Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems, IEEE Conference on Robotics and Automation (ICRA), Montreal, QC Arxiv
8. Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas DeLateur, Ron Weiss, Douglas Densmore, Calin Belta, Metrics for Signal Temporal Logic Formulae, IEEE Conference on Control and Decision (CDC), Miami Beach, Florida, 2018
9. Sadra Sadraddini, Calin Belta, Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, 2018, (Best Paper Award Finalist)
10. Sadra Sadraddini, Calin Belta, Distributed Robust Set-Invariance for Interconnected Linear Systems, American Control Conference (ACC), Milwaukee, WI, 2018
11. Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit Seshia, Dynamic Contracts for Distributed Temporal Logic Control of Traffic Networks, IEEE Conference on Control and Decision (CDC), Melbourne, Australia, 2017  PDF
12. Sadra Sadraddini, Calin Belta, Formal Methods for Adaptive Control of Dynamical Systems, IEEE Conference on Control and Decision (CDC), Melbourne, Australia, 2017, ArXiv
13. Sadra Sadraddini, Janos Rudan, Calin Belta, Formal Synthesis of Distributed Optimal Traffic Control Policies, International Conference on Cyber-Physical Systems (ICCPS), Pittsburgh, PA, 2017,  PDF
14. Sivaranjani S, Sadra Sadraddini, Vijay Gupta, Calin Belta, Distributed Control Policies for Localization of Large Disturbances in Urban Traffic Networks, American Control Conference (ACC), Seattle, WA, 2017, PDF
15. Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, IEEE Conference on Control and Decision (CDC), Las Vegas, NV, 2016, PDF
16. Iman Haghighi, Sadra Sadraddini, Calin Belta, Robotic Swarm Control From Spatio-Temporal Specifications , IEEE Conference on Control and Decision (CDC), Las Vegas, NV, 2016 ArXiv (extended, PDF)
17. Sadra Sadraddini, Calin Belta, Safety Control of Monotone Systems with Bounded Uncertainties, IEEE Conference on Control and Decision (CDC), Las Vegas, NV, 2016  Arxiv, PDF
18. Sadra Sadraddini, Calin Belta, A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks, American Control Conference (ACC), Boston, MA, 2016 Arxiv, PDF
19. Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015, PDF

Technical Reports:

1. Robust Constrained Control: The Polytopic Appraoch

Conference Presentations (Submitted Abstracts):

1. Sadra Sadraddini, Calin Belta, Controlled Invariance for Uncertain Monotone Systems (Invited session extended abstract), 22nd Symposium on Mathematical Theory of Networks and Systems, Minneapolis, MN, 2016
2. Sadra Sadraddini, Calin Belta, Model Predictive Control of Urban Traffic Networks with Temporal Logic Constraints (Tutorial Session Paper), American Control Conference (ACC), Boston, MA, 2016

Dissertation

Sadra Sadraddini, Formal Methods for Resilient Control, College of Engineering, Boston University, Boston, MA, 2018 PDF