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.

New method for linearization of non-autonomous nonlinear real-order systems

A Class of Linearization-Based Collocation Methods for Initial Value and Boundary Value Engineering Problems.

Stabilization of Nonlinear Systems Nonlinearly Depending on Fast Time-Varying Parameters: an Immersion and Invariance Approach

Local Stabilizing Control for Polynomial Nonlinear Systems

New results on dynamic output state feedback stabilization of some class of time-varying nonlinear Caputo derivative systems

A Novel Order Reduction Method for Nonlinear Dynamical System under External Periodic Excitations

Control Of Nonlinear Time-Periodic Systems Via Feedback Linearization

Linearization of a Nonlinear System

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

On the Stability Analysis of Nonlinear Systems

Nonlinear Analysis: Hybrid Systems

Linearization of Systems of Nonlinear Diffusion Equations

Improved Equivalent Linearization Method

Linearized Controllability Analysis of Semilinear Partial Differential Equations

On the Method of Global Linearization and Motion Control of Nonlinear Mechanical Systems

Stability analysis for nonlinear fractional-order systems based on comparison principle

State-Compensation-Linearization-Based Stability Margin Analysis for a Class of Nonlinear Systems: A Data-Driven Method

The Linearization of A Composite Large-Scale Nonlinear System

Stability Analysis of Nonlinear Time-Varying Systems by Lyapunov Functions with Indefinite Derivatives

Development of A Feedback Linearization Technique for Parametrically Excited Nonlinear Systems Via Normal Forms

Koopman Bilinearization of Nonlinear Control Systems