Sotabase

Career

· Staff AI Engineer, SonyAI2025–
· Senior AI Engineer, SonyAI2024–2025
· Principal Robotics Engineer, Dexai Robotics2021–2024
· Senior Robotics Engineer, Dexai Robotics2021–2021
· Postdoctoral Associate, Massachusetts Institute of Technology2018–2021
· Doctor of Philosophy (Ph.D.), Mechanical Engineering, Boston University2013–2017
· Graduate Research Assistant, Boston University2013–2017
· Intern, Marine Engineering Center2013–2013
· Intern, Poladish Manufactring Group2012–2012
· Bachelor's degree, Aerospace, Aeronautical and Astronautical Engineering, Sharif University of Technology2008–2013
· Bachelor's degree, Mechanical Engineering, Sharif University of Technology2008–2013

Publications (40)

Robust temporal logic model predictive control
Allerton Conference on Communication, Control, and Computing · 2015
180
cited
Formal Methods for Control Synthesis: An Optimization Perspective
Annu. Rev. Control. Robotics Auton. Syst. · 2019
134
cited
Linear Encodings for Polytope Containment Problems
IEEE Conference on Decision and Control · 2019
96
cited
Formal Guarantees in Data-Driven Model Identification and Control Synthesis
International Conference on Hybrid Systems: Computation and Control · 2018
59
cited
Provably Safe Cruise Control of Vehicular Platoons
IEEE Control Systems Letters · 2017
38
cited
Robotic swarm control from spatio-temporal specifications
IEEE Conference on Decision and Control · 2016
34
cited
Formal Synthesis of Control Strategies for Positive Monotone Systems
IEEE Transactions on Automatic Control · 2017
31
cited
R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems
IEEE International Conference on Robotics and Automation · 2020
31
cited
Compositional synthesis via a convex parameterization of assume-guarantee contracts
International Conference on Hybrid Systems: Computation and Control · 2020
30
cited
Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems
IEEE International Conference on Robotics and Automation · 2018
24
cited
Safety control of monotone systems with bounded uncertainties
IEEE Conference on Decision and Control · 2016
23
cited
Metrics for Signal Temporal Logic Formulae
IEEE Conference on Decision and Control · 2018
20
cited
A provably correct MPC approach to safety control of urban traffic networks
American Control Conference · 2016
19
cited
Dynamic contracts for distributed temporal logic control of traffic networks
IEEE Conference on Decision and Control · 2017
19
cited
Formal Synthesis of Distributed Optimal Traffic Control Policies
International Conference on Cyber-Physical Systems · 2017
16
cited
Formal methods for adaptive control of dynamical systems
IEEE Conference on Decision and Control · 2017
14
cited
Model predictive control of urban traffic networks with temporal logic constraints
American Control Conference · 2016
9
cited
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
International Symposium of Robotics Research · 2019
9
cited
Feasibility envelopes for metric temporal logic specifications
IEEE Conference on Decision and Control · 2016
8
cited
Distributed Robust Set-Invariance for Interconnected Linear Systems
American Control Conference · 2017
7
cited
Sotabase
Sadra Sadraddini | Researcher Profile | Sotabase | Sotabase