Mode and logic-based switching for the formation flying control of multiple spacecraft | IEEE Conference Publication | IEEE Xplore