Sadra Sadraddini

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 45

Top Topics

Control Policies

Provably Correct

Top Venues

Publications

Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. Autom. 169 (2024)
Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. ICRA (2023)
Guy Scher, Sadra Sadraddini, Ariel Yadin, Hadas Kress-Gazit
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. CoRR (2023)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. CoRR (2022)
Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. CoRR (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CDC (2022)
Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. HSCC (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CoRR (2022)
Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. IROS (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis via a convex parameterization of assume-guarantee contracts. HSCC (2020)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. CoRR (2020)
Albert Wu, Sadra Sadraddini, Russ Tedrake
The Nearest Polytope Problem: Algorithms and Application to Controlling Hybrid Systems. ACC (2020)
Albert Wu, Sadra Sadraddini, Russ Tedrake
R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems. ICRA (2020)
Sadra Sadraddini, Russ Tedrake
Robust output feedback control with guaranteed constraint satisfaction. HSCC (2020)
Sadra Sadraddini, Russ Tedrake
Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems. ICRA (2019)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CDC (2019)
Sadra Sadraddini, Calin Belta
Formal Synthesis of Control Strategies for Positive Monotone Systems. IEEE Trans. Autom. Control. 64 (2) (2019)
Sadra Sadraddini, Russ Tedrake
Linear Encodings for Polytope Containment Problems. CoRR (2019)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CoRR (2019)
Sadra Sadraddini, Russ Tedrake
Linear Encodings for Polytope Containment Problems. CDC (2019)
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR (2019)
Sadra Sadraddini, Shen Shen, Osbert Bastani
Polytopic Trees for Verification of Learning-Based Controllers. NSV@CAV (2019)
Calin Belta, Sadra Sadraddini
Formal Methods for Control Synthesis: An Optimization Perspective. Annu. Rev. Control. Robotics Auton. Syst. 2 (2019)
Sadra Sadraddini, Calin Belta
Distributed Robust Set-Invariance for Interconnected Linear Systems. ACC (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CDC (2018)
Sadra Sadraddini, Calin Belta
Formal Guarantees in Data-Driven Model Identification and Control Synthesis. HSCC (2018)
Sadra Sadraddini, Russ Tedrake
Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems. CoRR (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CoRR (2018)
Sadra Sadraddini, Calin Belta
Distributed Robust Set-Invariance for Interconnected Linear Systems. CoRR (2017)
Sadra Sadraddini, Calin Belta
Formal Methods for Adaptive Control of Dynamical Systems. CoRR (2017)
Sadra Sadraddini, Calin Belta
Formal Synthesis of Control Strategies for Positive Monotone Systems. CoRR (2017)
Sadra Sadraddini, Calin Belta
Formal methods for adaptive control of dynamical systems. CDC (2017)
Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta
Provably Safe Cruise Control of Vehicular Platoons. CoRR (2017)
Sadra Sadraddini, János Rudan, Calin Belta
Formal synthesis of distributed optimal traffic control policies. ICCPS (2017)
Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta
Provably Safe Cruise Control of Vehicular Platoons. IEEE Control. Syst. Lett. 1 (2) (2017)
Sivaranjani S., Sadra Sadraddini, Vijay Gupta, Calin Belta
Distributed control policies for localization of large disturbances in urban traffic networks. ACC (2017)
Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia
Dynamic contracts for distributed temporal logic control of traffic networks. CDC (2017)
Sadra Sadraddini, Calin Belta
Feasibility envelopes for metric temporal logic specifications. CDC (2016)
Iman Haghighi, Sadra Sadraddini, Calin Belta
Robotic swarm control from spatio-temporal specifications. CDC (2016)
Sadra Sadraddini, Calin Belta
Safety control of monotone systems with bounded uncertainties. CDC (2016)
Iman Haghighi, Sadra Sadraddini, Calin Belta
Robotic Swarm Control from Spatio-Temporal Specifications. CoRR (2016)
Sadra Sadraddini, Calin Belta
Safety Control of Monotone Systems with Bounded Uncertainties. CoRR (2016)
Sadra Sadraddini, Calin Belta
A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks. CoRR (2016)
Sadra Sadraddini, Calin Belta
Model predictive control of urban traffic networks with temporal logic constraints. ACC (2016)
Sadra Sadraddini, Calin Belta
A provably correct MPC approach to safety control of urban traffic networks. ACC (2016)
Sadra Sadraddini, Calin Belta
Robust Temporal Logic Model Predictive Control. CoRR (2015)
Sadra Sadraddini, Calin Belta
Robust temporal logic model predictive control. Allerton (2015)