Académique Documents
Professionnel Documents
Culture Documents
inteligente en la ciudad
de Bogot para mejorar
los tiempos de recorrido
del sistema Transmilenio*
Franz Joseph Rogelez**
Recibido: 22 de abril de 2013
Aceptado: 12 de junio de 2013
10
Semaforizacin
11
Introduccin
El sistema de transporte pblico masivo de la ciudad de Bogot (Transmilenio) y el transporte
pblico y privado en general sufren grandes atrasos en sus tiempos de recorrido debido a la
movilidad de la ciudad que es traumtica. Esto se debe a un atraso de ms de cincuenta aos
en la malla vehicular que causa diversos problemas que afectan el trfico. Uno de ellos es el
funcionamiento del sistema de semaforizacin, el cual es dinmico porque no se adapta de manera
satisfactoria a las necesidades de la poblacin y no tiene en cuenta el alto volumen de vehculos.
Como una propuesta para disminuir los tiempos y mejorar la movilidad del sistema Transmilenio,
se plante implementar un sistema que implique el desarrollo de inteligencia artificial en el
sistema de semaforizacin. De manera que se cre un algoritmo inteligente capaz de controlar la
duracin del tiempo de cada ciclo (rojo, amarillo y verde) de los semforos en forma autnoma,
controlando as el flujo vehicular y dando prioridad a las vas con mayor congestin. Dicho
algoritmo aprende continuamente de los cambios efectuados en los ciclos de los semforos
respecto al trfico y de esta manera busca obtener los tiempos ptimos para cada uno.
El prototipo creado cuenta con un simulador de un sistema de semaforizacin y un sistema
de trfico para poder experimentar y determinar en qu medida mejora la movilidad al
implementar algoritmos genticos en el sistema de semaforizacin. Este sistema inteligente
captura la longitud de cola vehicular en cada semforo, y da prioridad a las intersecciones con
mayor afluencia vehicular. Luego selecciona los ciclos ms ptimos adaptados al trfico, con
el fin de realizar nuevas generaciones a partir del proceso de aprendizaje de los algoritmos
genticos. Al momento de finalizar el anlisis de ciclos, son realizadas actualizaciones en cada
semforo para volver a ejecutar el proceso, que se describe en detalle a continuacin.
12
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
Aprendizaje de mquina
Los algoritmos genticos proveen un mtodo de aprendizaje
que simula un proceso evolutivo que es sometido a cruces y a
la mutacin de los individuos en este caso los tiempos de
ciclo rojo y verde de los semforos, adems de una seleccin
de los tiempos que mejor se adaptan al sistema de trfico. Se
toman las dos mejores opciones adaptadas de un semforo y son
cruzadas, de manera que el tiempo resultante del cruce, a su vez,
es mutado; luego es actualizado en el sistema de semaforizacin
y posteriormente es pasado por la funcin de adaptacin para
determinar si se acomoda positivamente en el sistema (figura 3).
Los mtodos de seleccin y adaptacin para cada tiempo de ciclo
aplicado en un semforo determinan si contina en el algoritmo y
es cruzado o si es desechado.
De esta forma se crean nuevos individuos (tiempos de ciclo) a
partir de los operadores genticos dentro de una poblacin y por
eso el cruce y la mutacin son tan importantes en el algoritmo.
El cruce toma los dos individuos que mejor se adaptaron y los
cruza mediante el intercambio de material gentico, en este caso
los bits de la cantidad de tiempo de ciclo para cada semforo. La
mutacin voltea bits aleatorios dentro de la poblacin con una
pequea probabilidad, as se genera diversidad en la poblacin,
y el sistema aprende de los tiempos de ciclo que son mejores y
busca constantemente un resultado ptimo.
Se utiliz el estndar de un punto de cruce en cadenas de
longitud fija para realizar el cruce, el cual est dado de manera
aleatoria en la cadena de bits. Por ejemplo, cada tiempo de
ciclo est representado con una cadena de ocho bits que
13
Reloj
Sensor
(Receptor)
Actualiza
nuevos tiempos
semforos
Recolector
densidad
vehicular
Captura tiempos
actuales
Mutacin
(tiempos finales)
Adaptacin
(estado anterior,
estado nuevo)
Cruce
Generador de primera
generacin
(densidad vehicular,
tiempo de desfase,
tiempo de respuesta)
(tiempos adaptados,
nuevos tiempos)
Algoritmo Gentico
14
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
Mutacin
Padres
Hijos
15
5s
+10 s
+15 s
+20 s
Figura 5. Desfase
16
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
Generar ola
verde
Si
Si densidad
es alta
Proceso inteligente
Actualizar
tiempos
Verificar densidad de
trfico en estaciones
prioritarias
NO
Capturar
densidad del
trfico
Recorrer
intersecciones
Calcular
intersecciones
prioritarias
Calcular
tiempos de
disminucin de
trfico
NO
SI
Se disminuye
el trfico
Calcular
impacto
de tiempos
Aprende
Verificar
Cambio
Actualizar
nuevos
tiempos
17
Simulador de trfico
Como desarrollo final de este proyecto se realiz un simulador de trfico para probar que el
algoritmo inteligente que controlar el sistema de semaforizacin cumple con su cometido de
minimizar los tiempos de recorrido del sistema Transmilenio. As, se deja un marco de estudio
en el que se puede pensar ms adelante para implementar en la ciudad y con esto disfrutar de
los resultados de esta investigacin o de futuras investigaciones que pueden tomar como punto
de partida la presente.
El simulador construido se hizo a partir del simulador de Martin Treiber (Germ, Kesting,
Budden y Treiber, 2000), el cual utiliza un modelo inteligente de conduccin (idm, InteligentDriver-Model). Este modelo cuenta con un sistema inteligente que implementa autmatas
celulares para cada vehculo que acta como un ente independiente y, por lo tanto, decide su
aceleracin o desaceleracin dependiendo de los factores del ambiente que lo rodean, que es
muy parecido al ambiente real. Este modelo es explicado en detalle ms adelante.
Alcance del simulador
El alcance actual est determinado por una va principal en la ciudad de Bogot y las calles que la
cruzan. La va principal es la troncal Caracas, entre calle 39, calle 45, calle 53, calle 57 y calle 63. Los
semforos controlados sern los dispuestos en estas intersecciones en ambos sentidos, teniendo en
cuenta cmo operan en la vida real los semforos de estas calles, es decir, en el sentido de sur-norte,
norte-sur, oriente-occidente y occidente-oriente.
Los vehculos en el simulador estn diferenciados de los vehculos pertenecientes al sistema
Transmilenio. Los articulados son de tamao largo y color rojo, y los vehculos particulares son
de tamao corto y color azul. Pese a que en la troncal en la ciudad de Bogot tambin transitan
vehculos particulares, al ser el objetivo de este proyecto el minimizar los tiempos de recorrido
del sistema Transmilenio, el alcance determinado en el prototipo de los vehculos que transitan
por la troncal sern nicamente los vehculos del sistema Transmilenio (los articulados), y solo
vehculos particulares por las calles que lo cruzan.
Interfaz de usuario
Se muestra el simulador que detalla el mapa de las calles y los semforos de las intersecciones. Se
puede observar que cada semforo tiene un id nico que lo identifica y lo ubica en el mapa de
semforos (figura 7).
En la figura 8 de la interfaz del usuario se puede ver que las calles y la troncal estn diferenciadas
por sus nombres, que a su vez estn conformados por el nombre de la calle y el sentido de
orientacin para que de esta manera sea fcil ubicarse en el plano real de la ciudad de Bogot.
Modelo de trfico longitudinal: el idm
El idm es un auto siguiendo el modelo (Treiber, 2011); es decir, el estado del trfico en un
momento dado se caracteriza por las posiciones, las velocidades y el ndice de carril de los
vehculos. La decisin de cualquier conductor para acelerar o frenar depende solo de su propia
velocidad, de la del vehculo del frente y de la del inmediatamente atrs de l. Las decisiones
de cambio de carril, sin embargo, dependen de todos los vehculos vecinos. En concreto, la
18
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
dt
v0
s
19
Donde
s * = s 0 + min 0, vT +
vDv
2 ab
(2)
v
v0
delta
(3)
20
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
1300
Nmero de vehculos
1250
1200
1150
1100
2010
2011
2012
Ao
Informacin base
Troncal
2010
2011
2012
2010
2011
2012
1176
1269
1291
1114
1240
1252
1300
Nmero de vehculos
1250
1200
1150
1100
1050
1000
2010
2011
2012
Ao
Troncal
21
400
350
Velocidad
300
250
200
150
100
Medida
26,08
km/h
63,09
km/h
36,03
km/h
68,06
km/h
50
0
1
11 13 15 17 19 21
Resultados
22
id semforo
10
15
16
31
31
15
10
13
12
15
10
13
12
10
10
11
12
10
13
15
16
14
13
15
15
10
16
40
32
17
13
10
18
12
19
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
45
40
35
30
Semforo
25
Densidad simulacin
20
Densidad algoritmo
gentico
15
10
5
0
1
9 10 11 12 13 14 15 16 17 18 18
Figura 13. Comparacin del promedio de la longitud de cola vehicular de los ciclos de los semforos reales y los ciclos
de los semforos generados por el algoritmo gentico
Fuente: Rogelez (2012, p. 104).
23
manera todo el ao se realizan cambios cada tres, seis o doce meses aunque dependen
eventualmente de estudios del trfico en las programaciones de los tiempos de rojo y verde.
Problemas de implementacin
Al tratar de solucionar los problemas del trfico de una ciudad, en general se habla de
implementar un modelo de optimizacin con un conjunto de parmetros y variables, como
el flujo vehicular, la distancia entre semforos, los tiempos de duracin de los ciclos de los
semforos, y de un objetivo especfico, como la cantidad de paradas de los vehculos, la cantidad
de gasolina gastada, el tiempo total de espera en el semforo. En este caso, y por el alcance dado
inicialmente en el proyecto, se intenta mejorar el tiempo de recorrido de los articulados del
sistema Transmilenio y minimizar el tiempo de espera en los semforos. El problema en s es
bastante denso, ya que interfieren complejas variables en el sistema y unas son dependientes de
las otras. Por ejemplo, si solo se da tiempo de ciclo rojo y verde a los semforos por demanda
de vehculos, significa que a mayor demanda en un semforo ms tiempo tendra en el ciclo
verde y eso causara congestin en las vas contiguas. Con esto podra ocurrir un colapso, ya
que se sobrecarga un punto en el sistema de trfico y en el de semaforizacin. Sin embargo,
la implementacin del algoritmo gentico determina entonces cules tiempos de ciclo rojo y
verde son los ms indicados para ser asignados a cada semforo, y as se elimina esta situacin.
Otro ejemplo es el que tiene que ver con el tiempo del ciclo y el desfase, que son variables
dependientes, lo que hace que al modificar una se tenga que modificar la otra. Por ejemplo, el
sistema tiene que tener en cuenta que el tiempo rojo en un semforo debe contar como el verde
en el semforo contiguo, es decir, que adems de los vehculos en cola en el propio semforo
debe estar atento de los semforos contiguos en la interseccin. Eso en el sistema real es dado
por una caja de control que no permite que en una interseccin todos los semforos estn en el
ciclo verde o en el ciclo rojo al mismo tiempo.
Por otro lado, en la simulacin se estiman variables ptimos. Por ejemplo, el modelo inteligente
de conduccin elimina los accidentes ya que respeta la distancia mnima de seguridad entre un
vehculo y otro, y mantiene una velocidad mesurada al alcanzar un vehculo lento para evitar
acciones de choque. En la vida real esta situacin no se da todas las veces; la mayora de los
accidentes de trfico ocurre por estas circunstancias.
Trabajo futuro
Este trabajo puede ser evaluado para ser implementado en la ciudad de Bogot. Segn los
experimentos realizados la implementacin mejorara la movilidad en un porcentaje ptimo,
aunque estos datos pueden cambiar a favor al aumentar las horas de prueba. Si se desea
implementar, se tienen que tener en cuenta aspectos mencionados en el punto problemas de
implementacin.
En la implementacin real pueden ser creadas futuras investigaciones de cmo el sensor captura
la informacin y de cmo hacerla aun ms valiosa capturando mayor cantidad de detalles. Por
el alcance del proyecto el sensor solo devuelve la cantidad de vehculos, pero sin duda un sensor
24
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
real podr capturar la velocidad de los vehculos y utilizar esta informacin para alimentar el
algoritmo gentico.
Con la informacin captada se podran realizar unas proyecciones del flujo vehicular del trfico.
El modelo quedara completo si se tomaran los procesos estocsticos para realizar esta tarea;
pero solo el hecho de comprender el tema tomara entre uno o dos semestres ms, as que es
bueno tener en cuenta este tem como la continuacin de un proyecto, o como una opcin de
trabajo para la maestra y, por qu no, para el doctorado.
Tambin puede ser mejorado el algoritmo gentico. Por ejemplo, en la investigacin se pudo
observar que el uso de un operador de cruce uniforme puede ser ms eficiente en otros
contextos que el cruce en un punto. Si se probara de esta manera, podra determinar en qu
medida mejora el hecho de cambiar el punto de cruce.
Aunque en esta investigacin se utilizan algoritmos genticos por ser un mtodo de optimizacin
y por ser un mtodo evolutivo que se adapta particularmente a la idea de mejoramiento continuo
al sistema de semaforizacin, no quiere decir que sea el nico mtodo inteligente a utilizar para
la optimizacin de un sistema de semaforizacin. Por ello esta investigacin puede ser tomada
como punto de partida para implementar otros mtodos inteligentes.
Conclusiones
Este prototipo presenta una alternativa para la mejora de la movilidad, aunque para ello se
requiere de una cantidad de informacin real importante que est en manos de Transmilenio y
del Sistema Integrado de Transporte Pblico (sitp), para que los datos simulados se aproximen
ms a la realidad.
Es importante destacar que gracias al simulador de trfico movsim (Germ, Kesting, Budden y
Treiber, 2000) fue posible realizar el experimento, el cual se utiliz para probar el algoritmo
gentico con un trfico simulado. En el marco cientfico el software libre contribuye a la
expansin del conocimiento, y esto ayud para poder comprobar las teoras y los objetivos
planteados en el inicio de este proyecto.
Los resultados del algoritmo gentico, aunque en un principio no parecieron prometedores,
demostraron que el experimento mejorara continuamente el trfico. Se present un 17%
de diminucin de la longitud de cola vehicular, hubo una mejora de 38,1% en la velocidad
promedio y de 7,8% en la velocidad mxima promedio, aproximadamente. Esto llevara
a mejorar la movilidad tanto para los articulados del sistema Transmilenio como para los
automviles particulares. Tambin es importante destacar que estos porcentajes podran ser
mucho mayores por la cantidad de iteraciones del algoritmo gentico; mientras ms veces sea
iterado el proceso de negocio, el resultado ser mucho ms cercano a un resultado ptimo.
El equipo utilizado en las pruebas del experimento tuvo problemas de rendimiento, por ello es
necesario contar con un buen equipo para realizar mejores pruebas que exigen ms recursos de
hardware. Adems, las pruebas realizadas requieren de mucho ms tiempo para tomar buenos
resultados respecto a algoritmo gentico.
25
Aunque la cantidad de vehculos del sistema Transmilenio en las horas pico parece baja, es
importante destacar que se hay que tener en cuenta ciertos factores para cumplir la demanda.
Por ejemplo, se debe mantener una distancia de seguridad entre articulados para evitar acciones
de choque, por eso la cantidad de buses no puede superar un tope, aun en las horas pico.
Los conocimientos adquiridos durante la carrera proporcionan la manera adecuada de abordar
los problemas a los que es enfrentado un ingeniero de sistemas. Las etapas de anlisis y diseo
son mucho ms importantes que la implementacin, ya que proporcionan las bases adecuadas
para realizar un buen proyecto de software, y al momento de llegar a la implementacin son
mucho menos las preguntas que tiene que hacer el desarrollador sobre cmo abordar el
problema.
Las buenas prcticas de desarrollo facilitan la implementacin del cdigo y lo hacen mucho
ms rpido; de igual manera que al momento de llegar al mantenimiento del software se
hace ms sencillo de abordar. La implementacin estadstica en un proyecto de este alcance
facilita la muestra de resultados y da la confianza de que estos resultados estn cercanos a la
realidad.
Eplogo
Ignacio Hernndez Molina
Asesor de Investigacin del Proyecto
Profesor Universidad Piloto de Colombia
En general las universidades tienen dentro de su razn de ser un compromiso con la
investigacin. En trminos kantianos es un imperativo categrico el tener que fomentar
los procesos investigativos, bien sea con la conformacin de semilleros de investigacin,
con el desarrollo de equipos profesionales de investigacin, conformados por sus docentes
y aglutinados alrededor de los centros de investigacin, o a travs de lo que algunos
desafortunadamente siguen considerando anacrnicas tesis de grado o proyectos de grado,
bajo la modalidad de seminarios de investigacin, o talleres de investigacin; en realidad el
nombre es lo de menos, ac lo importante es la teleologa que se persigue en la universidad,
como centro productor de conocimientos.
Desde esta ltima perspectiva, la de generar como dice Gaston Bachelard un espritu
cientfico en el pregrado, en donde surgen inquietudes bastante interesantes y complejas por
parte de los estudiantes, para contribuir a la transformacin de la realidad social de por s ya
bastante dinmica, producto, entre otras cosas, del permanente avance en el desarrollo de las
tecnologas y, para el caso que nos ocupa, de tecnologas de la informacin y la comunicacin.
Bajo estos criterios, de familiarizar al estudiante con el proceso de investigacin, primero
incentivando la imaginacin, luego ensendoles a abstraer los problemas de la realidad, y
luego ponindolos en contexto, surgi la idea en el Taller de Investigacin del Programa de
Ingeniera de Sistemas de la Universidad Piloto de encontrar una solucin al problema de la
semaforizacin en las intersecciones que desembocan en la troncal de Transmilenio, entre las
calles 39 a 63. Esto con el fin de priorizar el paso de los articulados, y que los autos particulares
26
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
Agradecimientos
El autor agradece a Klaus Banse, a Sebastin Thrun, a Peter Norvig, a Ralph Germ, a Arne
Kesting, a Martin Budden, a Martin Treiber, a Dagoberto Saboy, a Erik Schwartz, a Ignacio
Hernndez, a Gilberto Pedraza, a Fredy Prez, a Giovanny Fajardo, a Ibo Cerra, a Fidel Barbosa
y a Andrs Marn por sus contribuciones al proyecto.
Referencias
Azarang, R. y Garca, E. (1996). Simulacin y anlisis de modelos estocsticos (1.a ed.). Mxico:
McGraw Hill.
Baeck, T., Hoffineister, F., y Schwefel, H. A. (1991). Survey of evolution strategies. Proceedings of the
Fourth International Conference on Genetic Algorithms. La Jolla, CA: Morgan Kaufmann.
Banse, K. (2011). Protocolos Its para sistemas de semaforizacin. Recuperado de http://www.sitcolombia.com/download/presentaciones/201109%2029-%20co%20pso%20avante%20
protocolos.pdf
dane (2012a). Estadstica movimiento Transmilenio. Recuperado de: http://www.dane.gov.co/
files/investigaciones/boletines/transporte/anexos_transp_IItrim11.xls 2011
dane (2012b). Distribucin Transmilenio. Recuperado de http://www.dane.gov.co/files/investigaciones/boletines/transporte/bolet_transp_IItrim11.pdf 2011
27
28
Sistema de semaforizacin inteligente en la ciudad de Bogot para mejorar los tiempos de reccorrido del sistema Transmilenio
29