Distributed Formation Navigation of Constrained Second-Order Multiagent Systems With Collision Avoidance and Connectivity Maintenance | IEEE Journals & Magazine | IEEE Xplore