Output control of spacecraft in leader follower formation | IEEE Conference Publication | IEEE Xplore