Abolfazl Lavaei

Lecturer in Formal Methods · School of Computing

Cyber-physical systemsSafe autonomy & AIData-driven formal methodsFormal Learning & controlLarge-scale stochastic networks

简介

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.

教育经历

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

代表成果

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。