Spacecraft Docking using Model Predictive Control with STK-based Visualization | IEEE Conference Publication | IEEE Xplore