2 papers
math.NA2026
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…
cs.LO2026
On Deciding Constant Runtime of Linear Loops
Florian Frohn, Jürgen Giesl, Peter Giesl +1
We consider linear single-path loops of the form \[ \textbf{while} \quad φ\quad \textbf{do} \quad \vec{x} \gets A \vec{x} + \vec{b} \quad \textbf{end} \] where is a vecto…