On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems | ResearchPod