Folgen
Sadegh Soudjani
Sadegh Soudjani
Reader / Associate Professor in Cyber-Physical Systems, Newcastle University
Bestätigte E-Mail-Adresse bei ncl.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1262013
FAUST : Formal Abstractions of Uncountable-STate STochastic Processes
SEZ Soudjani, C Gevaerts, A Abate
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1152015
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
1032013
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
1022014
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
702020
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
512017
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
492019
Adaptive gridding for abstraction and verification of stochastic hybrid systems
SEZ Soudjani, A Abate
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
482011
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
442022
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
422018
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020
402020
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
392020
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
382020
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
372020
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
372018
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
Automated Technology for Verification and Analysis: 16th International …, 2018
332018
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
332017
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
312020
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
292013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20