Error bounds on analytic Koopman-based Lyapunov functions
The Koopman operator provides an infinite-dimensional linear description of nonlinear dynamical systems that can be leveraged in the context of stability analysis. In particular, Lyapunov functions can be obtained in a systematic way via the eigenfunctions of the Koopman operator. However, these eigenfunctions are computed from finite-dimensional approximations, resulting in approximated Lyapunov functions that must be validated. In this paper, we provide theoretical error bounds on the approximation of the eigenfunctions of the Koopman operator in the case of analytic vector field and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.29351
curl -X POST /api/v1/records/arxiv/2603.29351/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.29351/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'