Finite-Time Output-Feedback Formation Control for High-Order Nonlinear Multiagent Systems With Obstacle Avoidance | Synapse