Koopman-Operator-Based Model Predictive Control for Constrained Spacecraft Attitude Reorientation

This paper proposes an attitude controller design for spacecraft attitude reorientation with angular velocity limitations, which utilizes the Koopman operator (KO) theory and linear control predictive control (LMPC) approach. The KO theory is utilized to derive a higher-dimensional linear model, which approximates the motion equation of rest-to-rest spacecraft attitude maneuvering. An LMPC scheme is then determined through the solution of an optimization problem that minimizes a quadratic cost function over a prediction horizon while considering the KO model and transformed state constraints. Subsequently, a three-dimensional attitude controller is obtained using the least-squares approach applied to the higher-dimensional LMPC. The proposed strategy is validated through simulations, demonstratina its effectiveness.