Stable flocking of mobile agents, part I: fixed topology | IEEE Conference Publication | IEEE Xplore