{"id":"arxiv/2603.28502","url":"https://arxiv.org/abs/2603.28502","tags":["math.DS"],"score":0,"title":"A numerical Koopman-based framework to estimate regions of attraction for general vector fields","domain":"math.DS","source":"arxiv","authors":["François-Grégoire Bierwart","Alexandre Mauroy"],"reviews":0,"subject":"math.DS","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-30","reactions":{}}