Autonomous Multi-phase Rendezvous, Proximity Operations, and Docking via Model Predictive Control | IEEE Conference Publication | IEEE Xplore