All Publications

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


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


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


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


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


Automated verification and synthesis of stochastic hybrid systems: A survey

A Lavaei, S Soudjani, A Abate, M Zamani

Automatica 146, 110617, 2022


Compositional construction of infinite abstractions for networks of stochastic control systems

A Lavaei, S Soudjani, M Zamani

Automatica 107, 125-137, 2019


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


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


Adaptive gridding for abstraction and verification of stochastic hybrid systems

SEZ Soudjani, A Abate

2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011


Compositional synthesis of finite-state abstractions

K Mallik, AK Schmuck, S Soudjani, R Majumdar

IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018


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


Robust dynamic programming for temporal logic control of stochastic systems

S Haesaert, S Soudjani

IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020


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


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


Compositional abstraction-based synthesis for networks of stochastic switched systems

A Lavaei, S Soudjani, M Zamani

Automatica 114, 108827, 2020


Temporal logic verification of stochastic systems using barrier certificates

P Jagtap, S Soudjani, M Zamani

International Symposium on Automated Technology for Verification and …, 2018


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


Formal abstractions for automated verification and synthesis of stochastic systems

S Soudjani

Ph. D. dissertation, 2014


Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations

A Lavaei, S Soudjani, M Zamani

Nonlinear Analysis: Hybrid Systems 39, 100991, 2021


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


Aggregation of thermostatically controlled loads by formal abstractions

SEZ Soudjani, A Abate

2013 European Control Conference (ECC), 4232-4237, 2013


Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems

A Nejati, S Soudjani, M Zamani

European Journal of Control 57, 82-94, 2021


AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

A Lavaei, M Khaled, S Soudjani, M Zamani

Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020


Dynamic Bayesian networks for formal verification of structured stochastic processes

S Esmaeil Zadeh Soudjani, A Abate, R Majumdar

Acta Informatica 54, 217-242, 2017


Dynamic Bayesian networks as formal abstractions of structured stochastic processes

SEZ Soudjani, A Abate, R Majumdar

arXiv preprint arXiv:1507.00509, 2015


Probabilistic reach-avoid computation for partially degenerate stochastic processes

SEZ Soudjani, A Abate

IEEE Transactions on Automatic Control 59 (2), 528-534, 2013


Formal policy synthesis for continuous-state systems via reinforcement learning

M Kazemi, S Soudjani

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020


ARCH-COMP18 Category Report: Stochastic Modelling.

A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...

ARCH@ ADHS 54, 71-103, 2018


Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach

A Lavaei, S Soudjani, M Zamani

Nonlinear Analysis: Hybrid Systems 36, 100880, 2020


Quantitative approximation of the probability distribution of a Markov process by formal abstractions

SEZ Soudjani, A Abate

Logical Methods in Computer Science 11, 2015


Compositional construction of control barrier certificates for large-scale stochastic switched systems

A Nejati, S Soudjani, M Zamani

IEEE Control Systems Letters 4 (4), 845-850, 2020


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


Data-driven safety verification of stochastic systems via barrier certificates

A Salamati, A Lavaei, S Soudjani, M Zamani

IFAC-PapersOnLine 54 (5), 7-12, 2021


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


Temporal logic control of general Markov decision processes by approximate policy refinement

S Haesaert, S Soudjani, A Abate

IFAC-PapersOnLine 51 (16), 73-78, 2018


Precise approximations of the probability distribution of a Markov process in time: an application to probabilistic invariance

S Esmaeil Zadeh Soudjani, A Abate

Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014


Higher-order approximations for verification of stochastic hybrid systems

S Esmaeil Zadeh Soudjani, A Abate

Automated Technology for Verification and Analysis: 10th International …, 2012


Formal synthesis and validation of inhomogeneous thermostatically controlled loads

S Esmaeil Zadeh Soudjani, S Gerwinn, C Ellen, M Fränzle, A Abate

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014


Compositional construction of control barrier functions for continuous-time stochastic hybrid systems

A Nejati, S Soudjani, M Zamani

Automatica 145, 110513, 2022


Compositional construction of control barrier functions for networks of continuous-time stochastic systems

A Nejati, S Soudjani, M Zamani

IFAC-PapersOnLine 53 (2), 1856-1861, 2020


Formal verification of stochastic max-plus-linear systems

SEZ Soudjani, D Adzkiya, A Abate

IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015


Symbolic qualitative control for stochastic systems via finite parity games

R Majumdar, K Mallik, AK Schmuck, S Soudjani

IFAC-PapersOnLine 54 (5), 127-132, 2021


Probabilistic invariance of mixed deterministic-stochastic dynamical systems

S Esmaeil Zadeh Soudjani, A Abate

Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012


ARCH-COMP19 Category Report: Stochastic Modelling.

A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ...

ARCH@ CPSIoTWeek, 62-102, 2019


Compositional construction of finite state abstractions for stochastic control systems

K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar

2017 IEEE 56th Annual Conference on Decision and Control (CDC), 550-557, 2017


ARCH-COMP20 Category Report: Stochastic Models.

A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...

ARCH, 76-106, 2020


Robust model predictive control with signal temporal logic constraints for Barcelona wastewater system

SS Farahani, SEZ Soudjani, R Majumdar, C Ocampo-Martinez

IFAC-PapersOnLine 50 (1), 6594-6600, 2017


Multilevel monte carlo method for statistical model checking of hybrid systems

S Esmaeil Zadeh Soudjani, R Majumdar, T Nagapetyan

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017


Constructing MDP abstractions using data with formal guarantees

A Lavaei, S Soudjani, E Frazzoli, M Zamani

IEEE Control Systems Letters 7, 460-465, 2022


Data-driven abstraction-based control synthesis

M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding

arXiv preprint arXiv:2206.08069, 2022


Cyclic bayesian attack graphs: a systematic computational approach

I Matthews, J Mace, S Soudjani, A van Moorsel

2020 IEEE 19th International Conference on Trust, Security and Privacy in …, 2020


Compositional synthesis of not necessarily stabilizable stochastic systems via finite abstractions

A Lavaei, S Soudjani, M Zamani

2019 18th European Control Conference (ECC), 2802-2807, 2019


Systematic review of features for co‐simulating security incidents in cyber‐physical systems

RM Czekster, C Morisset, JA Clark, S Soudjani, C Patsios, P Davison

Security and Privacy 4 (3), e150, 2021


On decidability of time-bounded reachability in CTMDPs

R Majumdar, M Salamati, S Soudjani

arXiv preprint arXiv:2006.05498, 2020


Abstraction-based synthesis of continuous-time stochastic control systems

A Nejati, S Soudjani, M Zamani

2019 18th European Control Conference (ECC), 1-6, 2019


Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study

SS Farahani, S Soudjani, R Majumdar, C Ocampo-Martinez

Journal of Process Control 69, 179-191, 2018


Compositional abstraction-based controller synthesis for continuous-time systems

K Mallik, AK Schmuck, S Soudjani, R Majumdar

arXiv preprint arXiv:1612.08515, 2016


Data-driven verification and synthesis of stochastic systems through barrier certificates

A Salamati, A Lavaei, S Soudjani, M Zamani

arXiv preprint arXiv:2111.10330, 2021


Arch-comp21 category report: Stochastic models

A Abate, HAP Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...


Data-driven verification under signal temporal logic constraints

A Salamati, S Soudjani, M Zamani

IFAC-PapersOnLine 53 (2), 69-74, 2020


Compositional synthesis of large-scale stochastic systems: A relaxed dissipativity approach

A Lavaei, S Soudjani, M Zamani

arXiv preprint arXiv:1902.01223 264, 2019


Translating omega-regular specifications to average objectives for model-free reinforcement learning

M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez

Proc. of the 21st International Conference on Autonomous Agents and …, 2022


Data-driven verification of stochastic linear systems with signal temporal logic constraints

A Salamati, S Soudjani, M Zamani

Automatica 131, 109781, 2021


The pseudo-Skolem problem is decidable

J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...

LIPIcs 202, 2021


Formal multi-objective synthesis of continuous-state MDPs

S Haesaert, P Nilsson, S Soudjani

2021 American Control Conference (ACC), 3428-3433, 2021


Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

F Shmarov, S Soudjani, N Paoletti, E Bartocci, S Lin, SA Smolka, P Zuliani

IEEE Access 8, 180825-180843, 2020


Approximate probabilistic relations for compositional abstractions of stochastic systems

A Lavaei, S Soudjani, M Zamani

Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019


Fast symbolic algorithms for omega-regular games under strong transition fairness

T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani

TheoretiCS 2, 2023


A direct symbolic algorithm for solving stochastic rabin games

T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani

International Conference on Tools and Algorithms for the Construction and …, 2022


Formal verification of quantum programs: theory, tools and challenges

M Lewis, S Soudjani, P Zuliani

arXiv preprint arXiv:2110.01320, 2021


Data-driven estimation of infinitesimal generators of stochastic systems

A Nejati, A Lavaei, S Soudjani, M Zamani

IFAC-PapersOnLine 54 (5), 277-282, 2021


Formal controller synthesis for frequency regulation utilising electric vehicles

B Wooding, V Vahidinasab, S Soudjani

2020 International Conference on Smart Energy Systems and Technologies (SEST …, 2020


Symbolic control for stochastic systems via parity games

R Majumdar, K Mallik, AK Schmuck, S Soudjani

arXiv preprint arXiv:2101.00834, 2021


Controller synthesis for reward collecting Markov processes in continuous space

S Esmaeil Zadeh Soudjani, R Majumdar

Proceedings of the 20th International Conference on Hybrid Systems …, 2017


Safety verification of continuous-space pure jump Markov processes

S Esmaeil Zadeh Soudjani, R Majumdar, A Abate

Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016


Finite abstractions of stochastic max-plus-linear systems

D Adzkiya, S Esmaeil Zadeh Soudjani, A Abate

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014


Correct-by-Design Control of Parametric Stochastic Systems

O Schön, B van Huijgevoort, S Haesaert, S Soudjani

2022 IEEE 61st Conference on Decision and Control (CDC), 5580-5587, 2022


Approximate time bounded reachability for ctmcs and ctmdps: A lyapunov approach

M Salamati, S Soudjani, R Majumdar

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018


Safety barrier certificates for stochastic hybrid systems

A Lavaei, S Soudjani, E Frazzoli

2022 American Control Conference (ACC), 880-885, 2022


Perception-in-the-loop adversarial examples

M Salamati, S Soudjani, R Majumdar

arXiv preprint arXiv:1901.06834, 2019


Concentration of measure for chance-constrained optimization

S Soudjani, R Majumdar

IFAC-PapersOnLine 51 (16), 277-282, 2018


SySCoRe: Synthesis via stochastic coupling relations

B Van Huijgevoort, O Schön, S Soudjani, S Haesaert

Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023


Formal Verification of Unknown Discrete-and Continuous-Time Systems: A Data-Driven Approach

A Nejati, A Lavaei, P Jagtap, S Soudjani, M Zamani

IEEE Transactions on Automatic Control, 2023


A Lyapunov approach for time-bounded reachability of CTMCs and CTMDPs

M Salamati, S Soudjani, R Majumdar

ACM Transactions on Modeling and Performance Evaluation of Computing Systems …, 2020


Memory-efficient mixed-precision implementations for robust explicit model predictive control

M Salamati, R Salvia, E Darulova, S Soudjani, R Majumdar

ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-19, 2019


Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems

V Rostampour, D Adzkiya, SEZ Soudjani, B De Schutter, T Keviczky

2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2016


Probabilistic Reachability Computation for Mixed Deterministic-Stochastic Processes

SEZ Soudjani, A Abate

unpublished draft, 2013


A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties

R Majumdar, K Mallik, M Rychlicki, AK Schmuck, S Soudjani

International Conference on Computer Aided Verification, 3-15, 2023


ARCH-COMP22 Category Report: Stochastic Models

A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, B van Huijgevoort, ...

Proceedings of 9th International Workshop on Applied 90, 113-141, 2022


Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

A Lavaei, M Perez, M Kazemi, F Somenzi, S Soudjani, A Trivedi, ...

arXiv preprint arXiv:2208.03485, 2022


Stochastic simulation techniques for inference and sensitivity analysis of bayesian attack graphs

I Matthews, S Soudjani, A van Moorsel

International Conference on Science of Cyber Security, 171-186, 2021


Control and management of active buildings

B Wooding, V Vahidinasab, M Kazemi, S Soudjani

Active Building Energy Systems: Operation and Control, 161-192, 2021


Operation and control of a population of active buildings at network level

B Wooding, V Vahidinasab, S Soudjani

Active Building Energy Systems: Operation and Control, 193-218, 2021


Symbolic reach-avoid control of multi-agent systems

R Majumdar, K Mallik, M Salamati, S Soudjani, M Zareian

Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021


Automated exploration of parameter spaces as a method for tuning a predictive digital twin

C Gamble, R Payne, J Fitzgerald, S Soudjani, FF Foldager, PG Larsen

Submitted for publication, 2018


The robot routing problem for collecting aggregate stochastic rewards

R Dimitrova, I Gavran, R Majumdar, VS Prabhu, SEZ Soudjani

arXiv preprint arXiv:1704.05303, 2017


Robust Simulation Functions with Disturbance Refinement

B Wooding, A Lavaei, V Vahidinasab, S Soudjani

2023 European Control Conference (ECC), 1-6, 2023


A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems

A Lavaei, S Soudjani, E Frazzoli

IEEE Transactions on Automatic Control, 2023


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


Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach

A Nejati, A Lavaei, S Soudjani, M Zamani

IEEE Control Systems Letters 7, 223-228, 2022


Smart charging and operation of electric fleet vehicles in a smart city

M Kazemi, S Bailey, S Soudjani, V Vahidinasab

Cyberphysical Smart Cities Infrastructures: Optimal Operation and …, 2022


Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach

A Lavaei, A Nejati, S Soudjani, M Zamani

Proceedings of the 24th International Conference on Hybrid Systems …, 2021


The computability of LQR and LQG control

R Majumdar, S Soudjani

Proceedings of the 24th International Conference on Hybrid Systems …, 2021


AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems

A Lavaei, M Khaled, S Soudjani, M Zamani

Proceedings of the 23rd International Conference on Hybrid Systems …, 2020


Achievements in correct-by-design control for stochastic systems

S Haesaert, S Soudjani

Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019


FAUST2: Formal Abstractions of Uncountable-STate STochastic Processes

Z Esmaeil, S Soudjani, C Gevaerts, A Abate

21st International Conference on Tools and Algorithms for the Construction …, 2015


Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems

S Esmaeil Zadeh Soudjani


Symbolic control for stochastic systems via finite parity games

R Majumdar, K Mallik, AK Schmuck, S Soudjani

Nonlinear Analysis: Hybrid Systems 51, 101430, 2024


Verification of Quantum Systems Using Barrier Certificates

M Lewis, P Zuliani, S Soudjani

International Conference on Quantitative Evaluation of Systems, 346-362, 2023


Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

O Akbarzadeh, S Soudjani, A Lavaei

arXiv preprint arXiv:2309.05570, 2023


Neural Abstraction-Based Controller Synthesis and Deployment

R Majumdar, M Salamati, S Soudjani

ACM Transactions on Embedded Computing Systems 22 (5s), 1-25, 2023


Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems

O Schön, B van Huijgevoort, S Haesaert, S Soudjani

arXiv preprint arXiv:2309.01276, 2023


Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach

B Wooding, A Lavaei, S Soudjani

arXiv preprint arXiv:2307.03467, 2023


Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱

O Schön, B Van Huijgevoort, S Haesaert, S Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023


A Toolchain for Accelerated Symbolic Control

R Majumdar, K Mallik, M Rychlicki, AK Schmuck, S Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023


Bayesian Approach to Temporal Logic Control of Uncertain Systems

O Schön, B van Huijgevoort, S Haesaert, S Soudjani

arXiv preprint arXiv:2304.07428, 2023


Grid Frequency Control Capability of Energy Storage Systems: Modeling, New Control Approach, and Real-time Validation

A Oshnoei, S Oshnoei, K Jalilpoor, S Soudjani, F Blaabjerg

The 8th IEEE Workshop on the Electronic Grid (eGrid 2023), 2023


Matrix Representation of Arbitrarily Controlled Quantum Gates

M Lewis, S Soudjani, P Zuliani

arXiv preprint arXiv:2205.02525, 2022


Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.

M Salamati, S Soudjani, R Majumdar

CoRR, 2019


Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

A Lavaei, S Soudjani, M Zamani

Proceedings of the 21st International Conference on Hybrid Systems …, 2018


Formal and Data Association Aware Robust Belief Space Planning

S Pathak, S Soudjani, V Indelman, A Abate

STAIRS 2016, 87-98, 2016


Exercise 5 A brief introduction to LMIs

S Soudjani, MS Darup, D Raman


NSM Converges to a k-NN Regressor Under Loose Lipschitz Estimates... ET Maddalena and CN Jones 880

L Zino, A Rizzo, M Porfiri, C Califano, CH Moog, M Tranninger, R Seeber, ...