Abolfazl Lavaei

About

I am an Assistant Professor in the School of Computing at Newcastle University in the UK. Between January 2021 and July 2022, I was a Postdoctoral Associate in the Institute for Dynamic Systems and Control at ETH Zurich working with Prof. Emilio Frazzoli. I was also a Postdoctoral Researcher in the Department of Computer Science at Ludwig Maximilian University of Munich (LMU) between November 2019 and January 2021. I received my Ph.D. degree in Electrical Engineering from the Technical University of Munich (TUM), in October 2019.

Education

• Ph.D. Electrical Engineering, Technical University of Munich, 2019

Selected publications

• From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
• From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
• From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
• Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
• Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
• Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain-Free Approach
• Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
• Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
• Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems
• From a single trajectory to safety controller synthesis of discrete-time nonlinear polynomial systems