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.

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

On the lifting and reconstruction of nonlinear systems with multiple invariant sets

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding

Learning Bounded Koopman Observables: Results on Stability, Continuity, and Controllability

Limits and Powers of Koopman Learning

Extracting Koopman Operators for Prediction and Control of Non-linear Dynamics Using Two-stage Learning and Oblique Projections

Diffeomorphically Learning Stable Koopman Operators

Learning Stable Koopman Embeddings for Identification and Control

Linearizability of flows by embeddings

Koopman principle eigenfunctions and linearization of diffeomorphisms

Adaptive Koopman Embedding for Robust Control of Complex Nonlinear Dynamical Systems

Koopman Form of Nonlinear Systems with Inputs

Equivariance and partial observations in Koopman operator theory for partial differential equations

Deep Learning for Structure-Preserving Universal Stable Koopman-Inspired Embeddings for Nonlinear Canonical Hamiltonian Dynamics

Deep Koopman Operator With Control for Nonlinear Systems

Solving Nonlinear Ordinary Differential Equations Using the Invariant Manifolds and Koopman Eigenfunctions

Koopman Representations of Dynamic Systems with Control

On the approximability of Koopman-based operator Lyapunov equations

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions