Follow
Sadegh Soudjani
Title
Cited by
Cited by
Year
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
S Esmaeil Zadeh Soudjani, A Abate
SIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 2013
1402013
FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic Processes
SEZ Soudjani, C Gevaerts, A Abate
International conference on tools and algorithms for the construction and …, 2015
1232015
Aggregation and control of populations of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
IEEE Transactions on Control Systems Technology 23 (3), 975-990, 2014
1092014
Modeling options for demand side participation of thermostatically controlled loads
M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ...
2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013
1062013
Formal synthesis of stochastic systems via control barrier certificates
P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 66 (7), 3097-3110, 2020
942020
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
792022
Verification of general Markov decision processes by approximate similarity relations and policy refinement
AA Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani
SIAM J. Control and Optimization, 2333-2367, 2017
572017
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
542019
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning
A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
512020
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020
482020
Adaptive gridding for abstraction and verification of stochastic hybrid systems
SEZ Soudjani, A Abate
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
472011
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
462018
Compositional (in) finite abstractions for large-scale interconnected stochastic systems
A Lavaei, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 65 (12), 5280-5295, 2020
442020
Symbolic controller synthesis for Büchi specifications on stochastic systems
R Majumdar, K Mallik, S Soudjani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
422020
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
422018
From dissipativity theory to compositional construction of finite Markov decision processes
A Lavaei, S Soudjani, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
402018
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
382020
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances
SS Farahani, R Majumdar, VS Prabhu, S Soudjani
IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018
382018
Formal abstractions for automated verification and synthesis of stochastic systems
S Soudjani
Ph. D. dissertation, 2014
362014
AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems
A Lavaei, M Khaled, S Soudjani, M Zamani
International conference on computer aided verification, 461-474, 2020
342020
The system can't perform the operation now. Try again later.
Articles 1–20