Leader-Following Formation Control With Time-Varying Formations and Bounded Controls for Agents with Double-Integrator Dynamics.