Quadratic CLFs for Koopman bilinear systems imply constant-input stabilizability, exactly characterized by a QCQP with a convex SDP relaxation as a sufficient test.
Koopman-based feedback design with stability guarantees,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
The relative root-mean-square error of finite-dimensional Koopman Control Family predictors is strictly upper-bounded by the square root of the largest eigenvalue of the newly defined control forward-backward consistency matrix.
citing papers explorer
-
On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems
Quadratic CLFs for Koopman bilinear systems imply constant-input stabilizability, exactly characterized by a QCQP with a convex SDP relaxation as a sufficient test.
-
Control Forward-Backward Consistency: Quantifying the Accuracy of Koopman Control Family Models
The relative root-mean-square error of finite-dimensional Koopman Control Family predictors is strictly upper-bounded by the square root of the largest eigenvalue of the newly defined control forward-backward consistency matrix.