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.

Koopman System Approximation Based Optimal Control of Multiple Robots -- Part I: Concepts and Formulations

Koopman System Approximation Based Optimal Control of Multiple Robots -- Part II: Simulations and Evaluations

Koopman Operators in Robot Learning

Learning Koopman Operators with Control Using Bi-level Optimization

Koopman Operators for Modeling and Control of Soft Robotics

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

Koopman Representations of Dynamic Systems with Control

Extended Kalman filter -- Koopman operator for tractable stochastic optimal control

Closed-Loop Koopman Operator Approximation

Autogeneration of Mission-Oriented Robot Controllers Using Bayesian-Based Koopman Operator

Modeling and Control of Soft Robots Using the Koopman Operator and Model Predictive Control

Deep Koopman Operator Based Model Predictive Control for Nonlinear Robotics Systems

Koopman Bilinearization of Nonlinear Control Systems

Koopman-based Policy Iteration for Robust Optimal Control

Koopman Approximator based Adaptive Model Predictive Control of Continuous Nonlinear Systems

Optimal Synthesis of LTI Koopman Models for Nonlinear Systems with Inputs

Parameter-Varying Koopman Operator for Nonlinear System Modeling and Control

Robot formation control in nonlinear manifold using Koopman operator theory

Continual Learning and Lifting of Koopman Dynamics for Linear Control of Legged Robots

Control-Coherent Koopman Modeling: A Physical Modeling Approach

Robust Tube-based Model Predictive Control with Koopman Operators--Extended Version