CoInCiDE - Cooperative and Intrinsically Correct Control of Vehicles in Diverse Environments

Institute: &nbsp;<a href="http://www6.in.tum.de/" title="Opens external link in current window" class="external-link">Robotics and Embedded Systems , Department of Informatics
Professor: &nbsp;<a href="http://www6.in.tum.de/Main/Althoff" title="Opens external link in current window" class="external-link">Prof. Matthias Althoff
Funding Source: &nbsp;Deutsche Forschungsgemeinschaft&nbsp;SPP Project
Funding Period: &nbsp;11/2015 - 10/2018

01.11.2015

The program focuses on intrinsically correct control of cooperating vehicles. The two main aspects are timing of decision making and communication between the cooperating cars, as well as formal correctness guarantees for the controllers under realistic environmental assumptions.