Sadegh Soudjani

Sadegh Soudjani

Newcastle University - Newcastle upon Tyne / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1326743
University of Newcastle upon Tyne
person_outline Sadegh Soudjani's MOST POPULAR ARTICLES
1-) Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processesS Esmaeil Zadeh Soudjani, A AbateSIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 20131202013
2-) FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic ProcessesSEZ Soudjani, C Gevaerts, A AbateInternational conference on tools and algorithms for the construction and …, 20151122015
3-) Formal synthesis of stochastic systems via control barrier certificatesP Jagtap, S Soudjani, M ZamaniIEEE Transactions on Automatic Control 66 (7), 3097-3110, 20201102020
4-) Aggregation and control of populations of thermostatically controlled loads by formal abstractionsSEZ Soudjani, A AbateIEEE Transactions on Control Systems Technology 23 (3), 975-990, 20141132014
5-) Modeling options for demand side participation of thermostatically controlled loadsM Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ...2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 20131062013