Professional Documents
Culture Documents
CAPITULO 3.
Planificacin de Caminos
Mediante Grafos de
Visibilidad.
3.1. Introduccin.
La planificacin se define como la bsqueda de una ruta libre de obstculos desde
una posicin inicial hasta otra final a travs del entorno de trabajo del robot mvil. Esta
operacin se realiza mediante el uso de la informacin que se posee del entorno
actualmente, la descripcin de la tarea de navegacin y algn tipo de metodologa
estratgica. As, el planificador se define por el modelo del entorno y el algoritmo de
bsqueda utilizado. El caso ms simple consiste en considerar un entorno conocido en su
totalidad, esttico y modelado de forma geomtrica mediante polgonos. Con estas
apreciaciones resulta factible la aplicacin un algoritmo de bsqueda en grafos, que emplee
cierta funcin de coste para la obtencin de la ruta. Sin embargo, la aplicacin directa de
esta metodologa para utilizar la ruta resultante como camino que se debe seguir, implica
efectuar ciertas consideraciones acerca del vehculo. De esta manera, se supone un vehculo
puntual, omnidireccional, y que recorre los caminos consignados de forma perfecta.
Las simplificaciones mencionadas en el prrafo anterior resultan limitaciones que
debern ser eliminadas por los sucesivos mdulos del sistema de navegacin. La
planificacin se constituye como la primera aproximacin al problema de la navegacin, lo
que permite abordar la resolucin del mismo de una forma ms eficiente. Este hecho se
logra por el desacoplo del problema geomtrico de encontrar una ruta libre de obstculos,
de la cuestin de admisibilidad cinemtica y dinmica del camino. De esta forma, la
finalidad de la planificacin consiste en la resolucin del problema geomtrico de localizar
una ruta libre de obstculos, definida como una secuencia ordenada de objetivos, que
conduzca al robot desde la posicin inicial hasta la final. Esto se efecta sin considerar que
la ruta generada posibilite su seguimiento por parte de un robot mvil que no cumpla alguna
de las restricciones mencionadas al final del prrafo anterior.
53
54
g 1 = q a ;g p = q f
(3.1)
() =
S p 1 ( ) si p 2 p 1
(3.2)
55
donde las funciones Si se definen merced a dos nodos consecutivos del conjunto G.
Cada funcin Si es un segmento de la ruta, por ello, si el conjunto G consta de p elementos,
existirn p-1 segmentos. La nica restriccin que debe cumplir la ruta resulta la continuidad
en posicin; por ello, un segmento de la misma se define de la siguiente forma:
S i ( ) = ( 1 i 1 )g i + ( i 1 )g i + 1
g i G
(3.3)
La expresin (3.3) asegura que la funcin sea continua a lo largo de toda la ruta, y
al estar sta construida en base a los arcos del grafo de visibilidad, se garantiza la
pertenencia del conjunto de configuraciones construido a partir de al espacio libre Cl.
q j = S i ( j ) q j C l
(3.4)
56
n1
n5
n3
n8
n4
n7
n6
qf
Partiendo de qa, el conjunto de nodos visibles est formado por {n1,n2,n3}, que
coincide con los nodos que pueden ser unidos en un grafo de visibilidad con qa. Si n3 es el
nodo ms cercano a qf, este ser el nuevo nodo que debe expandirse segn la metodologa
anterior. Con ello, se llega a n6 y desde este se alcanza qf. Como se puede observar, el
algoritmo posee un comportamiento eficaz sobre entornos sencillos. Por ello, puede
considerarse de inters en ciertos tipos de aplicaciones en las que se disponga de un robot
con telmetro. Dicho sensor debe estar capacitado para medir las distancias a las esquinas
de los objetos que se encuentren en el entorno de forma precisa, si se desea aplicar con xito
este mtodo.
Existen fuertes restricciones para llevar este algoritmo a la prctica de la forma
descrita, sin embargo resulta posible utilizar una versin modificada como algoritmo de
planificacin de rutas admisibles. En algunos casos mejora la relacin existente entre el
clculo de la ruta ptima y el tiempo empleado en localizarla, ante la utilizacin conjunta de
un algoritmo de generacin de grafos de visibilidad y bsqueda heurstica tipo A*. La
descripcin de una versin del algoritmo que realiza la planificacin expuesta en los
prrafos anteriores se desarrolla a continuacin.
Las estructuras empleadas en el algoritmo forman dos conjuntos: visitados y
camino, los cuales almacenan los nodos evaluados y el camino actual respectivamente. Por
otro lado, con ambos conjuntos se asocian las operaciones introducir y sacar, definidas a
continuacin.
57
(3.5)
entonces
introducir (n, L) L = { n L }
n = sacar ( L) L = { n 2, , n m } ;n = n 1
(3.6)
Por otro lado, se precisa la operacin visibles, que presenta un nodo como
parmetro y devuelve la lista de nodos visibles desde el mismo.
visibles (n) = { n i N ( n, n i )=1 }
(3.7)
58
(3.8)
59
g3
g2
g4
g5
g1
60
confines del espacio de configuraciones C. El tratamiento que se debe efectuar en cada uno
de estos elementos es diferente, ya que, mientras que los obstculos se expanden hacia
fuera, el polgono lmite sufre una contraccin (Figura 3.3.).
polgono lmite
obstculo
61
P
b3
b2
b1
b2
b1
b1
62
(3.9)
(3.10)
Sea ivj un vector perpendicular a iaj y con sentido hacia el interior del polgono bpi.
Por tanto, se establece que una configuracin qk=(pk,k) pertenece al conjunto bi(q) cuando
para alguna arista iaj se cumple lo siguiente:
i
( ) p + v j = p k
0 c
(3.11)
qk
iv
ia
j
bi
63
(3.12)
64
Para la resolucin de este problema, una vez efectuado el paso i), en el paso ii) se
aaden los puntos de corte entre dos aristas no consecutivas, de forma que se construye un
grafo compuesto por dos tipos de nodos: los vrtices originales del polgono expandido, y
los puntos de corte entre dos aristas no consecutivas. Las aristas se definen como los
segmentos del polgono expandido que unen dos nodos.
En la figura 3.7, se puede observar cmo el grafo define una serie de polgonos
unidos entre s: uno exterior (punteado), y dos interiores (sin puntear). El rea ocupada por
el obstculo expandido se constituye por la unin de las reas definidas por los distintos
polgonos, por tanto, el tercer paso que se incorpora al algoritmo expuesto para polgonos
convexos es el clculo del polgono envolvente que comprende todas las reas. De este
modo:
iii) Eliminar del grafo del polgono expandido las aristas interiores. Se define
una arista interior como aquella en la que al menos uno de los dos vrtices que
la definen es interior al polgono envolvente.
Este paso se realiza con el criterio (3.11) expuesto para determinar si un punto es
interior a un polgono dado. En la figura 3.7 el polgono expandido aparece en trazo grueso.
En la contraccin del polgono lmite se sigue la misma metodologa que para la
expansin de un obstculo, slo que en sentido inverso. As, en el primer paso la
construccin de las rectas paralelas a una determinada arista se realiza a una distancia
65
hacia el interior del polgono. En este caso generalizado de un entorno modelado mediante
un polgono no convexo se calculan los puntos de corte tanto entre dos aristas consecutivas
y no consecutivas. En segundo lugar se realiza el tercer paso, que consiste en la eleccin del
polgono que contiene actualmente al robot.
Polgono 3
Polgono 1
Robot
Polgono 2
En la figura 3.8 se puede observar cmo la contraccin del polgono lmite genera
tres subpolgonos, numerados del uno al tres. El nuevo entorno resulta del subpolgono en el
que se encuentra el robot. Por ello, en la mencionada figura se designa en trazo grueso el
polgono uno como nuevo polgono lmite del entorno.
bi ( q ) C bi ( q )
66
(3.13)
Ello quiere decir que parte del obstculo yace en el exterior del espacio de
configuraciones contrado. La accin que se debe llevar a cabo cuando se verifique la
relacin (3.13) por parte de algn obstculo b*i, consiste en eliminar del espacio de
configuraciones C* las ocupadas por el rea de dicho obstculo:
C
**
= C ( bi ( q ) C )
b i b i ( q ) C b i ( q )
(3.14)
Polgono lmite
Obstculo
Obstculo
Robot
Por este motivo, resulta necesario definir un nuevo conjunto de obstculos B** de
tal forma que sus elementos verifiquen la siguiente expresin:
67
**
**
( i, j ) i j b i ( q ) b j ( q ) =
(3.15)
bi
**
bi
*
bi
= b j bk b j ( q ) bk ( q )
( ( i, j ) i j
*
bi ( q )
*
b j (q)
= )
(3.16)
68
Robot
Aunque esta nueva aproximacin soluciona la dificultad expuesta, por otro lado
complica el problema de la planificacin. Ahora bien, no se trata de un espacio
bidimensional en el cual se puede discernir si una configuracin pertenece o no al conjunto
de configuraciones libres Cl, mediante el empleo del criterio expuesto en (3.11). El espacio
de configuraciones se transforma en tridimensional, por lo que es preciso conocer la
orientacin del robot para discriminar la pertenencia de una de ellas al conjunto de
configuraciones libres u ocupadas. De esta forma, la planificacin, sin olvidar este nuevo
punto de vista (Kedem y Sharir, 1.990), complica el algoritmo general. Sin embargo, se
pueden obtener resultados similares mediante el uso de algoritmos de navegacin basado en
comportamientos (Mandow y otros, 1.994).
3.5. Conclusiones.
En este captulo se ha mostrado el primer paso para la construccin de caminos
para robots mviles. Esta primera aproximacin consiste en la consideracin un robot
omnidireccional que ejecuta los caminos de modo ptimo sin llegar a tener deslizamientos.
De manera que, para este tipo de robots, la nica caracterstica que debe presentar el camino
es que la continuidad en posicin y que una el punto inicial de partida con la posicin final
deseada. Al camino que cumple esta restriccin de continuidad se le ha denominado ruta.
La ruta adems de la caracterstica de continuidad, debe situarse en el espacio libre
de obstculos del entorno de trabajo del vehculo, y estar formada por un conjunto de Q
configuraciones libre del espacio C, definido a partir de una funcin ruta ().
69
70