Collision Avoidance and Connectivity Preservation for Time-Varying Formation of Second-Order Multi-Agent Systems With a Dynamic Leader | IEEE Journals & Magazine | IEEE Xplore