Sadegh Soudjani
Sadegh Soudjani
Assistant Professor, School of Computing, Newcastle University
Verified email at ncl.ac.uk - Homepage
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
1032013
F A U ST: Formal Abstractions of Uncountable- STate STochastic Processes
SEZ Soudjani, C Gevaerts, A Abate
International Conference on Tools and Algorithms for the Construction and …, 2015
872015
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
852013
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
792014
Adaptive gridding for abstraction and verification of stochastic hybrid systems
SEZ Soudjani, A Abate
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
402011
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
362017
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
332019
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
312018
Compositional abstractions of interconnected discrete-time stochastic control systems
A Lavaei, SEZ Soudjani, R Majumdar, M Zamani
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3551-3556, 2017
292017
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
272018
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
262020
Aggregation of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
2013 European Control Conference (ECC), 4232-4237, 2013
262013
Dynamic Bayesian networks as formal abstractions of structured stochastic processes
SEZ Soudjani, A Abate, R Majumdar
arXiv preprint arXiv:1507.00509, 2015
242015
Formal abstractions for automated verification and synthesis of stochastic systems
SEZ Soudjani
242014
Formal synthesis of stochastic systems via control barrier certificates
P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control, 2020
222020
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
202018
Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications
SS Farahani, R Majumdar, VS Prabhu, SEZ Soudjani
2017 American Control Conference (ACC), 1740-1746, 2017
192017
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control, 2020
182020
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
182020
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
172021
The system can't perform the operation now. Try again later.
Articles 1–20