arrow
Return

Data-Driven MPC With Stability Guarantees Using Extended Dynamic Mode Decomposition

delete2025-01-01
delete2
delete
OA
AI
L
Lea Bold
L
Lars Grüne
M
Manuel Schaller
K
Karl Worthmann *
DOI:10.1109/TAC.2024.3431169delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
For nonlinear (control) systems, extended dynamic mode decomposition (EDMD) is a popular method to obtain data-driven surrogate models. Its theoretical foundation is the Koopman framework, in which one propagates observable functions of the state to obtain a linear representation in an infinite-dimensional space. In this article, we prove practical asymptotic stability of an (controlled) equilibrium for EDMD-based model predictive control, in which the optimization step is conducted using the data-based surrogate model. To this end, we derive novel bounds on the estimation error that are proportional to the norm of state and control. This enables us to show that, if the underlying system is cost controllable, this stabilizablility property is preserved. We conduct numerical simulations illustrating the proven practical asymptotic stability.
Keywords:
Asymptotic stability
Costs
Generators
Dictionaries
Controllability
Numerical stability
Computational modeling
Cost controllability
data-driven
dynamic mode decomposition
model predictive control (MPC)
stability

Journal

IEEE Transactions on Automatic Control cover
IEEE Transactions on Automatic Control
IF:
7
Papers:
1.3W
Citations:
6.7W

Organization

U
University of Bayreuth
Scholars:
7.4K
Papers: 6.7K
Citations: 1.2W