Yiming Meng

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 24

Top Topics

Stability Analysis

Lyapunov Function

Top Venues

Publications

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR (2024)
Yiming Meng, Jun Liu
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications. IEEE Trans. Autom. Control. 69 (8) (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC (2024)
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. 8 (2024)
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR (2023)
Chuanzheng Wang, Yiming Meng, Jun Liu, Stephen L. Smith
Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations. CoRR (2023)
Yiming Meng, Navaratnam Sri Namachchivaya, Nicolas Perkowski
Hopf Bifurcations of Moore-Greitzer PDE Model with Additive Noise. J. Nonlinear Sci. 33 (5) (2023)
Yiming Meng, Jun Liu
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. CoRR (2023)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CoRR (2022)
Yiming Meng, Jun Liu
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. FORMATS (2022)
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. 144 (2022)
Yiming Meng, Jun Liu
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. ACC (2022)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CDC (2022)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CoRR (2021)
Yiming Meng, Yinan Li, Jun Liu
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. ACC (2021)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CDC (2021)
Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. ECC (2021)
Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR (2020)
Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. CoRR (2020)