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…