Koopman Form of Nonlinear Systems with Inputs

Abstract

The Koopman framework proposes a linear representation of finite-dimensional nonlinear systems through a generally infinite-dimensional globally linear embedding. Originally, the Koopman formalism has been derived for autonomous systems. In applications for systems with inputs, generally a linear time invariant (LTI) form of the Koopman model is assumed, as it facilitates the use of control techniques such as linear quadratic regulation and model predictive control. However, it can be easily shown that this assumption is insufficient to capture the dynamics of the underlying nonlinear system. Proper theoretical extension for actuated continuous-time systems with a linear or a control-affine input has been worked out only recently, however extensions to discrete-time systems and general continuous-time systems have not been developed yet. In the present paper, we systematically investigate and analytically derive lifted forms under inputs for a rather wide class of nonlinear systems in both continuous and discrete time. We prove that the resulting lifted representations give Koopman models where the state transition is linear, but the input matrix becomes state-dependent (state and input-dependent in the discrete-time case), giving rise to a specially structured linear parameter-varying (LPV) description of the underlying system. We also provide error bounds on how much the dependency of the input matrix contributes to the resulting representation and how well the system behaviour can be approximated by an LTI Koopman representation. The introduced theoretical insight greatly helps for performing proper model structure selection in system identification with Koopman models as well as making a proper choice for LTI or LPV techniques for the control of nonlinear systems through the Koopman approach.

Preprint accepted for publication in Automatica

References in corpus (3)

• Identification of MIMO Wiener-type Koopman Models for Data-Driven Model Reduction using Deep Learning
• Finite Dimensional Koopman Form of Polynomial Nonlinear Systems
• Optimal Synthesis of LTI Koopman Models for Nonlinear Systems with Inputs

Cited by in corpus (6)

• Koopman-based feedback design with stability guarantees
• An overview of Koopman-based control: From error bounds to closed-loop guarantees
• Kernel-based error bounds of bilinear Koopman surrogate models for nonlinear data-driven control
• SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems
• Data-Driven Predictive Control of Nonholonomic Robots Based on a Bilinear Koopman Realization: Data Does Not Replace Geometry
• Robust Control Design and Analysis Based on Lifting Linearization of Nonlinear Systems Under Uncertain Initial Conditions