Yiming Meng - RankMe

41 papers A* 1C 5Journal 23Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator. L4DC Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2025	C	`conf`	Formally Verified Physics-Informed Neural Control Lyapunov Functions. ACC Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2025	J	`jnl`	Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators. CoRR Jun Zhou, Yiming Meng, Jun Liu
2025	—	`conf`	Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems. CDC Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2025	J	`jnl`	Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence. IEEE Trans. Autom. Control. Yiming Meng, Ruikun Zhou, Jun Liu
2025	J	`jnl`	Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. Autom. Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2025	J	`jnl`	Pseudo-Target Optimization Strategy Based on Policy Iteration Algorithm. IEEE Access Yiming Meng, Daichen Liu, Ziyuan Wang
2025	J	`jnl`	Reachable Predictive Control: A Novel Control Algorithm for Nonlinear Systems with Unknown Dynamics and its Practical Applications. CoRR Taha Shafa, Yiming Meng, Melkior Ornik
2024	C	`conf`	Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. ACC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator. CoRR Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2024	J	`jnl`	Formally Verified Physics-Informed Neural Control Lyapunov Functions. CoRR Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2024	—	`conf`	Koopman-Based Data-Driven Techniques for Adaptive Cruise Control System Identification. ITSC Yiming Meng, Hangyu Li, Melkior Ornik, Xiaopeng Li
2024	—	`conf`	Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm. CDC Yiming Meng, Ruikun Zhou, Melkior Ornik, Jun Liu
2024	J	`jnl`	Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems. CoRR Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2024	—	`conf`	LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees. ADHS Jun Liu, Yiming Meng, Ruikun Zhou
2024	J	`jnl`	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
2024	A*	`conf`	Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. ICML Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024	J	`jnl`	Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024	—	`conf`	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications. IEEE Trans. Autom. Control. Yiming Meng, Jun Liu
2024	—	`conf`	TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	C	`conf`	Zubov-Koopman Learning of Maximal Lyapunov Functions. ACC Yiming Meng, Ruikun Zhou, Jun Liu
2023	J	`jnl`	Hopf Bifurcations of Moore-Greitzer PDE Model with Additive Noise. J. Nonlinear Sci. Yiming Meng, Navaratnam Sri Namachchivaya, Nicolas Perkowski
2023	J	`jnl`	Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023	J	`jnl`	Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. CoRR Yiming Meng, Jun Liu
2023	J	`jnl`	Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations. CoRR Chuanzheng Wang, Yiming Meng, Jun Liu, Stephen L. Smith
2023	—	`conf`	Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023	J	`jnl`	Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2022	—	`conf`	Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CDC Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2022	J	`jnl`	Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CoRR Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2022	—	`conf`	Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. FORMATS Yiming Meng, Jun Liu
2022	J	`jnl`	Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
2022	C	`conf`	Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. ACC Yiming Meng, Jun Liu
2021	C	`conf`	Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. ACC Yiming Meng, Yinan Li, Jun Liu
2021	—	`conf`	Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. ECC Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu
2021	—	`conf`	Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CDC Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2021	J	`jnl`	Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CoRR Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2020	J	`jnl`	Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. CoRR Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu
2020	J	`jnl`	Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons