Andere Kunden interessierten sich auch für
![Learning Car - Das intelligente virtuelle Auto]( "Learning Car - Das intelligente virtuelle Auto")
Learning Car - Das intelligente virtuelle Auto49,00 €![Agent Supported Cooperative Work]( "Agent Supported Cooperative Work")
Agent Supported Cooperative Work125,99 €![Cooperative Information Systems]( "Cooperative Information Systems")
Cooperative Information Systems42,99 €![Non-Central Catadioptric Sensors Auto-Calibration]( "Non-Central Catadioptric Sensors Auto-Calibration")
Non-Central Catadioptric Sensors Auto-Calibration32,99 €![Performance Analysis of Cooperative Networking with Multi Channels]( "Performance Analysis of Cooperative Networking with Multi Channels")
Performance Analysis of Cooperative Networking with Multi Channels141,99 €![Cooperative Driving Systems and Platooning Prototype]( "Cooperative Driving Systems and Platooning Prototype")
Cooperative Driving Systems and Platooning Prototype32,99 €![Grid and Cooperative Computing - GCC 2004 Workshops]( "Grid and Cooperative Computing - GCC 2004 Workshops")
Grid and Cooperative Computing - GCC 2004 Workshops83,99 €
How would it be if in the future, technology could drive cars for us? This will give a complete new meaning to the term auto-pilot. Cars that drive themselves may seem like science fiction but they could end accidents, road rage and make traffic jams a thing of the past. In this study I am taking some of the first steps towards the creation of safe self driving cars by designing a protocol to make all agents found in cars today (GPS, camera, distance sensor) communicate with each other. Through this communication the car's automatic driver agent should be able to steer the car safely in a given route. The simulation tool Webots was used to simulate cars on a highway and to test how they behave when restricted by a simple protocol. A Spin Model Checker was also used to perform further model simulations and verifications. Analysing the protocol through model checking made it possible to recognise weaknesses that would have not been obvious from the simulation alone. This illustrates that model checking is a very useful addition to traditional simulation methods in getting us a step closer to self driving cars. Are you ready for a test ride?