Time-varying formation control for multi-agent systems with double-integrator dynamics and jointly connected topologies.