Safety-Certified Optimal Formation Control for Nonlinear Multiagents via High-Order Control Barrier Function | IEEE Journals & Magazine | IEEE Xplore