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.

• Materias:Planificación de la producción Infraestructura de transportes Ingeniería del transporte Seguridad del transporte Planificación de ruta Capacidad de tráfico
• Subjects:Production planning Transport infrastructure Transport engineering Transport safety Path planning Traffic capacity
• Palabras claves:control del tráfico rodado urbano, tráfico rodado urbano, enfoque, formalismos, limitaciones, enfoque adaptable, comportamientos adaptables, controladores adecuados, técnicas de análisis, estudio de caso
• Keywords:urban road traffic control, urban road traffic, approach, formalisms, limitations, adaptable approach, adaptable behaviours, adequate controllers, analysis techniques, case study