Technische Universität München Robotics and Embedded Systems

Automated Vehicles



Automated vehicles will be used in many areas in the future, such as passenger transportation, mining, agriculture, container transport, and many more. In designated areas, automated vehicles are already used today, e.g. the port of Hamburg uses unmanned vehicles for container transportation. Especially in the field of passenger transportation, the research activities have recently increased dramatically due to a number of advantages:

Safety Verification of Automated Vehicles


In order to use automated vehicles in unpredictable environments, such as road traffic, the safety of unmanned vehicles should be formally verified. The objective is to develop methods that can guarantee the safety of autonomous vehicles online, i.e., while the vehicle is in operation. This is required since the safety specification depends on the current scene. The algorithm has to be conservative in the sense that even in the presence of unforeseeable events, safety is guaranteed.


Matthias Althoff