Sadra Sadraddini

47 papers A* 3A 1C 6Journal 21Unranked 16

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