Mostrar el registro sencillo del ítem

dc.contributor.authorKim, Bo Hyun J.
dc.contributor.authorMaxemchuk, Nicholas F.
dc.description.abstractWe present a cooperative driving protocol that assists drivers in merging with other vehicles. We develop a modular architecture that is based upon the multiple hardware and communications platforms that must participate in this type of system. The architecture isolates the lower level functions related to the hardware from the application, and simplifies writing the merge protocol. We specify the protocol as an Extended Finite State Machine and validate it using Probabilistic Verification [1]. We demonstrate that for a wide range of hardware failures, communications failures, and unresponsive drivers, the protocol will not cause an accident. We also show that there may be situations with a very low probability, where the protocol will leave a vehicle in a state where it cannot participate in future merge operations without being reset.
dc.subject.lccQ Science::Q Science (General)
dc.subject.lccQ Science::QA Mathematics::QA75 Electronic computers. Computer science
dc.subject.lccT Technology::T Technology (General)
dc.subject.lccT Technology::TA Engineering (General). Civil engineering (General)
dc.subject.lccT Technology::TK Electrical engineering. Electronics Nuclear engineering
dc.titleA safe driver assisted merge protocol
dc.typeconference object
dc.conference.date19-22 March 2012
dc.conference.placeVancouver, British Columbia, Canada
dc.conference.titleThe 6th IEEE International Systems Conference (IEEE SysCon 2012)*

Ficheros en el ítem


No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem