S

Researcher Profile

Sadegh Soudjani

0000-0003-1922-6678

4

Publications

140

Citations

9

Co-Authors

4

Active Years

Publications

Journal Article IEEE Transactions on Automatic Control Apr 01, 2026

Temporal Logic Resilience for Dynamical Systems

Adnane Saoud · Pushpak Jagtap · Sadegh Soudjani

10.1109/tac.2025.3626611 2 citations

Journal Article IEEE Transactions on Automatic Control Mar 01, 2025

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Oliver Schön · Birgit van Huijgevoort · Sofie Haesaert · Sadegh Soudjani

10.1109/tac.2024.3459308 4 citations

Journal Article IEEE Transactions on Automatic Control Jul 01, 2021

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

Pushpak Jagtap · Sadegh Soudjani · Majid Zamani

10.1109/tac.2020.3013916 91 citations

Journal Article IEEE Transactions on Automatic Control Aug 01, 2019

Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances

Samira S. Farahani · Rupak Majumdar · Vinayak S. Prabhu · Sadegh Soudjani

10.1109/tac.2018.2880651 43 citations

Publication Timeline

2026

1

2025

1

2021

1

2019

1

Frequent Co-Authors

Birgit van Huijgevoort

Vinayak S. Prabhu

Samira S. Farahani