Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions

P. Giesl, S. Hafstein, B. Hamzi +4

We present a kernel-based methodology for constructing Lyapunov functions for nonlinear dynamical systems using approximate Koopman eigenfunctions. Our approach decomposes principa…