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.
Markus Koschi to discuss possible topics for a Bachelor or Master thesis.
- Vanessa Bui. Evaluating the Drivable Area considering Set-Based Prediction. Bachelor Thesis.
- Diana Papyan. Optimal Velocity Profile for Arbitrary Paths. Master Thesis.
- Hannes Bibel. Interaction in Set-Based Motion Prediction. Master Thesis.