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.

Estimates of the Kolmogorov n-width for nonlinear transformations with application to distributed-parameter control systems

Nonlinear Full Invariant of Compact Banach-Space Maps

The Kolmogorov N-width for linear transport: Exact representation and the influence of the data

Exact controllability of infinite dimensional linear systems via bounded control functions

On the approximability of Koopman-based operator Lyapunov equations

On Nonlinear Coapproximation in Banach Spaces

Data Complexity Estimates for Operator Learning

New perspectives on recent trends for Kolmogorov operators

The Approximation Characteristics of Weighted Band-Limited Function Space

Bilateral Bounds for Norms of Solutions and Boundedness/Stability and Instability of Some Nonlinear Systems with Delays and Variable Coefficients

Spatial-L∞-Norm-Based Finite-Time Bounded Control for Semilinear Parabolic PDE Systems with Applications to Chemical-Reaction Processes.

Nonlinear effects within invariance principles

Robust data-driven control for nonlinear systems using the Koopman operator

Linearized Controllability Analysis of Semilinear Partial Differential Equations

A New Approach to Reducing Vector Delay Nonlinear Systems: Boundedness and Stability Analysis

On the One-Dimensional Nonlinear Monodomain Equations with Moving Controls

Approximation of the Koopman operator via Bernstein polynomials

New estimates for bounded oscillation operators

Koopman Bilinearization of Nonlinear Control Systems

Nonlinear Gagliardo-Nirenberg inequality and a priori estimates for nonlinear elliptic eigenvalue problems

Nonlinear compressive reduced basis approximation for multi-parameter elliptic problem