Journal Papers:

  1. Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, IEEE Controls Systems Letters, PDF: pdf

  2. Sadra Sadraddini, Calin Belta, Formal Synthesis of Control Strategies for Positive Monotone Systems, IEEE Transactions on Automatic Control (Conditionally Accepted) ArXiv

Peer-Reviewed Conference Papers:

  1. Sadra Sadraddini, Calin Belta, Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, 2018 (accepted)

  2. Sadra Sadraddini, Calin Belta, Distributed Robust Set-Invariance for Interconnected Linear Systems, American Control Conference (ACC), Milwaukee, WI, 2018 (accepted)pdf

  3. 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

  4. Sadra Sadraddini, Calin Belta, Formal Methods for Adaptive Control of Dynamical Systems, IEEE Conference on Control and Decision (CDC), Melbourne, Australia, 2017, ArXiv   pdf

  5. 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: pdf

  6. 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: pdf

  7. Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, IEEE Conference on Control and Decision (CDC), Las Vegas, NV, 2016, PDF: pdf

  8. 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 Ext. Version (extended, PDF pdf

  9. 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: pdf

  10. Sadra Sadraddini, Calin Belta, A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks, American Control Conference (ACC), Boston, MA, 2016 Arxiv Extended Version, PDF: pdf

  11. Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015, PDF:  pdf

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

Leave a Reply

Your email address will not be published. Required fields are marked *