Journal Papers:
- Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, IEEE Controls Systems Letters, PDF:
- 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:
- Sadra Sadraddini, Calin Belta, Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, 2018 (accepted)
-
Sadra Sadraddini, Calin Belta, Distributed Robust Set-Invariance for Interconnected Linear Systems, American Control Conference (ACC), Milwaukee, WI, 2018 (accepted)
- 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
-
Sadra Sadraddini, Calin Belta, Formal Methods for Adaptive Control of Dynamical Systems, IEEE Conference on Control and Decision (CDC), Melbourne, Australia, 2017, ArXiv
- 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:
- 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:
- Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, IEEE Conference on Control and Decision (CDC), Las Vegas, NV, 2016, PDF:
- 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
- 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:
- 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:
- Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015, PDF:
Conference Presentations (Submitted Abstracts):
- 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
- 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