Robust temporal logic model predictive control. - Sadra Sadraddini; Calin Belta (Allerton, 2015)

Model predictive control of urban traffic networks with temporal logic constraints. - Sadra Sadraddini; Calin Belta (ACC, 2016)

A provably correct MPC approach to safety control of urban traffic networks. - Sadra Sadraddini; Calin Belta (ACC, 2016)

Robotic swarm control from spatio-temporal specifications. - Iman Haghighi; Sadra Sadraddini; Calin Belta (CDC, 2016)

Safety control of monotone systems with bounded uncertainties. - Sadra Sadraddini; Calin Belta (CDC, 2016)

Feasibility envelopes for metric temporal logic specifications. - Sadra Sadraddini; Calin Belta (CDC, 2016)

Distributed control policies for localization of large disturbances in urban traffic networks. - Sivaranjani S.; Sadra Sadraddini; Vijay Gupta 001; Calin Belta (ACC, 2017)

Dynamic contracts for distributed temporal logic control of traffic networks. - Eric S. Kim; Sadra Sadraddini; Calin Belta; Murat Arcak; Sanjit A. Seshia (CDC, 2017)

Formal methods for adaptive control of dynamical systems. - Sadra Sadraddini; Calin Belta (CDC, 2017)

Formal synthesis of distributed optimal traffic control policies. - Sadra Sadraddini; János Rudan; Calin Belta (ICCPS, 2017)

Provably Safe Cruise Control of Vehicular Platoons. - Sadra Sadraddini; Sivaranjani S.; Vijay Gupta 001; Calin Belta (IEEE Control. Syst. Lett., 2017)

Distributed Robust Set-Invariance for Interconnected Linear Systems. - Sadra Sadraddini; Calin Belta (ACC, 2018)

Metrics for Signal Temporal Logic Formulae. - Curtis Madsen; Prashant Vaidyanathan; Sadra Sadraddini; Cristian Ioan Vasile; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2018)

Formal Guarantees in Data-Driven Model Identification and Control Synthesis. - Sadra Sadraddini; Calin Belta (HSCC, 2018)

Polytopic Trees for Verification of Learning-Based Controllers. - Sadra Sadraddini; Shen Shen; Osbert Bastani (NSV@CAV, 2019)

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (CDC, 2019)

Linear Encodings for Polytope Containment Problems. - Sadra Sadraddini; Russ Tedrake (CDC, 2019)

Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems. - Sadra Sadraddini; Russ Tedrake (ICRA, 2019)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Formal Methods for Control Synthesis: An Optimization Perspective. - Calin Belta; Sadra Sadraddini (Annu. Rev. Control. Robotics Auton. Syst., 2019)

Formal Synthesis of Control Strategies for Positive Monotone Systems. - Sadra Sadraddini; Calin Belta (IEEE Trans. Autom. Control., 2019)

The Nearest Polytope Problem: Algorithms and Application to Controlling Hybrid Systems. - Albert Wu; Sadra Sadraddini; Russ Tedrake (ACC, 2020)

Compositional synthesis via a convex parameterization of assume-guarantee contracts. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (HSCC, 2020)

Robust output feedback control with guaranteed constraint satisfaction. - Sadra Sadraddini; Russ Tedrake (HSCC, 2020)

R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems. - Albert Wu; Sadra Sadraddini; Russ Tedrake (ICRA, 2020)

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (CDC, 2022)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. - Guy Scher; Sadra Sadraddini; Russ Tedrake; Hadas Kress-Gazit (HSCC, 2022)

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. - Guy Scher; Sadra Sadraddini; Hadas Kress-Gazit (IROS, 2022)

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. - Guy Scher; Sadra Sadraddini; Hadas Kress-Gazit (ICRA, 2023)

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. - Guy Scher; Sadra Sadraddini; Ariel Yadin; Hadas Kress-Gazit (CoRR, 2023)

Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (Autom., 2024)