University of Twente Student Theses
Validating the Maneuver Coordination Protocol with UPPAAL
Leendertz, R.R. (2020) Validating the Maneuver Coordination Protocol with UPPAAL.
|
PDF
317kB |
| Abstract: | In the future, autonomous vehicles will be able to communicate with each other on an ad hoc basis. Using this infrastructure, they will be able to cooperate to improve traffic flow. One recently proposed method to do that is the Maneuver Transport Protocol. In this paper, this protocol is tested for effectiveness through simulation. For this, the modeling tool Uppaal SMC is used. The model abstracts away from right-of-way rules and complex vehicle control. In the end, it is shown that the protocol is effective. Comparison to related work shows that the abstracted model still behaves like actual traffic. The main contribution of this paper is the validation of the Maneuver Transport Protocol with on-the-fly predictions. Other efforts have simulated the protocol but made use of pre-calculated trajectories. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/82021 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page