A numerical Koopman-based framework to estimate regions of attraction for general vector fields
Abstract
In this paper, we develop a comprehensive framework to estimate regions of attraction of equilibria for dynamics associated with general vector fields. This framework combines Koopman operator-based methods with rigorous validation techniques. A candidate Lyapunov function is constructed with approximated Koopman eigenfunctions and further validated through polynomial approximation, either with SOS-based techniques or with a worst-case approach using an adaptive grid. The framework is general, not only since it is adapted to non-polynomial vector fields, but also since the Koopman operator can be approximated with general bases yielding non-polynomial Lyapunov functions. The performance of the method is illustrated with several numerical examples.
Keywords
Cite
@article{arxiv.2603.28502,
title = {A numerical Koopman-based framework to estimate regions of attraction for general vector fields},
author = {François-Grégoire Bierwart and Alexandre Mauroy},
journal= {arXiv preprint arXiv:2603.28502},
year = {2026}
}