Biblioteca73.326 documentos en línea

Artículo

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal MethodsUn enfoque innovador para la modelización del tráfico rodado urbano mediante autómatas temporizados y métodos formales

Resumen

El modelado y la implementación de controladores adecuados para el control del tráfico rodado urbano constituyen hoy en día un enorme desafío debido a la complejidad de los sistemas, así como a los posibles escenarios y configuraciones, en cada vía de una ciudad. Es habitual que surjan una serie de problemas relacionados con el modelado de estos comportamientos cuando se utilizan formalismos, herramientas y máquinas de computación para realizar cálculos complejos y con limitaciones. Este trabajo presenta un enfoque formal, flexible y adaptable, sin limitaciones, desde el punto de vista científico. Para ello, se proponen formalismos de modelización (autómatas celulares y autómatas temporizados) y técnicas de análisis (simulación y verificación formal) para alcanzar los objetivos principales de modelización de comportamientos complejos y adaptables en el tráfico rodado urbano con múltiples configuraciones cambiantes en el tiempo. Se presenta un estudio de caso para ilustrar el planteamiento y demostrar en detalle la aplicación ilimitada del enfoque presentado.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento