Event-Triggered Control for Nonlinear Uncertain Second-Order Multi-Agent Formation With Collision Avoidance | IEEE Journals & Magazine | IEEE Xplore