Distributed Connectivity Maintenance and Collision Avoidance Control of Spacecraft Formation Flying | IEEE Conference Publication | IEEE Xplore