Concepedia
Statistics
Publications
47
Citations
1.5K
H-Index
22
Active since
2011
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
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
1–5 of 47