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.

Discrete Bilinear System Identification and Control

Predictive Control of a Class of Bilinear Systems Based on Global Off-Line Models

Model Reducted-order of Linear Discrete Time Systems Based on Bilinear Transformation

One-step-ahead Adaptive Control of Bilinear Systems and Its Application

End-to-end guarantees for indirect data-driven control of bilinear systems with finite stochastic data

Hierarchical Predictive Control of Bilinear System

Discrete Bilinear Stochastic Systems with Time-Varying Delay: Stability Analysis and Control Synthesis

L2 Approach and Constrained Robust Control for Nonlinear Systems

Neural-model based robust H/sub /spl infin// controllers for discrete-time nonlinear systems: an BMI approach

Adaptive control of bilinear systems with bounded disturbances, and its application

Adaptive Control of Bilinear Systems with Bounded Disturbances and Its Application

Predictive Functional Control and Stability Analysis of MIMO Bilinear Systems

A Self-Tuning Decoupling Controller for A Class of Multivariable Bilinear Systems

Optimization Algorithms for Predictive Control Approach to Networked Bilinear Systems

Non-conventional Estimation Theorems Concerning a Ubiquitous Bilinear Stochastic Differential System: a Control Perspective

Structural Controllability of Bilinear Systems on $\mathbb{SE(n)}$

Bilateral boundary finite-time stabilization of 2x2 linear first-order hyperbolic systems with spatially varying coefficients

Koopman Bilinearization of Nonlinear Control Systems

Control of bilinear systems using gain-scheduling: Stability and performance guarantees

Setpoint control of bilinear systems from noisy data

Dynamic Mode Decomposition of Control-Affine Nonlinear Systems using Discrete Control Liouville Operators