Finite-Time Output-Feedback Formation Control for High-Order Nonlinear Multiagent Systems With Obstacle Avoidance | IEEE Journals & Magazine | IEEE Xplore