Quadratic CLFs for Koopman bilinear systems imply constant-input stabilizability, exactly characterized by a QCQP with a convex SDP relaxation as a sufficient test.
Nonparametric control Koopman operators
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative 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.
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.
-
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.