Model Predictive Control for Collision-free Spacecraft Formation with Artificial Potential Functions | IEEE Conference Publication | IEEE Xplore