28 citations · 70 across the 25 of their papers we have counts for
3 papers · 1 filter
Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems
Yiming Meng, Taha Shafa, Jesse Wei +1
In this paper, we present a novel method to drive a nonlinear system to a desired state, with limited a priori knowledge of its dynamic model: local dynamics at a single point and…
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…
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…