Folgen
Sadegh Soudjani
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
1422013
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
1252015
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
1102014
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
1072013
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
1052020
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
902022
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
582017
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
522020
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
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
482018
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 (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
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
442018
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
442018
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
432020
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
392020
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
362020
Formal abstractions for automated verification and synthesis of stochastic systems
S Soudjani
Ph. D. dissertation, 2014
362014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20