arrow
Return

SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems

delete2025-12-17
delete0
delete
OA
AI
R
Robin Strässer *
M
Manuel Schaller
K
Karl Worthmann
J
Julian Berberich
F
Frank Allgöwer
DOI:10.1016/j.automatica.2025.112732delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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 SafEDMD, a novel stability- and feedback-oriented EDMD-based controller design framework. Our approach leverages a reliable surrogate model generated in a data-driven fashion in order to provide closed-loop guarantees. In particular, we establish a controller design based on semi-definite programming with guaranteed stabilization of the underlying nonlinear system. As central ingredient, we derive proportional error bounds that vanish at the origin and are tailored to control tasks. We illustrate the developed method by means of several benchmark examples and highlight the advantages over state-of-the-art methods.
Keywords:
Data-driven control
Koopman operator
Nonlinear systems
Stability guarantees
Robust control
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Automatica cover
Automatica
IF:
5.9
Papers:
1.2W
Citations:
5.2W

Organization

I
Institute of Mathematics
Scholars:
131
Papers: 97
Citations: 34