Null-Space-Based Time-Varying Formation Control of Uncertain Nonlinear Second-Order Multiagent Systems With Collision Avoidance