  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.
