activity
20202026
most citedPhysics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification

28 citations · 70 across the 25 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

math.DS2025

Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation

Yiming Meng, Jun Liu

Verifying stability and safety guarantees for nonlinear systems has received considerable attention in recent years. This property serves as a fundamental building block for specif…

eess.SY2025

Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators

Jun Zhou, Yiming Meng, Jun Liu

System identification and Koopman spectral analysis are crucial for uncovering physical laws and understanding the long-term behaviour of stochastic dynamical systems governed by s…