Hybrid controllers for path planning : a temporal logic approach