Formation and maneuver control of multiple spacecraft | IEEE Conference Publication | IEEE Xplore