arXiv subjects

François-Grégoire Bierwart

Publications and source records attributed to François-Grégoire Bierwart.

3 recordsLinked to original sources

arXiv2026

RKHS method for computing Koopman-based Lyapunov functions

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.

math.DS↗

arXiv2026

A numerical Koopman-based framework to estimate regions of attraction for general vector fields

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.

math.DS↗

arXiv2026

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 finite-dimensional approximation in polynomial subspaces. We leverage these results to assess the validity of Koopman-based Lyapunov functions and obtain an optimization-free inner approximation of the region of attraction of an equilibrium.

math.DS↗