A kernel method computes Koopman eigenfunctions that preserve the Jacobian spectrum for Lyapunov-based stability analysis of nonlinear dynamical systems.
dReal: An SMT solver for nonlinear theories over the reals
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.DS 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
RKHS method for computing Koopman-based Lyapunov functions
A kernel method computes Koopman eigenfunctions that preserve the Jacobian spectrum for Lyapunov-based stability analysis of nonlinear dynamical systems.