Descriptif

Drones and robots need to build maps of their environments to plan their motion and navigate. Moreover, enforcing rules and verifying that these moving entities stick to their specifications is essential for safety. This course will focus on safe robot navigation, introduce map building techniques, present motion planning methods and give an introduction to control and verification of the resulting hybrid systems.