Formation Control With Time-Varying Formations, Bounded Controls, and Local Collision Avoidance | Synapse