Formation flying control for the MMS mission using GVE-based MPC | IEEE Conference Publication | IEEE Xplore