Mostrar el registro sencillo del ítem

dc.contributor.authorLin, Shou-pon
dc.contributor.authorMaxemchuk, Nicholas F.
dc.descriptionPublished online December 2014.
dc.description.abstractWe consider the problem of collaborative driving systems in which the vehicles share sensor information and make joint decisions on vehicle control. Such system involves vehicular control, communications links and environment sensing. We propose a multiple stack architecture that is based on the nature of collaborative driving systems. The architecture facilitates the design, implementation, verification and testing of collaborative driving protocol. The advantage of using absolute time in a distributed system is also demonstrated. Specifically, we propose a merge protocol that assists a driver in merging with other vehicles based on the proposed architecture. We create a lock protocol and specify it as an extended finite state machine as a subroutine of the merge protocol. Absolute time simplifies a deadlock-free lock protocol. The lock protocol is verified using probabilistic verification.
dc.publisherTaylor & Francis
dc.titleThe Fail-Safe Operation of Collaborative Driving Systems
dc.typejournal article
dc.journal.titleJournal of Intelligent Transportation Systems: Technology, Planning, and Operations (Special Issue: Cyber Transportation Systems and Connected Vehicle Research)
dc.identifier.doiDOI: 10.1080/15472450.2014.889932
dc.subject.keywordAbsolute Time
dc.subject.keywordCollaborative Driving Systems
dc.subject.keywordMultiple Stack Architecture
dc.subject.keywordProtocol Verification

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