Â鶹´«Ã½

Skip to main content
School of Computing
Search for something
Search...

Staff Profile

Dr Abolfazl Lavaei

Lecturer in Formal Methods

  • Telephone: +44 191 208 8789
  • Personal Website:
  • Address: School of Computing
    Â鶹´«Ã½
    Office 5.026, Urban Sciences Building
    Â鶹´«Ã½, NE4 5TG, United Kingdom
Background

I am an Assistant Professor in the School of Computing at Â鶹´«Ã½ in the UK. Between January 2021 and July 2022, I was a Postdoctoral Associate in the  at  working with . I was also a Postdoctoral Researcher in the  at  between November 2019 and January 2021. I received my Ph.D. degree in  from the , in October 2019.

For more details, please visit my official website at www.lavaei-cps.com.

Research
  • Cyber-physical systems
  • Large-scale stochastic networks
  • Data-driven formal methods
  • Formal Learning & control
  • Safe autonomy & AI

For more details, please visit my official website at www.lavaei-cps.com.

Teaching
  • Spring 2026: Fundamentals of Computing (CSC1031)
  • Autumn 2025: Computer Systems Design and Architectures (CSC1032)
  • Spring 2025: Fundamentals of Computing (CSC1031)
  • Autumn 2024: Computer Systems Design and Architectures (CSC1032)
  • Spring 2024: Fundamentals of Computing (CSC1031)
  • Autumn 2023: Computer Systems Design and Architectures (CSC1032)
  • Spring 2023: Fundamentals of Computing (CSC1031)
  • Spring 2023: Research Methods and Group Project in Security and Resilience (CSC8208)
  • Autumn 2022: Computer Systems Design and Architectures (CSC1032)
  • Autumn 2022: Computer Networks (CSC8021)
Publications

  • Articles

    • Lavaei A, Frazzoli E. . IEEE Transactions on Automatic Control 2024, 69(11), 7294-7309.
    • Salamati A, Lavaei A, Soudjani S, Zamani M. . Automatica 2024, 159, 111323.
    • Anand M, Lavaei A, Zamani M. . Nonlinear Analysis: Hybrid Systems 2024, 51, 101427.
    • Nejati A, Lavaei A, Jagtap P, Soudjani S, Zamani M. . IEEE Transactions on Automatic Control 2023, 68(5), 3011-3024.
    • Lavaei A, Di Lillo L, Censi A, Frazzoli E. . IEEE Transactions on Control of Network Systems 2023, 10(1), 407-418.
    • Nejati A, Lavaei A, Soudjani S, Zamani M. . IEEE Control Systems Letters 2023, 7, 223-228.
    • Lavaei A, Angeli D. . IEEE Control Systems Letters 2023, 7, 2395-2400.
    • Ajeleye D, Lavaei A, Zamani M. . IEEE Control Systems Letters 2023, 7, 3453-3458.
    • Lavaei A, Perez M, Kazemi M, Somenzi F, Soudjani S, Trivedi A, Zamani M. . IEEE Open Journal of Control Systems 2023, 2, 425-438.
    • Jahanshahi N, Lavaei A, Zamani M. . IEEE Transactions on Control of Network Systems 2023, 10(1), 87-99.
    • Zhong B, Lavaei A, Zamani M, Caccamo M. . Automatica 2023, 147, 110696.
    • Lavaei A, Soudjani S, Frazzoli E. . IEEE Transactions on Automatic Control 2023, 68(12), 7240-7253.
    • Anand M, Lavaei A, Zamani M. . IEEE Transactions on Automatic Control 2022, 67(10), 5638-5645.
    • Lavaei A, Zamani M. . IEEE Transactions on Automatic Control 2022, 67(9), 4422-4437.
    • Lavaei A, Frazzoli E. . IEEE Control Systems Letters 2022, 7, 253-258.
    • Lavaei A, Soudjani S, Frazzoli E, Zamani M. . IEEE Control Systems Letters 2022, 7, 460-465.
    • Lavaei A, Soudjani S, Abate A, Zamani M. . Automatica 2022, 146, 110617.
    • Zhong B, Lavaei A, Cao H, Zamani M, Caccamo M. . Nonlinear Analysis: Hybrid Systems 2021, 43, 101110.
    • Lavaei A, Soudjani S, Zamani M. . Nonlinear Analysis: Hybrid Systems 2021, 39, 100991.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. Automatica 2020, 114.
    • Lavaei A, Soudjani S, Zamani M. Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. Nonlinear Analysis: Hybrid Systems 2020, vol. 36.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Transactions on Automatic Control 2020, 65(12), 5280-5295.
    • Lavaei A, Soudjani S, Zamani M. . Automatica 2019, 107, 125-137.
    • Atashgah, MA, Torkamani, MR, Lavaei, A. Robust Positioning, Preliminary Orbit Determination, and Trajectory Prediction of Space Debris using In-Space Iterative-Bearing-Only Observations. The Journal of Navigation 2017, 70(4), 789-809.
    • Kosari, A, Maghsoudi, H, Lavaei, A. Path Generation for Flying Robots in Mountainous Regions. International Journal of Micro Air Vehicles 2017, 9(1), 44-60.
    • Lavaei, A, Atashgah, MA. Optimal 3D Trajectory Generation in Delivering Missions under Urban Constraints for a Flying Robot. Intelligent Service Robotics 2017, 10(3), 241-256.
    • Atashgah, MA, Gazerpour, H, Lavaei, A, Zarei, Y. An Active Time-optimal Control for Space Debris Deorbiting via Geomagnetic Field. Celestial Mechanics and Dynamical Astronomy 2017, 128, 343-360.
    • Lavaei, A, Atashgah, MA. Three-Dimensional Constrained Optimal Motion Planning for a Six-Degree-of-Freedom Quadrotor for Urban Traffic Purposes. Modares Mechanical Engineering 2015, 15(5), 13-24.
    • Kosari, A, Maghsoudi, H, Lavaei, A, Ahmadi, R. Optimal Online Trajectory Generation for a Flying Robot for Terrain Following Purposes using Neural Network. Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 2014, 229(6), 1124-1141.

  • Authored Book

    • Lavaei A, Abate A. . Cambridge: Cambridge University Press, book proposal accepted, 2023. In Press.

  • Book Chapters

    • Lavaei, A, Khaled, M, Soudjani, S, Zamani, M. AMYTISS: PArallelized AutoMated Controller SYnthesis for Large-Scale STochastIc SystemS. In: 32nd International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 12225. Springer, 2020, pp.461-474.
    • Lavaei A, Soudjani S, Zamani M. . In: Majid Zamani, Damien Zufferey, ed. Numerical Software Verification. Cham: Springer, 2019, pp.101-109.

  • Conference Proceedings (inc. Abstracts)

    • Akbarzadeh O, Lavaei A. . In: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). 2024, Hong Kong SAR, China: ACM.
    • Akbarzadeh O, Soudjani S, Lavaei A. . In: 63rd IEEE Conference on Decision and Control (CDC 2024). 2024, Milan, Italy: IEEE. In Press.
    • Zaker M, Blom H, Soudjani S, Lavaei A. . In: 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024). 2024, Edmonton, Canada: IEEE.
    • Samari B, Della Rossa M, Lavaei A, Soudjani S, Jungers R. . In: 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024). 2024, Boulder, Colorado: Elsevier Ltd.
    • Wooding B, Lavaei A. . In: International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science. 2024, Calgary: Springer.
    • Wooding B, Lavaei A. . In: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). 2024, Hong Kong SAR, China: ACM.
    • Akbarzadeh O, Nejati A, Lavaei A. . In: 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024) – Special Session on Data-Driven Approach for Modelling, Control and Optimization of Cyber-Physical Systems. 2024, Valletta, Malta.
    • Aminzadeh A, Lavaei A. . In: 22nd European Control Conference (ECC 2024). 2024, Stockholm, Sweden: IEEE.
    • Aminzadeh A, Swikir A, Haddadin S, Lavaei A. . In: 22nd European Control Conference (ECC 2024). 2024, Stockholm, Sweden: IEEE.
    • Lavaei A. . In: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). 2024, Hong Kong SAR, China: ACM.
    • Lavaei A. . In: 62nd IEEE Conference on Decision and Control (CDC). 2023, Marina Bay Sands, Singapore: IEEE.
    • Wooding B, Lavaei A, Vahidinasab V, Soudjani S. . In: 21st European Control Conference (ECC). 2023, Bucharest, Romania: IEEE.
    • Lavaei A. . In: 62nd IEEE Conference on Decision and Control (CDC). 2023, Singapore: IEEE Control Systems Society.
    • Abate A, Blom H, Cauchi J, Delicaris J, Haesaert S, van Huijgevoort B, Lavaei A, Remke A, Schön O, Schupp S, Shmarov F, Soudjani S, Willemsen L, Zuliani P. . In: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing. 2023, San Antonio, Texas: EPiC Computing.
    • Lavaei A, Frazzoli E. . In: 61st IEEE Conference on Decision and Control (CDC 2022). 2022, Cancun, Mexico: IEEE.
    • Lavaei A, Soudjani S, Frazzoli E. . In: 2022 American Control Conference (ACC). 2022, Atlanta, GA, USA: IEEE.
    • Lavaei A, Mohajerin Esfahani P, Zamani M. . In: 61st Conference on Decision and Control (CDC 2022). 2022, Cancun, Mexico: IEEE.
    • Lavaei A, Di Lillo L, Atzei M, Censi A, Frazzoli E. . In: 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2022, Milan: Association for Computing Machinery.
    • Zhong B, Lavaei A, Zamani M, Caccamo M. . In: 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2022, Milan: Association for Computing Machinery.
    • Lavaei A, Frazzoli E. . In: American Control Conference (ACC). 2022, Atlanta: IEEE.
    • Abate A, Blom H, Delicaris J, Haesaert S, Hartmanns A, van Huijgevoort B, Lavaei A, Ma H, Niehage M, Remke A, Schön O, Schupp S, Soudjani S, Willemsen L. . In: 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). 2022, Munich, Germany: EasyChair.
    • Lavaei A, Zhong B, Caccamo M, Zamani M. . In: CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS '21). 2021, Nashville, Tennessee: ACM.
    • Lavaei A, Nejati A, Jagtap P, Zamani M. . In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021). 2021, Nashville Tennessee: ACM.
    • Lavaei A, Nejati A, Soudjani S, Zamani M. . In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '21). 2021, Nashville, Tennessee: ACM.
    • Salamati A, Lavaei A, Soudjani S, Zamani M. . In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021). 2021, Brussels, Belgium: Elsevier Ltd.
    • Nejati A, Lavaei A, Soudjani S, Zamani M. . In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021). 2021, Brussels, Belgium: Elsevier Ltd.
    • 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. . In: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH). 2021, Brussels: EasyChair Publications.
    • Lavaei, A, Somenzi, F, Soudjani, S, Trivedi, A, Zamani, M. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. In: 11th ACM/IEEE Conference on Cyber-Physical Systems (ICCPS). 2020.
    • Anand, M, Lavaei, A, Zamani, M. Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems. In: 21st IFAC World Congress. 2020.
    • Abate A, Blom H, Cauchi N, Delicaris J, Hartmanns A, Khaled M, Lavaei A, Pilch C, Remke A, Schupp S, Shmarov F, Soudjani S, Vinod AP, Wooding B, Zamani M, Zuliani P. ARCH-COMP20 Category Report: Stochastic Models. In: 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing. 2020.
    • Lavaei, A, Khaled, M, Soudjani, S, Zamani, M. AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems. In: 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2020.
    • Lavaei, A, Zamani, M. Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. In: 58th IEEE Conference on Decision and Control (CDC). 2019.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. In: 18th European Control Conference (ECC). 2019.
    • Lavaei, A, Zamani, M. Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems. In: 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) in conjunction with Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week). 2019.
    • Lavaei, A, Zamani, M. Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach. In: 15th IFAC Symposium on Large-Scale Complex Systems: Theory and Applications (LSS). 2019.
    • Lavaei, A, Soudjani, S, Zamani, M. From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. In: 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2018.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. 2018.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. In: 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). 2018.
    • Lavaei, A, Soudjani, S, Zamani, M. Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. In: 56th IEEE Conference on Decision and Control (CDC). 2017.