Motivation

A great challenge of automated vehicles is to guarantee their safety. Since automated vehicles are operating in unpredictable environments, such as road traffic, their planning methods have to deal with various uncertainties. In particular, the prediction of the future behavior of other traffic participants is a sophisticated task.

Objective

In collaboration with the BMW Group, the CAR@TUM project develops methods which can guarantee the safety of automated vehicles. To consider all unforeseeable events, these methods must be formally verified. We can accomplish this by employing reachability analysis of cyber-physical systems.

The CAR@TUM research project is structured as follows:

• Set-based prediction of other traffic participants: By computing an over-approximation of the feasible occupancies of all surrounding traffic participants over time, we can formally guarantee whether the automated vehicle can possibly collide with other traffic participants.
• Reachable set of the ego vehicle: We propose an algorithm which efficiently computes the safe, reachable area of the automated vehicle in consideration of the ego vehicle dynamics and the occupancy of surrounding traffic participants.
• Safe trajectory planning: Based on the reachable set of the ego vehicle, its driving maneuvers are planned. Our methods can, in contrast to others, formally verify that the planned trajectories are collision-free.
• Falsification of the trajectory planner: A mad driver model will be developed to verify the safety of our approach.
• Validation in the BMW simulator: All proposed methods of the above work packages will be validated in the BMW simulator.
• Experiments with a real vehicle: Finally, the safe maneuver planner will be implemented in an experimental vehicle of BMW to drive on public roads.

People

• Markus Koschi
• Matthias Althoff

Student Projects

If you are interested in this research project, please contact Markus Koschi to discuss possible topics for a Bachelor or Master thesis.

• Ongoing:
  • Kenan Ahmic: Mad Driver Model, Bachelor Thesis.
  • Maxime Allard: Traffic Rules at Intersections for Set-Based Prediction, Bachelor Thesis.
  • Mona Beikirch: Safe Evasive Maneuvers in Urban Environments, Master Thesis.
  • Lukas Braunstorfer: Automatic Generation of Safety-Critical Traffic Scenarios, Bachelor Thesis.
  • Lukas Willinger: Environmental Model with Sensor Limitations in Set-Based Traffic Prediction, Bachelor Thesis.
• Completed:
  • Hannes Bibel: Interaction of Traffic Participants in Set-Based Prediction, Master Thesis, 2017.
  • Vanessa Bui: Evaluating the Drivable Area considering Set-Based Prediction, Bachelor Thesis, 2017.
  • Diana Papyan: Vehicle Turning Constraints for Set-Based Prediction, Master Thesis, 2017.

Publications