Null-Space-Based Prescribed-Time Formation Control With Collision and Obstacle Avoidance | IEEE Journals & Magazine | IEEE Xplore