Departament d'Informtica

Proyecto de Tesis Doctoral

Estudio y Desarrollo de Estrategias Basadas en el Conocimiento para la Optimizacin de Itinerarios Origen/Destino en una Red de Trfico Urbano

presentado por Julio Pacheco Aparicio

dirigido por Francisco Toledo Lobo

1. Breve estado del arte

Dentro del campo de la Gestin de Trfico, una importante lnea de investigacin se centra en el Anlisis de la Gestin del Trfico dentro del Trfico Urbano. Una coleccin y combinacin de nuevas tecnologas estn siendo prototipadas o testeadas a lo largo de todo el mundo para una mejora en el trfico en general, incluyendo: vehculos, infraestructuras de sistemas y gestin de los mismos. La gestin del trfico se ha abordado hasta ahora fundamentalmente desde el punto de vista del trfico interurbano, donde los elementos a estudiar no son tan numerosos como lo pueden ser en el trfico urbano, con la inclusin un mayor nmero de elementos (se incluyen elementos que no aparecen en el trfico interurbano) y en mayor cantidad en la mayora de las ocasiones. En el trfico urbano la densidad de vehculos (mucho mayor cuanto ms importante es el ncleo urbano objeto del estudio), intersecciones (que se incrementan en los ncleos de poblacin), incidentes (de los que podramos hacer subdivisiones y descripciones de cada uno de ellos; cortes de calles debidos a accidentes, obras, transportes especiales, vehculos propios de una ciudad, etc.), semforos (con la complicada gestin de las intersecciones que gobiernan), etc. Hacen que el estudio sea ms complicado que en el trfico interurbano. La Gestin de Trfico Urbano tiene varias subfunciones, partes de las cuales incluyen: Control de Trfico, Seales de Mensajes Variables (VMS), Gestin de Semforos, Monitorizacin del Trfico, Monitorizacin de la Contaminacin, Guas de Rutas, Regulacin de Accesos Limitados, Gestin de la Red del Transporte Pblico, Gestin de Vehculos de Servicio y Emergencia, Prediccin del Estado del Trfico, Integracin de Datos de Diferentes Fuentes, Establecimiento de Facilidades en el Recorrido de Rutas Origen/Destino, Establecimiento de Seales para Priorizar Servicios Especiales, etc. Hay varios de esos sistemas que estn operando o siendo desarrollados en diferentes partes del mundo, por ejemplo: Sistemas de trfico adaptados coordinados de Sydney (SCATS), Australia; Tcnica de optimizacin de compensacin del ciclo dividido (SCOOT), UK; Control adaptable para la optimizacin de polticas (OPAC) USA; Sistema de gestin de trfico universal (UTMS), Japn; Sistema de control de trfico avanzado (ATC), Japn;

La Gestin de la Demanda busca influenciar la demanda del trfico durante un tiempo dado, as que tal demanda no exceda la habilidad efectiva de la red de trafico/transporte para acomodar los requerimientos en trminos de flujo, retrasos, consumo de energa, polucin exhaustiva, seguridad e intrusin. Esto se puede alcanzar a travs de polticas que busquen otros comportamientos del usuario de los sistemas de transportes en trminos del tiempo, espacio o modo para no exceder la capacidad de la red. Varias tcnicas de la gestin de la demanda estn siendo exploradas en diferentes partes de la Unin Europea. Tcnicas tales como la restriccin de trfico de los coches privados (es decir, coches libres en el interior de la ciudad, limitaciones de velocidad, sistemas de control a zonas de acceso, etc.), son normalmente soportadas para incentivar el uso de transporte pblico o sistemas multimodales.

Pg. 2

2. Objetivos
El Anlisis de la Gestin de Trfico Urbano y la propia Gestin de Trfico Urbano es un aspecto del Trfico en General que est experimentando un gran avance los ltimos aos. Sin embargo, la gran cantidad de aspectos y situaciones que se pueden estudiar hacen que sea un campo de estudio bastante interesante. Como hemos comentado en el apartado anterior, hay varios sistemas que estn siendo desarrollados de los cuales se puede partir para mejorar/desarrollar aspectos que no estn definidos. La Simulacin Cualitativa est teniendo cada vez ms importancia dentro de la Inteligencia Artificial, y ha sido ya ampliamente estudiada. Sin embargo, an quedan bastantes aspectos que no han sido convenientemente resueltos o ni siquiera tratados. Para ello utilizaremos la Programacin Lgica basada en Restricciones (Constraint Logic Programming CLP ). CLP unifica la capacidad declarativa de la programacin lgica con la eficiencia de los resolvedores de restricciones. Un esquema muy potente desarrollado a partir de CLP es resolver restricciones en un dominio particular. En particular es muy interesante el caso de Dominios Finitos (FD), el esquema CLP(FD), que permitir resolver fcilmente un tipo de problemas de restricciones cuyo rango de valores es finito. El objetivo principal de este proyecto de tesis es profundizar en varios aspectos de dicho sistema, al tiempo que colaborar con el desarrollo de las tcnicas del Control del Trfico Urbano. En particular nos centraremos en los siguientes aspectos: Analizar estrategias para poder decidir en momentos puntuales, (crticos) prioridades en recorridos Estudio de los mecanismos del mantenimiento de la razn para problemas relacionados con la diferencia entre los datos de los estudios simulados y los datos recogidos que nos proporcionan los sistemas reales. Buscar un lenguaje para que el operador del sistema pueda decidir que rango de prioridades tienen las calles de sus sistema, bien de forma constante o variable en funcin del trfico en ese momento. Estudio de estructuras de representacin temporal para tratar con la evolucin del tiempo del sistema. Desarrollo de tcnicas de programacin en tiempo real, de forma que se puedan optimizar los posibles conflictos en la red de trfico y que se pueda indicar al sistema las prioridades que se necesitan (o requieren) de unos itinerarios sobre otros, frente a la importancia o no de la acumulacin de vehculos en otras zonas (zonas a las cuales no les importa ni a los operadores del CTU ni al sistema enviar a los coches aunque formen largas colas de espera, puesto que no trasladan ni extienden la congestin a ninguna otra parte de la red de trfico). Aplicacin de las tcnicas estudiadas a problemas reales de Control de Trfico Urbano

Pg. 3

3. Metodologa y plan de trabajo

Para llevar a cabo los objetivos propuestos, podemos establecer las siguientes tareas a realizar, as como la metodologa a seguir en cada una de ellas.

1. Estudio de los Sistemas y Estrategias Actuales 1.1. 1.2. 1.3. 1.4. 1.5. Anlisis de los Sistemas Actuales Estudio de los mtodos y procedimientos que usen dichos sistemas Comparacin de los mismos Estudio de las tcnicas Estudio de las simulaciones

2. Mantenimiento de la razn 2.1. 2.2. 2.3. 2.4. Estudio inicial Comparacin de los mecanismos del mantenimiento de la razn Estudio de los diferentes problemas de la recogida de los datos Enfoque del problema de la diferencia de datos (Datos reales vs. Datos recogidos por los sensores)

3. Tcnicas de Programacin 3.1. 3.2. 3.3. 3.4. 3.5. 3.6. Estudio de las diferentes tcnicas de programacin en tiempo real Anlisis de la bsqueda de un lenguaje que se adapte al sistema con el que trabajemos Realizacin de esas clases para su utilizacin por los operadores del sistema Optimizacin del programa en referencia a la resolucin de conflictos Anlisis de las posibilidades de marcar las diferentes zonas de almacenaje de vehculos Estudio de prioridades de recorridos en los diferentes estados

4. Representacin temporal 4.1. 4.2. Estudio de estructuras de representacin temporal para tratar con la evolucin del tiempo del sistema Comparacin de las diferentes representaciones temporal al tratar con la evolucin del tiempo del sistema
Pg. 4

5. Aplicacin al Control de Trfico Urbano 5.1. 5.2. 5.3. Aplicacin de las Tcnicas Resolucin del problema Aplicacin a diversos sistemas

Pg. 5

4. Bibliografa ms relevante

[Ambrosino G., 1991]

Ambrosino G., Bielli M., Boero M., Fleishcmann S., Hock R., Irgens M. A blackboard model for traffic control operations. Proceedings from Drive Conference, Bruxelles. 4-6 February 1991. Frewirth et al., Constraint Logic Progamming - An informal introduction. TR. ECRC-93-5, 1993. Cuena J. AURA: a second generation expert system for traffic control in th urban motorways. In Proceedings of the 9 International Workshop on Expert Systems and their Applications EC2, Avignon, May 1989. Cuena J. "El sistema Experto AURA para control de Trfico en Accesos Urbanos". Universidad Politcnica de Madrid, 1989. Cuena J., Molina M., Martin G. An architecture for Knowledge-based traffic management for the Expo-92 Sevilla urban ring. In Proceeding of the 2nd OECD Workshop on Knowledge-Based Expert Systems in Transportation, Montreal, Canada, June 15-17, 1992. Garca L.A. "Arquitecturas de Pizarra. Definiciones, Antecedentes, Evolucin e Implementaciones". DI 04-07/96. Informe Tcnico Departamento de Informtica de la Universidad "Jaume I" de Castelln. 1996. J. Giarratano, G. Riley. Expert systems principles and programming. Col. Computer science Expert systems. Boston : PWS, 1998. Godfrey D., Nwagboso C., Ball R., Davies D. IMI Land Transport Telematic Programme Recommendation for Focused Call. Engineering, Physical and Science Research Council Report, UK, 1996. Irgens M., Bielli M., Ambrosino G, Boero M., Fleishcmann S., Hock R. Artificial intelligence and expert systems: Towards the application to road traffic control; OECD Workshop on Knowledge-based Expert Systems in Transportation, Vol 1 (Heikki J., ed.). Finland: VTT, Espo, 1990. Irgens M., Bielli M., Boero M., Fleishcmann S., Hock R. Towards intelligent urban traffic control. Proceedings, OECD Workshop on Knowledge Based Expert Systems in Transportation, 1990. Krogh C.: SPGen an inference engine for signal plan generation. Proceedings from 2nd OECD Workshop on Knowledge Based Expert systems in Transportation, Montreal Canada, June 1992. B.J. Kuipers. Qualitative simulation. Artificial Intelligence 29: 289-338. 1986. B.J. Kuipers. Qualitative simulation: then and now. Artificial Intelligence 59: 133-140. 1993.
Pg. 6

[Frewirth 93] [Cuena J., 1989 (1)]

[Cuena J., 1989 (2)] [Cuena J., 1992]

[Garca L.A., 1996]

[Giarratano J., 1998] [Godfrey D., 1996]

[Irgens M., 1990(1)]

[Irgens M., 1990(2)]

[Krogh C., 1992]

[Kuipers B.J., 1986] [Kuipers B.J., 1993]

[Martn G., 1988]

G. Martn, F. Toledo, V. Sanchez-Barcaiztegui, J.C. De la Rosa, "Vanesa: Una aplicacin de los sistemas basados en el conocimiento de la gestin del trfico urbano de Valencia". Tecnotrafic 88, Madrid. 1988. Moreno S., Toledo F., Rosich F., Martn G. Qualitative simulation for th temporal reasoning in urban traffic control. In Proceedings of the 10 International Conference on Expert systems and their Applications, EC2, Avignon, France, 1990. Nii HP. Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine 1986; 7: 3853. Nii HP. Blackboard systems: blackboard application systems, blackboard systems from knowledge engineering perspective. AI Magazine 1986; 7: 82-106.

[Moreno S., 1990]

[Nii HP, 1986(1)]

[Nii HP, 1986(2)]

[Nwagboso CO., 1993] Nwagboso CO. Automotive Sensory Systems. London Chapman & Hall, 1993. [Nwagboso CO., 1997] Nwagboso CO. Advanced vehicles and infrastructure systems computer applications, control, and automation. Chichester John Wiley & Sons 1997. [Ott GD., 1997] [Ritchie SG., 1990] Ott GD. Vehicle location in cellular radio systems. IEE transactions on Vehicular Technology 1977; 26, (1) 43-60. Ritchie SG. A Knowlegde-based decision support architecture for advanced traffic management. Transportation Research 1990; 24: 2737. Office of Science and Technology. Technology Foresight (Transport): Progress Through Partnership. London, 1995.
nd Scorer T. The current status of the securior datatrak system. 2 International Conference on Road Vehicle Automation, 11-13 September 1995.

[Science, 1995] [Scorer T., 1995]

[Shanahan M., 1990] [Sheild TR., 1991]

Shanahan M., "Representing Continuous Change in The Event Calculus". In proceedings ECAI90, pages 598-603. Sheild TR. Programme and technology of IVHS-America. Communication Techniques in Road Traffic Informatics, Proceedings of the DACAR Conference, Rome and Brussels. Amsterdam: Bakkenist Management Consultants, 1991. Catling I, Op de Beek F, Casimir C, Mannigs R, Zijderland F, Zechnall W, Hellaker J. SOCRATES: system of cellular radio for traffic efficiency and safety. Advanced Telematics in Road Transport: Proceedings of the DRIVE Conference, Brussels. Amsterdam: Elsevier, 1991. F. Toledo, S. Moreno, F. Rosich y G. Martn, "Anlisis de dos modelos basados en confluencias para el razonamiento cualitativo en una red de trfico urbano". 1990.
Pg. 7

[SOCRATES , 1991]

[Toledo F., 1990]

[Toledo F, 1991]

Toledo F, Moreno S, Rosich F, Martn G. "Qualitative Simulation in Urban Traffic Control: Implementation of Temporal Features", Proc. IMACS International Workshop on Decision Support Systems and Qualitative Reasoning, Tolouse 1991, Singh M.G. & Trav-Massuys L. eds., North-Holland Amsterdam, pp. 395-400. Toledo F, Moreno S, Martn G. "An application of (Lambda T) formalism for handling systems with continuous change: the many tanks problem case-study. Qualitative Reasoning and Decision Technologies, CIMNE Singh M.G. & N. Piera Carret eds., Barcelona, pp. 419-428. Van Hentenryck, P, Constraint Satisfaction in Logic Programming. The MIT Press, 1989.

[Toledo F, 1993]

[Van Hentenryck 89]

Pg. 8