Concepedia

Sadra Sadraddini

SS

Statistics

Publications

12

Citations

519

H-Index

11

Active since

2015

Affiliations

Boston University(Current)

Massachusetts Institute of Technology

Sadra Sadraddini is an author at Boston University specializing in engineering, computer science, and temporal logic.

Publications per year

2015–2020

12

Publications

12

Robust temporal logic model predictive control

Sadra Sadraddini, Călin Belta · 2015 · 158 citations · Full text

Engineering, Industrial Engineering, Dynamical Systems +16

Formal Methods for Control Synthesis: An Optimization Perspective

Călin Belta, Sadra Sadraddini · Annual Review of Control Robotics and Autonomous Systems · 2018 · 118 citations · Full text

Computing, Computer Engineering, Computer Science +17

Formal Guarantees in Data-Driven Model Identification and Control Synthesis

Sadra Sadraddini, Călin Belta · 2018 · 48 citations

Engineering, Computer Science, Systems Engineering +17

Robotic swarm control from spatio-temporal specifications

Iman Haghighi, Sadra Sadraddini, Călin Belta · 2016 · 39 citations

Engineering, Computer Science, Robotics Engineering +17

Compositional synthesis via a convex parameterization of assume-guarantee contracts

Kasra Ghasemi, Sadra Sadraddini, Călin Belta · 2020 · 31 citations · Full text

Engineering, Computer Science, Systems Engineering +13

1–5 of 12