Modeling and Simulation of Autonomous Intersection Management Protocols

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorTripakis, Stavros
dc.contributor.authorEl Kadi, Ayman
dc.contributor.schoolSähkötekniikan korkeakoulufi
dc.contributor.supervisorTripakis, Stavros
dc.date.accessioned2015-06-24T11:41:20Z
dc.date.available2015-06-24T11:41:20Z
dc.date.issued2015-06-10
dc.description.abstractThe 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.extent47
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/16859
dc.identifier.urnURN:NBN:fi:aalto-201506303447
dc.language.isoenen
dc.locationP1fi
dc.programmeTLT - Master’s Programme in Communications Engineeringfi
dc.programme.majorNetworking Technologyfi
dc.programme.mcodeS3029fi
dc.rights.accesslevelopenAccess
dc.subject.keywordintersection managementen
dc.subject.keywordautonomous vehiclesen
dc.subject.keywordstatistical model checkingen
dc.subject.keywordsimulationen
dc.titleModeling and Simulation of Autonomous Intersection Management Protocolsen
dc.typeG2 Pro gradu, diplomityöen
dc.type.okmG2 Pro gradu, diplomityö
dc.type.ontasotMaster's thesisen
dc.type.ontasotDiplomityöfi
dc.type.publicationmasterThesis
local.aalto.idinssi51857
local.aalto.openaccessyes
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
master_El_Kadi_Ayman_2015.pdf
Size:
2.41 MB
Format:
Adobe Portable Document Format