Consensus algorithms are input-to-state stable
A Coordination Architecture for Spacecraft Formation Control