Abstractions and Controllers for Groups of Robots in Environments with Obstacles