Leader-Following Formation Control With Time-Varying Formations and Bounded Controls for Agents with Double-Integrator Dynamics | IEEE Conference Publication | IEEE Xplore