Technische Universität München Robotics and Embedded Systems
 

Automated Vehicles

 

Motivation

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

Objective

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.

People

Matthias Althoff

Publications