Distance- and Velocity-Based Collision Avoidance for Time-Varying Formation Control of Second-Order Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore