28 citations · 70 across the 25 of their papers we have counts for
Showing 2023 · math.OCShow all
2 papers · 2 filters
math.OC2023★ 28 cited
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
Jun Liu, Yiming Meng, Maxwell Fitzsimmons +1
We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE…
math.OC2023★ 13 cited
Towards Learning and Verifying Maximal Neural Lyapunov Functions
Jun Liu, Yiming Meng, Maxwell Fitzsimmons +1
The search for Lyapunov functions is a crucial task in the analysis of nonlinear systems. In this paper, we present a physics-informed neural network (PINN) approach to learning a…