Robust Koopman L2-gain ACC2024