Offset-free Nonlinear MPC with Koopman-based Surrogate Models

Irene Schimperna, Lea Bold and Karl Worthmann

arXiv: 2504.10954v2 · PDF · 30 April 2025
Categories: eess.SY, cs.SY, math.OC
Licence: CC BY 4.0 The site shows the text.

Abstract

In this paper, we design offset-free nonlinear Model Predictive Control (MPC) for surrogate models based on Extended Dynamic Mode Decomposition (EDMD). The model used for prediction in MPC is augmented with a disturbance term, that is estimated by an observer. If the full information about the equilibrium of the real system is not available, a reference calculator is introduced in the algorithm to compute the MPC state and input references. The control algorithm guarantees offset-free tracking of the controlled output under the assumption that the modeling errors are asymptotically constant. The effectiveness of the proposed approach is showcased with numerical simulations for two popular benchmark systems: the van-der-Pol oscillator and the four-tanks process.

Items 6

Notation

C198

We denote with I_n the (n \times n)-identity matrix. The norm \|\cdot\| is used for the Euclidean norm on \ensuremath{\mathbb R}^n and its induced matrix norm on \ensuremath{\mathbb R}^{n\times n}. Given a vector v \in \ensuremath{\mathbb R}^n and a matrix Q \in \ensuremath{\mathbb R}^{n \times n}, \|v\|_Q^2 := v^\top Q v. For a number d\in\ensuremath{\mathbb N}, the abbreviation [1:d] := \mathbb{Z} \cap [1,d] is used. By C_b(\Omega), the space of bounded continuous functions on a set \Omega\subset\ensuremath{\mathbb R}^n is denoted.

Remark

Remark 1

SYB0

Our MPC formulation does not consider a terminal cost or a terminal constraint. Hence, a sufficiently long prediction horizon should be used to guarantee recursive feasibility and stability of the MPC closed loop, see [boccia2014stability].

Remark

Remark 2

KF22

In the description of offset-free MPC we have considered a system model in the form of (?), where a projection operation is performed at each prediction step. The projection step improves the quality of the predictions, in particular with long prediction horizon, see, e.g., [mauroy2019koopman] and [nuske2023finite, Remark 20]. However, it is also possible to implement the offset-free MPC in the lifted space, without including a projection operation at each prediction step. In this case the disturbance state has the dimension of the lifted space, i.e. \hat{d} \in \ensuremath{\mathbb R}^{M + 1}, and the prediction model used in the MPC algorithm has the form

\begin{aligned} z(k) &= \psi(x(k)), \\ z(k+i+1) &= \widehat{K}_{u(k)} z(k+i) + \hat{d}(k), \quad i \in [0:N-1]. \end{aligned}

The observer has the same structure of (?), but is designed in the lifted space.

Theorem

Theorem 1

R08W

Assume that w is bounded and asymptotically constant, i.e. there exists \bar{w} such that

\begin{aligned} \lim_{k \to \infty} w(k) = \bar{w}. \end{aligned}

Then \lim_{k \to \infty} x(k) - \tilde{x}(k) = 0 and \lim_{k \to \infty} \hat{d}(k) = \bar{w}, where \tilde{x} is defined in (?). Moreover, if the closed-loop system reaches an equilibrium with input u_\infty and state x_\infty, then r(x_\infty) = \bar{y}_c.

Remark

Remark 3

WB9O

The theorem is formulated in considering the system equilibrium unknown. The case with the known system equilibrium can be seen as a particular case.

Remark

Remark 4

LZLG

The error bounds of the EDMD model has been exploited in [bold2024data] to prove practical asymptotic stability of EDMD-based MPC. Practical asymptotic stability means that the tracking error reaches a neighborhood of the origin, but in general it does not go to zero in view of the presence of modeling errors. The proposed offset-free MPC algorithm overcomes this issue, allowing the system to asymptotically reach the reference with zero error.

Source and licence

The text on this page is from arXiv:2504.10954v2 by Irene Schimperna, Lea Bold and Karl Worthmann, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2504/2504.10954.jsonl.