Formation Control of Multiple Mobile Robots with Large Obstacle Avoidance | IEEE Conference Publication | IEEE Xplore