Time-varying formation control for swarm systems with second-order dynamics and switching directed topologies.