Articles with public access mandates - Sadegh SoudjaniLearn more
Not available anywhere: 4
Data-driven verification of stochastic linear systems with signal temporal logic constraints
A Salamati, S Soudjani, M Zamani
Automatica 131, 109781, 2021
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Data-driven reachability analysis of digital twin FMI models
S Bogomolov, J Fitzgerald, S Soudjani, P Stankaitis
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2022
Mandates: US Department of Defense
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs
N Monir, O Schön, S Soudjani
IFAC-PapersOnLine 58 (11), 99-106, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Barrier Certificates for a Computational Model of Epileptic Seizures
JF Ingham, Y Wang, P Zuliani, S Soudjani
2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 75
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
Mandates: European Commission
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
Mandates: German Research Foundation, European Commission
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
Mandates: European Commission
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
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
Mandates: European Commission
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
Mandates: German Research Foundation, European Commission
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
Mandates: German Research Foundation
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: European Commission
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
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation
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
Mandates: European Commission
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
Mandates: European Commission
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
European Journal of Control 57, 82-94, 2021
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
Mandates: European Commission
Publication and funding information is determined automatically by a computer program