Abstractions and controllers for groups of robots in environments with obstacles