Sadra Sadraddini

Orcid: 0000-0003-2578-8319

According to our database1, Sadra Sadraddini authored at least 31 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis.
CoRR, 2023

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts.
CoRR, 2022

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020
R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robust output feedback control with guaranteed constraint satisfaction.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Compositional synthesis via a convex parameterization of assume-guarantee contracts.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

The Nearest Polytope Problem: Algorithms and Application to Controlling Hybrid Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Formal Synthesis of Control Strategies for Positive Monotone Systems.
IEEE Trans. Autom. Control., 2019

Formal Methods for Control Synthesis: An Optimization Perspective.
Annu. Rev. Control. Robotics Auton. Syst., 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
Proceedings of the Robotics Research, 2019

Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems.
Proceedings of the International Conference on Robotics and Automation, 2019

Linear Encodings for Polytope Containment Problems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Polytopic Trees for Verification of Learning-Based Controllers.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018
Formal Guarantees in Data-Driven Model Identification and Control Synthesis.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Metrics for Signal Temporal Logic Formulae.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Robust Set-Invariance for Interconnected Linear Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Provably Safe Cruise Control of Vehicular Platoons.
IEEE Control. Syst. Lett., 2017

Formal synthesis of distributed optimal traffic control policies.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Formal methods for adaptive control of dynamical systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Dynamic contracts for distributed temporal logic control of traffic networks.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Distributed control policies for localization of large disturbances in urban traffic networks.
Proceedings of the 2017 American Control Conference, 2017

2016
Feasibility envelopes for metric temporal logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Safety control of monotone systems with bounded uncertainties.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Robotic swarm control from spatio-temporal specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A provably correct MPC approach to safety control of urban traffic networks.
Proceedings of the 2016 American Control Conference, 2016

Model predictive control of urban traffic networks with temporal logic constraints.
Proceedings of the 2016 American Control Conference, 2016

2015
Robust temporal logic model predictive control.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015


  Loading...