Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations