Time-varying group formation analysis and design for second-order multi-agent systems with directed topologies.