An Offline-Sampling SMPC Framework With Application to Autonomous Space Maneuvers | IEEE Journals & Magazine | IEEE Xplore