×
Contact
Address:
(Office TBD)
No.1 Du Xue Rd
Nansha, Guangzhou
 
Email:
 yimingmeng
@hkust-gz.edu.cn
 
Links:
Home
Research
Publication
News
Teaching
Service
Positions Available

Publication

\(^\star\) indicates equal contribution.

Preprint

  • Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation.
    Y. Meng, J. Liu. (arXiv)

  • Flow-consistent Identification of Governing Equations from Sparsely Sampled Measurements.
    Z. Zeng, D. Xie, K. Fang, J. Shi, R. Yan X. Lu, Z. Deng, Y. Meng, J. Liu, Y. Yuan. (Link)

Journal article

  • Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems.
    Y. Meng, T. Shafa, J. Wei, M. Ornik.
    IEEE Transactions on Automatic Control, 2026. (DOI)

  • Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems.
    Y. Meng\(^\star\), R. Zhou\(^\star\), M. Ornik, J. Liu.
    IEEE Transactions on Automatic Control, 2026. (DOI)

  • Learning Regions of Attraction in Unknown Dynamical Systems via Zubov- Koopman Lifting: Regularities and Convergence.
    Y. Meng, R. Zhou, J. Liu.
    IEEE Transactions on Automatic Control, 2025. (DOI)(PDF)

  • Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
    J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou.
    Automatica, 2025. (DOI)(PDF) Editor’s Choice for May 2025

  • Almost Sure Asymptotic Stability of Parabolic SPDEs with Small Multiplicative Noise: With Application to the Perturbed Moore-Greitzer Model.
    Y. Meng, N.S. Namachchivaya, N. Perkowski.
    Dynamical Systems, 2024. (DOI)(PDF)

  • Physics-Informed Extreme Learning Machine Lyapunov Functions.
    R. Zhou, M. Fitzsimmons, Y. Meng, J. Liu.
    IEEE Control Systems Letters, 2024. (DOI)(PDF)

  • Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications.
    Y. Meng, J. Liu.
    IEEE Transactions on Automatic Control, 2024. (DOI)(PDF)

  • Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems.
    Y. Meng, J. Liu.
    IEEE Open Journal of Control Systems, 2023. (DOI)(PDF)

  • Hopf Bifurcations of Moore-Greitzer PDE Model with Additive Noise.
    Y. Meng, N.S. Namachchivaya, N. Perkowski.
    Journal of Nonlinear Science, 2023. (DOI)(PDF)

  • Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems.
    Y. Meng, J. Liu.
    Nonlinear Analysis: Hybrid Systems, 2023. (DOI)(PDF)

  • Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability wit Safety Constraints and Reach-Avoid-Stay Specifications.
    Y. Meng, Y. Li, M. Fitzzsimmons, J. Liu.
    Automatica, 2022. (DOI)(PDF)

  • An agent-based model for energy investment decisions in the residential sector.
    J. Sachs, Y. Meng, S. Giarola, A. Hawkes.
    Energy, 2019. (DOI)(PDF)

Conference paper

  • Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation.
    Y. Meng, J. Liu.
    Accepted to European Control Conference (ECC). @ Reykjavík, Iceland, 2026. (arXiv)

  • Target Prediction Under Deceptive Switching Strategies via Outlier- Robust Filtering of Partially Observed Incomplete Trajectories.
    Y. Meng, D. Li, M. Ornik.
    Accepted to European Control Conference (ECC). @ Reykjavík, Iceland, 2026. (arXiv)

  • Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators.
    J. Zhou, Y. Meng, J. Liu.
    Accepted to American Control Conference (ACC). @ New Orleans, LA, USA, 2026. (arXiv)

  • Reachable Predictive Control: A Novel Control Algorithm for Nonlinear Systems with Unknown Dynamics and its Practical Applications.
    T. Shafa, Y. Meng, M. Ornik.
    Accepted to IEEE International Conference on Robotics & Automation (ICRA). @ Vienna, Austria, 2026. (arXiv)

  • Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
    R. Zhou, Y. Meng, Z. Zeng, J. Liu.
    IEEE Conference on Decision and Control (CDC). @ Rio de Janeiro, Brazil, 2025. (DOI)(PDF)

  • Formally Verified Physics-Informed Neural Control Lyapunov Functions.
    J. Liu, M. Fitzsimmons, R. Zhou, Y. Meng.
    American Control Conference (ACC). @ Denver, CO, USA, 2025. (DOI)(PDF)

  • Data-driven Optimal Control of Unknown Nonlinear Dynamical Systems Based on the Koopman Operator.
    Z. Zeng, R. Zhou, Y. Meng, J. Liu.
    Annual Learning for Dynamics & Control Conference (L4DC). @ Ann Arbor, MI, USA, 2025. (DOI)(PDF)

  • Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm.
    Y. Meng, R. Zhou, M. Ornik, J. Liu.
    IEEE Conference on Decision and Control (CDC). @ Milan, Italy, 2024. (DOI)(PDF)

  • Koopman-Based Data-Driven Techniques for Adaptive Cruise Control System Identification.
    Y. Meng, H. Li, M. Ornik, X (Shaw). Li.
    IEEE International Conference on Intelligent Transportation Systems (ITSC). @ Edmonton, AB, Canada, 2024. (DOI)(PDF)

  • Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
    Y. Meng\(^\star\), R. Zhou\(^\star\), A. Mukherjee, M. Fitzsimmons, C. Song, J. Liu.
    International Conference on Machine Learning (ICML). @ Vienna, Austria, 2024. (DOI)(PDF)

  • Zubov-Koopman Learning of Maximal Lyapunov Functions.
    Y. Meng, R. Zhou, J. Liu.
    American Control Conference (ACC). @ Toronto, ON, Canada, 2024. (DOI)(PDF)

  • Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
    J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou.
    American Control Conference (ACC). @ Toronto, ON, Canada, 2024. (DOI)(PDF)

  • (TOOL) LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
    J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou.
    ACM International Conference on Hybrid Systems: Computation and Control (HSCC). @ Hongkong SAR China, 2024. (DOI)(PDF)

  • LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees.
    J. Liu, Y. Meng, R. Zhou.
    IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). @ Boulder, CO, USA, 2024. (DOI)(PDF)

  • Towards Learning and Verifying Maximal Neural Lyapunov Functions.
    J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou.
    IEEE Conference on Decision and Control (CDC). @ Singarpore, 2023. (DOI)(PDF)

  • Asymptotic Approximation of the Maximal Lyapunov Exponent of Moore-Greitzer PDE model with Multiplicative Noise close to Stall Bifurcation.
    Y. Meng, N.S. Namachchivaya, N. Perkowsk.
    IUTAM Symposium on Nonlinear dynamics for Design of Mechanical Systems across Different Length/Time Scales. @ Tsukuba, Japan, 2023. (DOI)(PDF)

  • Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions.
    C. Wang\(^\star\), Y. Meng\(^\star\), S.L. Smith, J. Liu.
    IEEE Conference on Decision and Control (CDC). @ Cancún, Mexico, 2022. (DOI)(PDF)

  • Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems.
    Y. Meng, J. Liu.
    Formal Modeling and Analysis of Timed Systems International Conference (FORMATS). @ Warsaw, Poland, 2022. (DOI)(PDF)

  • Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions.
    Y. Meng, J. Liu.
    American Control Conference (ACC). @ Atlanta, GA, USA, 2022. (DOI)(PDF)

  • Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions.
    C. Wang\(^\star\), Y. Meng\(^\star\), S.L. Smith, J. Liu.
    IEEE Conference on Decision and Control (CDC). @ Austin, TX, USA (Virtual), 2021. (DOI)(PDF)

  • Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model.
    Y. Meng, Y. Li, J. Liu.
    American Control Conference (ACC). @ New Orleans, LA, USA (Virtual), 2021. (DOI)(PDF)

  • Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
    C. Wang, Y. Meng, Y, Li, S.L. Smith, J. Liu.
    European Control Conference (ECC). @ Rotterdam, The Netherlands (Virtual), 2021. (DOI)(PDF)

Thesis

  • Bifurcation and Robust Control of Instabilities in the Presence of Uncertainties.
    Y. Meng.
    Department of Applied Mathematics, University of Waterloo. 2022. (Link)