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.

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

Data-Driven Nonlinear Stabilization Using Koopman Operator

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator

Koopman Bilinearization of Nonlinear Control Systems

Koopman-based control of nonlinear systems with closed-loop guarantees

Data-driven feedback stabilization of nonlinear systems: Koopman-based model predictive control

Dual-Loop Robust Control of Biased Koopman Operator Model by Noisy Data of Nonlinear Systems

Deep Koopman Operator With Control for Nonlinear Systems

Derivative-Based Koopman Operators for Real-Time Control of Robotic Systems

Data-Driven Control of Linear Parabolic Systems using Koopman Eigenstructure Assignment

Nonlinear Data-Driven Approximation of the Koopman Operator

Direct Data-Driven Stabilization of Nonlinear Affine Systems Via the Koopman Operator.

Nonparametric Control-Koopman Operator Learning: Flexible and Scalable Models for Prediction and Control

Feedback Control of Nonlinear PDEs Using Data-Efficient Reduced Order Models Based on the Koopman Operator

Data-Driven Feedback Linearization using the Koopman Generator

Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees

Adaptive Koopman Embedding for Robust Control of Complex Nonlinear Dynamical Systems

Linear quadratic control of nonlinear systems with Koopman operator learning and the Nyström method

Learning Koopman Operators with Control Using Bi-level Optimization

Data-Driven Models for Control Engineering Applications Using the Koopman Operator