@misc{indiciae517270c10f78, title = {SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems}, author = {Robin Strässer and Manuel Schaller and Karl Worthmann and Julian Berberich and Frank Allgöwer}, year = {2025}, doi = {10.1016/j.automatica.2025.112732}, url = {https://arxiv.org/abs/2402.03145}, note = {Source identifier: 2402.03145} }