A discrete grid abstraction for formation control in the presence of obstacles | IEEE Conference Publication | IEEE Xplore