A model predictive control-based approach for spacecraft formation keeping and attitude control | IEEE Conference Publication | IEEE Xplore