Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation
Not on the map. Why?
Abstract (arXiv)
This paper deals with a special type of Lyapunov functions, namely the solution of Zubov's equation. Such a function can be used to characterize the domain of attraction for systems of ordinary differential equations. We derive and prove an integral form solution to Zubov's equation. For numerical computation, we develop two data-driven methods. One is based on the integration of an augmented system of differential equations; and the other one is based on deep learning. The former is effective for systems with a relatively low state space dimension and the latter is developed for high dimensional problems. The deep learning method is applied to a New England 10-generator power system model. We prove that a neural network approximation exists for the Lyapunov function of power systems such that the approximation error is a cubic polynomial of the number of generators. The error convergence rate as a function of n, the number of neurons, is proved.
Key facts. Cited by 7 papers in the map (data through 14 Oct 2026). Builds on 13 of its 53 references that are in the map. First posted on arXiv 29 Dec 2021.
Builds on
13 of 53 references.
References · 13
- 2015Convolutional LSTM Network: A Machine Learning Approach for Precipitation Nowcastingcited by 1,436
- 2021Machine learning accelerated computational fluid dynamicscited by 471
- 2016Why and When Can Deep -- but Not Shallow -- Networks Avoid the Curse of Dimensionality: a Reviewcited by 155
- 2020Neural Lyapunov Controlcited by 142
- 2018The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systemscited by 88
- 2016Deep Learning Approximation for Stochastic Control Problemscited by 55
- 2019Adaptive Deep Learning for High-Dimensional Hamilton-Jacobi-Bellman Equationscited by 40
- 2020Computing Lyapunov functions using deep neural networkscited by 14
- 2015Mitigating the Curse of Dimensionality: Sparse Grid Characteristics Method for Optimal Feedback Control and HJB Equationscited by 12
- 2017Polynomial approximation of high-dimensional Hamilton-Jacobi-Bellman equations and applications to feedback control of semilinear parabolic PDEscited by 10
- 2020QRnet: optimal regulator design with LQR-augmented neural networkscited by 8
- 2019Algorithms of Data Development For Deep Learning and Feedback Designcited by 4
Built on by
Citing papers per year: 2023: 1; 2024: 3; 2025: 3.
7 papers.
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verificationcited by 20
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attractioncited by 10
- 2024Actor-Critic Physics-informed Neural Lyapunov Controlcited by 8
- 2025Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansioncited by 6
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functionscited by 4
- 2025Learning Aligned Stability in Neural ODEs Reconciling Accuracy with Robustnesscited by 0
- 2025Physics-Informed Machine Learning for Characterizing System Stabilitycited by 0
- 2025Physics-Informed Machine Learning for Characterizing System Stability11 Nov 2025
- 2025Learning Aligned Stability in Neural ODEs Reconciling Accuracy with Robustness26 Sep 2025
- 2025Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion2 Jun 2025
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functions30 Sep 2024
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction15 Mar 2024
- 2024Actor-Critic Physics-informed Neural Lyapunov Control13 Mar 2024
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification14 Dec 2023