Discrete abstractions for robot motion planning and control in polygonal environments