Herbert G. Tanner Amit Kumar Formation Stabilization of Multiple Agents Using Decentralized Navigation Functions. 49-56 2005 conf/rss/2005 Robotics: Science and Systems http://www.roboticsproceedings.org/rss01/p07.html db/conf/rss/rss2005.html#TannerK05