Abstract: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.

On System Operators with Variation Bounding Properties

The eigenvalue Characterization for the constant Sign Green's Functions of $(k,n-k)$ problems

On the balanced truncation error bound and sign parameters from arrowhead realizations

On the existence of KKL observers with nonlinear contracting dynamics (Long Version)

On Koopman operator with variable integrability

Little Hankel Operators Between Vector-Valued Bergman Spaces on the Unit Ball

An Alternating Procedure for Operators on Uniformly Convex and Uniformly Smooth Banach-Spaces

Higher K-groups for operator systems

Spectral estimates of dynamically-defined and amenable operator families

Hankel Operators Defined Between Köthe Spaces

Variation operators associated with semigroups generated by Hardy operators involving fractional Laplacians in a half space

Characterization by Observability Inequalities of Controllability and Stabilization Properties

Variation of the centered maximal operator

Koopman Bilinearization of Nonlinear Control Systems

On Strong Structural Controllability and Observability of Linear Time-Varying Systems: a Constructive Method.

Stability in quadratic variation

Observations on some classes of operators on C(K,X)

Operator means of probability measures and generalized Karcher equations

On the equivalence of contraction and Koopman approaches for nonlinear stability and control

A generalization of K-theory to operator systems