Sadegh Soudjani
Sadegh Soudjani
Assistant Professor, School of Computing, 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
1012013
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
852015
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
772014
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
352017
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
302019
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
302018
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
262017
Aggregation of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
2013 European Control Conference (ECC), 4232-4237, 2013
262013
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
252018
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
232020
Dynamic Bayesian networks as formal abstractions of structured stochastic processes
SEZ Soudjani, A Abate, R Majumdar
arXiv preprint arXiv:1507.00509, 2015
232015
Formal abstractions for automated verification and synthesis of stochastic systems
SEZ Soudjani
232014
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
Formal synthesis of stochastic systems via control barrier certificates
P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control, 2020
182020
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
182018
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control, 2020
172020
Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach
A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 51 (16), 265-270, 2018
172018
Probabilistic reach-avoid computation for partially degenerate stochastic processes
SEZ Soudjani, A Abate
IEEE Transactions on Automatic Control 59 (2), 528-534, 2013
172013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20