Koopman-Operator-Based Safe Learning Control for Spacecraft Attitude Reorientation With Angular Velocity Constraints | IEEE Journals & Magazine | IEEE Xplore