Towards Learning and Verifying Maximal Neural Lyapunov Functions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915943764983808 |
|---|---|
| author | Liu, Jun Meng, Yiming Fitzsimmons, Maxwell Zhou, Ruikun |
| author_facet | Liu, Jun Meng, Yiming Fitzsimmons, Maxwell Zhou, Ruikun |
| contents | 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 Lyapunov function that is nearly maximal for a given stable set. A Lyapunov function is considered nearly maximal if its sub-level sets can be made arbitrarily close to the boundary of the domain of attraction. We use Zubov's equation to train a maximal Lyapunov function defined on the domain of attraction. Additionally, we propose conditions that can be readily verified by satisfiability modulo theories (SMT) solvers for both local and global stability. We provide theoretical guarantees on the existence of maximal Lyapunov functions and demonstrate the effectiveness of our computational approach through numerical examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_07215 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Towards Learning and Verifying Maximal Neural Lyapunov Functions Liu, Jun Meng, Yiming Fitzsimmons, Maxwell Zhou, Ruikun Optimization and Control Systems and Control 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 Lyapunov function that is nearly maximal for a given stable set. A Lyapunov function is considered nearly maximal if its sub-level sets can be made arbitrarily close to the boundary of the domain of attraction. We use Zubov's equation to train a maximal Lyapunov function defined on the domain of attraction. Additionally, we propose conditions that can be readily verified by satisfiability modulo theories (SMT) solvers for both local and global stability. We provide theoretical guarantees on the existence of maximal Lyapunov functions and demonstrate the effectiveness of our computational approach through numerical examples. |
| title | Towards Learning and Verifying Maximal Neural Lyapunov Functions |
| topic | Optimization and Control Systems and Control |
| url | https://arxiv.org/abs/2304.07215 |