SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems
arXiv:2402.03145 · doi:10.1016/j.automatica.2025.112732
Abstract
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.
Accepted for publication in Automatica
References in corpus (21)
- A Data-Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition
- Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
- Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control
- On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator
- Training robust neural networks using Lipschitz bounds
- On Learning Hamiltonian Systems from Data
- Data-Driven Model Predictive Control using Interpolated Koopman Generators
- Koopman Form of Nonlinear Systems with Inputs
- Koopman-based feedback design with stability guarantees
- Robust data-driven control for nonlinear systems using the Koopman operator
- Identification of MIMO Wiener-type Koopman Models for Data-Driven Model Reduction using Deep Learning
- A kernel-based approach to molecular conformation analysis
- Direct data-driven LPV control of nonlinear systems: An experimental result
- An overview of Koopman-based control: From error bounds to closed-loop guarantees
- Efficient Approximation of Molecular Kinetics using Random Fourier Features
- Control of bilinear systems using gain-scheduling: Stability and performance guarantees
- Kernel-based error bounds of bilinear Koopman surrogate models for nonlinear data-driven control
- Data-driven MPC with terminal conditions in the Koopman framework
- Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems
- Koopman-based control of nonlinear systems with closed-loop guarantees
- Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency