Meng, Yiming
- Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
2023/12/14 by Jun Liu, Liu, Jun, Yiming Meng +5 · 13 citations
Computer Science · Engineering · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications
2020/09/09 by Yiming Meng, Meng, Yiming, Yinan Li +5 · 7 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions
2021/04/06 by Wang, Chuanzheng, Meng, Yiming, Smith, Stephen L. +1 · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control
2020/11/21 by Chuanzheng Wang, Yinan Li, Wang, Chuanzheng +7 · 3 citations
Engineering · Computer Science · #Advanced Control Systems Optimization #Reinforcement Learning in Robotics #Formal Methods in Verification
- Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
2024/02/15 by Meng, Yiming, Zhou, Ruikun, Mukherjee, Amartya +3 · 4 citations
#FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions
2022/03/23 by Yiming Meng, Jun Liu, Meng, Yiming +1 · 2 citations
Computer Science · Engineering · #Dynamical Systems (math.DS) #FOS: Mathematics #Formal Methods in Verification #Petri Nets in System Modeling #Systems Engineering Methodologies and Applications
- LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
2024/03/15 by Jun Liu, Liu, Jun, Yiming Meng +5 · 6 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence
2023/11/25 by Meng, Yiming, Zhou, Ruikun, Liu, Jun · 1 citation
#Analysis of PDEs (math.AP) #Dynamical Systems (math.DS) #FOS: Mathematics
- Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations
2023/12/20 by Wang, Chuanzheng, Meng, Yiming, Liu, Jun +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators
2025/04/10 by Zhou, Jun, Meng, Yiming, Liu, Jun · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Towards Learning and Verifying Maximal Neural Lyapunov Functions
2023/04/14 by Jun Liu, Yiming Meng, Liu, Jun +5 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Control Systems and Identification #FOS: Electrical engineering #FOS: Mathematics #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems
2022/11/02 by Yiming Meng, Meng, Yiming, Jun Liu +1 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Mathematics #Formal Methods in Verification
- Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
2024/12/03 by Zhou, Ruikun, Meng, Yiming, Zeng, Zhexuan +1 · 1 citation
#Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems
2024/11/01 by Yiming Meng, Ruikun Zhou, Meng, Yiming +5 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Dynamical Systems (math.DS) #FOS: Mathematics #Gaussian Processes and Bayesian Inference #Model Reduction and Neural Networks #Reservoir Engineering and Simulation Methods
- Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems
2024/03/06 by Yiming Meng, Meng, Yiming, Taha Shafa +5 · 2 citations
Engineering · #Advanced Control Systems Optimization #Extremum Seeking Control Systems #FOS: Mathematics #Iterative Learning Control Systems #Optimization and Control (math.OC)