The leader-following consensus of multiple rigid spacecraft systems | IEEE Conference Publication | IEEE Xplore