C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yiming Meng
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 18
Top Topics
Stochastic Systems
Brownian Motion
Neural Network
Sufficient Conditions
Top Venues
CoRR
CDC
ACC
J. Nonlinear Sci.
</>
Publications
</>
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)