TY - RPRT TI - On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems AU - Sami Leon Noel Aziz Hanna AU - Nicolas Hoischen AU - Sandra Hirche AU - Armin Lederer PY - 2026 UR - https://arxiv.org/abs/2604.09267 ID - 2604.09267 ER -