Please see the HyCoDeV Lab page for up-to-date information here.

I am a Reader (Associate Professor) in the School of Computing. Before joining Newcastle University, I was a postdoctoral researcher at the Max Planck Institute and University of Oxford. I did my PhD at Delft University of Technology in the boundaries of model checking, control theory, and stochastic analysis.

Area of expertise: Cyber-Physical Systems, Formal Verification and Synthesis of Complex Dynamical Systems

Google Scholar: Click here.

Research Interests

Formal Synthesis, Abstraction, and Verification (over probabilistic temporal specifications), with application in Cyber-Physical Systems and Stochastic Hybrid Systems, particularly involving smart grids, power and energy networks, robotics, transportation systems, and systems biology

• Abate A, Blom H, Bouissou M, Cauchi N, Chraibi H, Delicaris J, Haesaert S, Hartmanns A, Khaled M, Lavaei A, Ma H, Mallik K, Niehage M, Remke A, Schupp S, Shmarov F, Soudjani S, Thorpe A, Turcuman V, Zuliani P. ARCH-COMP21 Category Report: Stochastic Models. In: EPiC Series in Computing. 2021, EasyChair.
• Jagtap P, Soudjani S, Zamani M. Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Transactions on Automatic Control 2021, 66(7), 3097-3110.
• Salamati A, Soudjani S, Majumdar R. A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS) 2020, 5(1), 2.
• Shmarov F, Soudjani S, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 2020, 8, 180825-180843.
• Matthews I, Mace J, Soudjani S, van Moorsel A. Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. In: 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2020). 2020, Guangzhou, China: IEEE.
• Majumdar R, Mallik K, Soudjani S. Symbolic controller synthesis for Büchi specifications on stochastic systems . In: 23rd ACM International Conference on Hybrid Systems: Computation and Control. 2020, Sydney Australia: ACM.
• Lavaei A, Soudjani S, Zamani M. Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. In: 12th International Workshop on Numerical Software Verification (NSV 2019). 2019, New York City, NY, USA: Springer International Publishing.
• Lavaei A, Soudjani S, Zamani M. Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. Automatica 2019, 107, 125-137.
• Mallik K, Schmuck A-K, Soudjani A, Majumdar R. Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control 2019, 64(6), 2629-2636.
• Salamati M, Salvia R, Darulova E, Soudjani S, Majumdar R. Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Transactions on Embedded Computing Systems (TECS) 2019, 18(5s), 100.
• Farahani SS, Majumdar R, Prabhu VS, Soudjani S. Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control 2019, 64(8), 3324-3331.
• Salamati M, Soudjani S, Majumdar R. Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. In: 15th International Conference on Quantitative Evaluation of Systems (QEST 2018). 2018, Beijing, China: Springer International Publishing.
• Soudjani S, Majumdar M. Concentration of Measure for Chance-Constrained Optimization. In: 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018). 2018, Oxford, United Kingdom: International Federation of Automatic Control.
• Farahani SS, Soudjani S, Majumdar R, Ocampo-Martinez C. Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study. Journal of Process Control 2018, 69, 179-191.
• Lavaei A, Soudjani S, Zamani M. From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). 2018, Porto, Portugal: ACM.
• Haesaert S, Soudjani S, Abate A. Temporal logic control of general Markov decision processes by approximate policy refinement. In: 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018). 2018, Oxford, United Kingdom: International Federation of Automatic Control.
• Jagtap P, Soudjani S, Zamani M. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. In: ATVA 2018: International Symposium on Automated Technology for Verification and Analysis. 2018, Los Angeles, CA, USA: Springer Verlag.
• Haesaert S, Esmaeil Zadeh Soudjani S, Abate A. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM Journal on Control and Optimization 2017, 55(4), 2333-2367.
• Esmaeil Zadeh Soudjani S, Abate A. Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. IEEE Transactions on Control Systems Technology 2015, 23, 975-990.
• Esmaeil Zadeh Soudjani S, Gevaerts C, Abate A. FAUST²: Formal Abstractions of Uncountable-STate STochastic Processes. In: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). 2015, London: Springer.
• Esmaeil Zadeh Soudjani S, Abate A. Adaptive and Sequential Gridding Procedures for the Abstraction and the Verification of Stochastic Processes. SIAM Journal on Applied Dynamical Systems 2013, 12(2), 921-956.