Concepedia

Sadegh Soudjani

SS

47

Publications

1.5K

Citations

22

H-Index

2011

Active since

Affiliations

Newcastle University(Current)

University of Colorado Boulder

Max Planck Institute for Software Systems

Ludwig-Maximilians-Universität München

Delft University of Technology

Sadegh Soudjani is an author at Newcastle University specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceProcess ControlFormal MethodsFormal VerificationVerificationAutomated ReasoningComputer EngineeringMathematical Programming

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 · 130 citations

Mathematical Programming, Engineering, Verification +21

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

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

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, Load Control, Formal Abstractions +18

Automated verification and synthesis of stochastic hybrid systems: A survey

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

Stochastic Hybrid System, Engineering, Probabilistic Verification +10

Modeling options for demand side participation of thermostatically controlled loads

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

Mathematical Programming, Aggregate Tcl Dynamics, Engineering +18

Rows per page

1–5 of 47