3 papers
math.DS2026
Construction of Lyapunov Functions for Switched Systems using Meshfree Collocation
Jay Ward, Nicos Georgiou, Peter Giesl
Switched systems are a family of dynamical systems where a switching rule indicates which system is "switched on". This rule can be dependent on time and/or position in the state s…
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 vect…