Koopman-based control of nonlinear systems with closed-loop guarantees
arXiv:2411.10359 · doi:10.1515/auto-2024-0162
Abstract
In this paper, we provide a tutorial overview and an extension of a recently developed framework for data-driven control of unknown nonlinear systems with rigorous closed-loop guarantees. The proposed approach relies on the Koopman operator representation of the nonlinear system, for which a bilinear surrogate model is estimated based on data. In contrast to existing Koopman-based estimation procedures, we state guaranteed bounds on the approximation error using the stability- and certificate-oriented extended dynamic mode decomposition (SafEDMD) framework. The resulting surrogate model and the uncertainty bounds allow us to design controllers via robust control theory and sum-of-squares optimization, guaranteeing desirable properties for the closed-loop system. We present results on stabilization both in discrete and continuous time, and we derive a method for controller design with performance objectives. The benefits of the presented framework over established approaches are demonstrated with a numerical example.
Accepted for publication in at-Automatisierungstechnik
References in corpus (16)
- A Data-Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition
- Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
- Applied Koopmanism
- Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control
- On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator
- Data-Driven Model Predictive Control using Interpolated Koopman Generators
- An overview of systems-theoretic guarantees in data-driven model predictive control
- Koopman-based feedback design with stability guarantees
- Robust data-driven control for nonlinear systems using the Koopman operator
- 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
- Synthesizing Control Laws from Data using Sum-of-Squares Optimization
- End-to-end guarantees for indirect data-driven control of bilinear systems with finite stochastic data
- Kernel-based Koopman approximants for control: Flexible sampling, error analysis, and stability
- Nonparametric Control Koopman Operators