Bilinearization, Reachability, and Optimal Control of Control-Affine Nonlinear Systems: A Koopman Spectral Approach

This paper considers the problem of bilinearization and optimal control of a control-affine nonlinear system by projecting the system dynamics onto the Koopman eigenspace. Although there are linearization techniques like Carleman linearization for embedding a finite-dimensional nonlinear system into an infinite-dimensional space, they depend on the analytic property of the vector fields and work only on polynomial space. The proposed method utilizes the Koopman Canonical Transform, specifically the Koopman eigenfunctions of the drift vector field, to transform the dynamics into a bilinear system under certain assumptions. While the bilinearization is exact if there exists a Koopman-invariant finite-dimensional subspace for the drift vector field, sometimes this condition is too conservative. An approximate approach is to minimize an $\mc{L}^2$ norm on the truncated state space. The approximation can be carried out from time-series data without explicit knowledge of the drift vector field. Controllability of the bilinear system is analyzed using the Myhill semigroup method and Lie algebraic structures. Pontryagin's Principle is applied to the bilinear system to yield a two-point bou