Spacecraft Attitude Control Using the Invariant-Set Motion-Planner | IEEE Journals & Magazine | IEEE Xplore