Time-varying formation control for swarm systems with second-order dynamics and switching directed topologies | IEEE Conference Publication | IEEE Xplore