Concepedia

Sadegh Soudjani

SS

Statistics

Publications

47

Citations

1.5K

H-Index

22

Active since

2011

Affiliations

Newcastle University(Current)

University of Colorado Boulder

Ludwig-Maximilians-Universität München

Max Planck Institute for Software Systems

Delft University of Technology

Sadegh Soudjani is an author at Newcastle University specializing in systems engineering, engineering, and stochastic processes.

Publications per year

2011–2024

47

Publications

47

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

Sadegh Soudjani, Alessandro Abate · SIAM Journal on Applied Dynamical Systems · 2013 · 131 citations

Engineering, Systems Engineering, Formal Methods +16

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

Pushpak Jagtap, Sadegh Soudjani, Majid Zamani · IEEE Transactions on Automatic Control · 2020 · 118 citations · Full text

Engineering, Automotive Engineering, Systems Engineering +17

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

Sadegh Soudjani, Alessandro Abate · IEEE Transactions on Control Systems Technology · 2014 · 107 citations

Engineering, Systems Engineering, Dynamical Systems +12

Automated verification and synthesis of stochastic hybrid systems: A survey

Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate et al. · Automatica · 2022 · 102 citations

Computing, Computer Science, Systems Engineering +12

Modeling options for demand side participation of thermostatically controlled loads

Maryam Kamgarpour, Christian Ellen, Sadegh Soudjani et al. · 2013 · 82 citations · Full text

Natural Sciences, Systems Engineering, Dynamical Systems +16

1–5 of 47