Yiming Meng

Applied Mathematician | Control System Engineer | Postdoctoral Research Associate
University of Illinois Urbana-Champaign


Yiming Meng is currently a Postdoctoral Research Associate in the Coordinated Science Laboratory at The Grainger College of Engineering, University of Illinois Urbana-Champaign (UIUC), working with Dr. Melkior Ornik. Before joining UIUC, he was a Postdoctoral Fellow at the Department of Applied Mathematics of the University of Waterloo (UW), where he worked with Dr. Jun Liu. He received his Ph.D. in Applied Mathematics from UW in October 2022, advised by Dr. Jun Liu and Dr. N.Sri.Namachchivaya. He completed his M.Sc in Process System Engineering from Imperial College London and his B.Eng in Chemical Engineering from Tianjin University.

Research Vision

My research addresses "intelligent" control synthesis for nonlinear dynamical systems operating in uncertain environments. Leveraging my experience as a control system engineer and my dedication to mathematical rigor, I approach my mission from a more bottom-up perspective encompassing several key areas. These areas include:

  1. Investigating robust system regularities based on underlying topologies and their interrelationships with control objectives and data structures. 

  2. Developing novel and efficient computer-aided approaches in control theory, backed by solid theoretical foundations. This is achieved specifically through the development of formal symbolic abstractions, optimal control, and advanced AI techniques.

My work finds applications in diverse fields such as finance, robotic motion planning, cyber-physical systems, mechanics, and other physical sciences.

Research Interests

The following are some current areas of focus:

  • Multi-agent deception and identification from partial observations

  • Koopman operator-based learning for decision-making with applications in robotics and high-dimensional dynamical systems

  • Stochastic dynamical systems and optimal control

  • Formal methods for control design of stochastic systems

  • Dimension reduction and stochastic bifurcation analysis in infinite-dimensional systems

  • Probabilistic generative models

Recent News

Yiming joined the LEADCAT (LEArning, Decision, Control, AuTonomy) research group at the Aerospace Engineering Department, University of Illinois Urbana-Champaign, and began his role as a Postdoctoral Research Associate.

Our paper titled "Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications" was accepted by IEEE Transitions on Automatic Control. (TAC'23)

A novel learning method was developed to enhance the estimation accuracy of regions of attraction for unknown dynamical systems, using the proposed "Zubov-Koopman operator". 

Our work on estimating the maximal Lyapunov exponent for stochastic semilinear PDEs was presented at the "IUTAM Symposium on Nonlinear Dynamics for design of mechanical systems across different length/time scales".

Two research papers were published. (JNLS'23, OJCSYS'23)

Our work on robustly complete stochastic abstractions was presented at the "9th Meeting on System and Control Theory".