RKHS method for computing Koopman-based Lyapunov functions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908952834342912 |
|---|---|
| author | Bierwart, François-Grégoire Mauroy, Alexandre |
| author_facet | Bierwart, François-Grégoire Mauroy, Alexandre |
| contents | The Koopman operator is a powerful approach to global stability analysis of nonlinear systems, which provides a systematic procedure for Lyapunov function design. In this framework, Lyapunov functions are obtained through the eigenfunctions of the Koopman operator associated with the eigenvalues of the Jacobian matrix at the equilibrium. In practice, the eigenfunctions are approximated via a finite-dimensional representation of the operator, and there is no guarantee that the approximated spectrum accurately matches the true one. In this paper, we develop a kernel-based method to compute Koopman eigenfunctions and preserve the spectrum of the Jacobian matrix. This approach is suitable for stability analysis of high-dimensional systems thanks to the kernel trick. Moreover, the Lyapunov function candidate is validated through a scenario-based optimization technique that provides a reliable estimation of the region of attraction of the system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_09424 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | RKHS method for computing Koopman-based Lyapunov functions Bierwart, François-Grégoire Mauroy, Alexandre Dynamical Systems The Koopman operator is a powerful approach to global stability analysis of nonlinear systems, which provides a systematic procedure for Lyapunov function design. In this framework, Lyapunov functions are obtained through the eigenfunctions of the Koopman operator associated with the eigenvalues of the Jacobian matrix at the equilibrium. In practice, the eigenfunctions are approximated via a finite-dimensional representation of the operator, and there is no guarantee that the approximated spectrum accurately matches the true one. In this paper, we develop a kernel-based method to compute Koopman eigenfunctions and preserve the spectrum of the Jacobian matrix. This approach is suitable for stability analysis of high-dimensional systems thanks to the kernel trick. Moreover, the Lyapunov function candidate is validated through a scenario-based optimization technique that provides a reliable estimation of the region of attraction of the system. |
| title | RKHS method for computing Koopman-based Lyapunov functions |
| topic | Dynamical Systems |
| url | https://arxiv.org/abs/2604.09424 |