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.
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.
Artículo:
Juego estocástico diferencial en la cadena de suministro de ciclo cerrado con recaudo tercerizado y asuntos de equidad
Artículo:
Definición de tiempos de reserva para sistemas de metro: Un enfoque analítico
Artículo:
Retos de la globalización y del TLC sobre la infraestructura de transporte
Artículo:
Predicción de la vibración de un edificio inducida por un tren en movimiento con Random Forest
Trabajo de curso:
Tecnologías de apoyo a la automatización de la cadena logística