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.

Efficient pseudometrics for data-driven comparisons of nonlinear dynamical systems

Efficient pseudometrics for data-driven comparisons of nonlinear dynamical systems

Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization

Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems

Physics-informed spectral approximation of Koopman operators

Combinatorial characterization of pseudometrics

Limits and Powers of Koopman Learning

Identifying Equivalent Training Dynamics

The Koopman Expectation: An Operator Theoretic Method for Efficient Analysis and Optimization of Uncertain Hybrid Dynamical Systems

Data-driven approximation of Koopman operators and generators: Convergence rates and error bounds

Equivariance and partial observations in Koopman operator theory for partial differential equations

Modern Koopman Theory for Dynamical Systems

Koopman principle eigenfunctions and linearization of diffeomorphisms

Stability and Robustness Analysis of Nonlinear Systems via Contraction Metrics and SOS Programming

On the lifting and reconstruction of nonlinear systems with multiple invariant sets

On the approximability of Koopman-based operator Lyapunov equations

Stable Similarity Comparison of Persistent Homology Groups

Nonlinear Data-Driven Approximation of the Koopman Operator

Consistent spectral approximation of Koopman operators using resolvent compactification

Beyond expectations: Residual Dynamic Mode Decomposition and Variance for Stochastic Dynamical Systems

Koopman Bilinearization of Nonlinear Control Systems