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:
Bifurcación de Cambio de Carril y Control en Autopista para Tractor-Semirremolque bajo Tiempo Lluvioso
Artículo:
Modelado y mejoramiento de la cadena de suministro de industria manufacturera en países en desarrollo : una agenda de investigación
Artículo:
Análisis de vulnerabilidad de la red de transporte ferroviario urbano teniendo en cuenta el trazado de las vías de las estaciones y el comportamiento de los pasajeros
Artículo:
Comportamientos cooperativos al girar en U y sus repercusiones en el tráfico rodado en un entorno CVIS
Libro:
Recomendaciones táctico operativas para implementar un programa de logística inversa : estudio de caso en la industria del reciclaje de plásticos
Libro:
Metodología del marco lógico para la planificación, el seguimiento y la evaluación de proyectos y programas
Presentación:
Estudio de movimientos y tiempos
Tesis:
Materiales y prácticas de construcción sostenible
Artículo:
Emisiones globales de gases de efecto invernadero provenientes de materiales de construcción residencial y comercial: estrategias de mitigación para 2060