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

I am a Lecturer (Assistant Professor) in the School of Computing. Before joining Newcastle University, I was a postdoctoral researcher at 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: 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

• 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.
• 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.
• 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.