A constrained symbolic regression method on expression trees discovers Lyapunov functions for autonomous dynamical systems without assuming their functional form.
Koopmanoperatorforstabilityanalysis: Theorywithalinear–radialproduct reproducingkernel
3 Pith papers cite this work. Polarity classification is still indexing.
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Nonlinear discrete-time systems are shown to admit exact bilinear representations via separate RKHS lifts of state and input, with stabilization posed as optimization over conditional probability measures.
The paper develops three convex learning settings for hybrid models that enforce interpretability via reference regularization, subspace restrictions, and nonlinear manifold restrictions, re-parameterized through lifted operator features as kernel mixtures of interpretable components.
citing papers explorer
-
A constrained symbolic regression approach for Lyapunov function discovery
A constrained symbolic regression method on expression trees discovers Lyapunov functions for autonomous dynamical systems without assuming their functional form.
-
Koopman Modeling and Stabilization of Discrete-Time Nonlinear Control Systems: Bilinearity on a Reproducing Kernel Hilbert Space
Nonlinear discrete-time systems are shown to admit exact bilinear representations via separate RKHS lifts of state and input, with stabilization posed as optimization over conditional probability measures.
-
Convex Hybrid Modeling: An Operator-Based Approach
The paper develops three convex learning settings for hybrid models that enforce interpretability via reference regularization, subspace restrictions, and nonlinear manifold restrictions, re-parameterized through lifted operator features as kernel mixtures of interpretable components.