Modeling and Simulation of Autonomous Intersection Management Protocols
dc.contributor | Aalto-yliopisto | fi |
dc.contributor | Aalto University | en |
dc.contributor.advisor | Tripakis, Stavros | |
dc.contributor.author | El Kadi, Ayman | |
dc.contributor.school | Sähkötekniikan korkeakoulu | fi |
dc.contributor.supervisor | Tripakis, Stavros | |
dc.date.accessioned | 2015-06-24T11:41:20Z | |
dc.date.available | 2015-06-24T11:41:20Z | |
dc.date.issued | 2015-06-10 | |
dc.description.abstract | The advent of autonomous vehicles enables the possibility for autonomous intersection management technologies, which should provide safe, collision-free crossing, while also reducing traffic delays compared to traffic lights or stop signs. This delay reduction is the product of algorithms and communication protocols that make use of increased precision of autonomous vehicles as opposed to human drivers, allowing vehicles to make split-second decisions on their speed while crossing an intersection. Accordingly, deploying such technologies raises concerns about the safe passage of vehicles in an intersection. In this thesis, two autonomous intersection management protocols were studied and evaluated. First, a decentralized protocol called AMP-IP and developed at Carnegie Mellon University was studied. Based on a simulator developed at University of Texas at Austin, we developed a simulation environment for AMP-IP. Through simulations, we show that our model of AMP-IP satisfies the safe passage of vehicles in a four-way cross intersection and decreases the delay faced by vehicles at the intersection compared to a traffic light model. Then, a centralized intersection management protocol called AIM and developed at University of Texas at Austin was modeled in the UPPAAL model checker. Using statistical model checking we show that our model of AIM has no collisions between vehicles crossing a four-way cross intersection. | en |
dc.format.extent | 47 | |
dc.format.mimetype | application/pdf | en |
dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/16859 | |
dc.identifier.urn | URN:NBN:fi:aalto-201506303447 | |
dc.language.iso | en | en |
dc.location | P1 | fi |
dc.programme | TLT - Master’s Programme in Communications Engineering | fi |
dc.programme.major | Networking Technology | fi |
dc.programme.mcode | S3029 | fi |
dc.rights.accesslevel | openAccess | |
dc.subject.keyword | intersection management | en |
dc.subject.keyword | autonomous vehicles | en |
dc.subject.keyword | statistical model checking | en |
dc.subject.keyword | simulation | en |
dc.title | Modeling and Simulation of Autonomous Intersection Management Protocols | en |
dc.type | G2 Pro gradu, diplomityö | en |
dc.type.okm | G2 Pro gradu, diplomityö | |
dc.type.ontasot | Master's thesis | en |
dc.type.ontasot | Diplomityö | fi |
dc.type.publication | masterThesis | |
local.aalto.idinssi | 51857 | |
local.aalto.openaccess | yes |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- master_El_Kadi_Ayman_2015.pdf
- Size:
- 2.41 MB
- Format:
- Adobe Portable Document Format