Showing math.OCShow all
3 papers · 1 filter
math.OC2025
Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems
Yun Su, Hans De Sterck, Jun Liu
Leveraging a stochastic extension of Zubov's equation, we develop a physics-informed neural network (PINN) approach for learning a neural Lyapunov function that captures the larges…
math.OC2025
Stability of Jordan Recurrent Neural Network Estimator
Avneet Kaur, Ruikun Zhou, Jun Liu +1
State estimation refers to determining the states of a dynamical system that starts from a noisy initial condition and evolves under process noise, based on noisy measurements and…
math.OC2025
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…