SafEDMD: A certified learning architecture tailored to data-driven control of nonlinear dynamical systems
<|reference_start|>SafEDMD: A certified learning architecture tailored to data-driven control of nonlinear dynamical systems: The Koopman operator serves as the theoretical backbone for machine learning of dynamical control systems, where the operator is heuristically approximated by extended dynamic mode decomposition (EDMD). In this paper, we propose Stability- and certificate-oriented EDMD (SafEDMD): a novel EDMD-based learning architecture which comes along with rigorous certificates, resulting in a reliable surrogate model generated in a data-driven fashion. To ensure the trustworthiness of SafEDMD, we derive proportional error bounds, which vanish at the origin and are tailored to control tasks, leading to certified controller design based on semi-definite programming. We illustrate the developed method by means of several benchmark examples and highlight the advantages over state-of-the-art methods.<|reference_end|>
@article{strässer2024safedmd:,
    title={SafEDMD: A certified learning architecture tailored to data-driven
  control of nonlinear dynamical systems},
    author={Robin Str"asser, Manuel Schaller, Karl Worthmann, Julian Berberich,
  Frank Allg"ower},
    journal={arXiv preprint arXiv:2402.03145},
    year={2024},
    archivePrefix={arXiv},
    eprint={2402.03145},
    primaryClass={eess.SY cs.LG cs.SY math.OC}
}