Obserwuj
Sadegh Soudjani
Sadegh Soudjani
Reader / Associate Professor in Cyber-Physical Systems, Newcastle University
Zweryfikowany adres z ncl.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1182013
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
1042015
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
1022013
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
962014
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
522020
Adaptive gridding for abstraction and verification of stochastic hybrid systems
SEZ Soudjani, A Abate
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
442011
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
422019
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
422017
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
372018
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
362018
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
342020
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020
322020
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
322017
Formal abstractions for automated verification and synthesis of stochastic systems
SEZ Soudjani
312014
Aggregation of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
2013 European Control Conference (ECC), 4232-4237, 2013
302013
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
292020
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
292018
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
272020
Dynamic Bayesian networks as formal abstractions of structured stochastic processes
SEZ Soudjani, A Abate, R Majumdar
arXiv preprint arXiv:1507.00509, 2015
272015
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
242020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20