  Koopman operators, since introduced by the French-born American mathematician
Bernard Koopman in 1931, have been employed as a powerful tool for research in
various scientific domains, such as ergodic theory, probability theory,
geometry, and topology. The current use of Koopman operators mainly focuses on
the characterization of spectral properties of ergodic dynamical systems. In
this paper, we step forward from unforced dynamical systems to control systems
and establish a systematic Koopman control framework. Specifically, we
rigorously derive a differential equation system governing the dynamics of the
Koopman operator associated with a control system, and show that the resulting
system is a bilinear system evolving on an infinite-dimensional Lie group,
which directly leads to a global bilinearization of control-affine systems.
Then, by integrating techniques in geometric control theory with
infinite-dimensional differential geometry, this further offers a two-fold
benefit to controllability analysis: the characterization of controllability
for control-affine systems in terms of de Rham differential operators and the
extension of the Lie algebra rank condition to infinite-dimensional systems. To
demonstrate the applicability, we further adopt the established framework to
develop the Koopman feedback linearization technique, which, as one of the
advantages, waives the controllability requirement for the systems to be
linearized by using the classical feedback linearization technique. In
addition, it is worth mentioning that a distinctive feature of this work is the
maximum utilization of the intrinsic algebraic and geometric properties of
Koopman operators, instead of spectral methods and the ergodicity assumption of
systems, which further demonstrate a significant advantage of our work and a
substantial difference between the presented and existing research into Koopman
operators.
