Formation Control and Collision Avoidance in Mobile Agent Systems | IEEE Conference Publication | IEEE Xplore