Flocking for multi-agent dynamic systems: algorithms and theory | IEEE Journals & Magazine | IEEE Xplore