• español
    • English
  • Login
  • español 
    • español
    • English
  • Tipos de Publicaciones
    • bookbook partconference objectdoctoral thesisjournal articlemagazinemaster thesispatenttechnical documentationtechnical report
Ver ítem 
  •   IMDEA Networks Principal
  • Ver ítem
  •   IMDEA Networks Principal
  • Ver ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.

The Fail-Safe Operation of Collaborative Driving Systems

Compartir
Identificadores
URI: http://hdl.handle.net/20.500.12761/1409
ISSN: 1547-2450
DOI: DOI: 10.1080/15472450.2014.889932
Metadatos
Mostrar el registro completo del ítem
Autor(es)
Lin, Shou-pon; Maxemchuk, Nicholas F.
Fecha
2016-01
Resumen
We 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.
Compartir
Identificadores
URI: http://hdl.handle.net/20.500.12761/1409
ISSN: 1547-2450
DOI: DOI: 10.1080/15472450.2014.889932
Metadatos
Mostrar el registro completo del ítem

Listar

Todo IMDEA NetworksPor fecha de publicaciónAutoresTítulosPalabras claveTipos de contenido

Mi cuenta

Acceder

Estadísticas

Ver Estadísticas de uso

Difusión

emailContacto person Directorio wifi Eduroam rss_feed Noticias
Iniciativa IMDEA Sobre IMDEA Networks Organización Memorias anuales Transparencia
Síguenos en:
Comunidad de Madrid

UNIÓN EUROPEA

Fondo Social Europeo

UNIÓN EUROPEA

Fondo Europeo de Desarrollo Regional

UNIÓN EUROPEA

Fondos Estructurales y de Inversión Europeos

© 2021 IMDEA Networks. | Declaración de accesibilidad | Política de Privacidad | Aviso legal | Política de Cookies - Valoramos su privacidad: ¡este sitio no utiliza cookies!