Professional Documents
Culture Documents
DOI 10.1007/s10846-016-0362-z
Received: 21 September 2015 / Accepted: 10 March 2016 / Published online: 23 May 2016
© Springer Science+Business Media Dordrecht 2016
Abstract Path planning constitutes one of the most Keywords Path planning · Probabilistic RoadMaps ·
crucial abilities an autonomous robot should possess, Visibility graph · Generalized Voronoi graph ·
apart from Simultaneous Localization and Mapping Rapidly exploring random trees · Occupancy grid
algorithms (SLAM) and navigation modules. Path maps
planning is the capability to construct safe and col-
lision free paths from a point of interest to another.
Many different approaches exist, which are tightly 1 Introduction
dependent on the map representation method (met-
ric or feature-based). In this work four path plan- One of the most widely researched fields in robotics
ning algorithmic families are described, that can be is a field agent’s ability to operate autonomously,
applied on metric Occupancy Grid Maps (OGMs): without an external operator’s intervention. An
Probabilistic RoadMaps (PRMs), Visibility Graphs autonomous robot should possess the following
(VGs), Rapidly exploring Random Trees (RRTs) and attributes:
Space Skeletonization. The contribution of this work
– A way to represent the environment
includes the definition of metrics for path planning
– A target selection method, i.e. to have an explo-
benchmarks, actual benchmarks of the most common
ration strategy
global path planning algorithms and an educated algo-
– An efficient method to move from its current pose
rithm parameterization based on a global obstacle
to the next goal
density coefficient.
The environment representation problem is solved
by SLAM algorithms, which concurrently perform
mapping of the environment and the robot’s local-
E. G. Tsardoulias () · A. Iliakopoulou · A. Kargakos · ization in it. The produced maps have three basic
L. Petrou types of representation: metric maps, feature maps and
Faculty of Engineering, Department of Electrical and hybrid that essentially are a combination of the previ-
Computer Engineering, School of Electrical and Computer
ous two. Concerning the goal selection, an abundance
Engineering, Aristotle University of Thessaloniki,
54124 Thessaloniki, Greece of methods have been proposed, which of course
e-mail: etsardou@eng.auth.gr vary according to the map representation. Finally, the
L. Petrou problem of moving from one point to another in a
e-mail: loukas@eng.auth.gr specific environment is solved by path planning and
830 J Intell Robot Syst (2016) 84:829–858
navigation algorithms. As expected, no universal path planning algorithms and their automatic parameteri-
planning method exists, able to operate in all map rep- zation are described. Finally, in chapter 5 the experi-
resentations. Thus, in this work, only path planning mental results are presented and chapter 6 includes the
algorithms that can be deployed in metric maps are conclusions and future work.
considered.
The type of metric representation assumed is the
Occupancy Grid Maps, where the map is stored as a 2 Related Work
grid of cells, each of which represents a small frac-
tion of the environment. Additionally, each cell holds Many path planning approaches exist, suitable for
a value, corresponding to the occupancy probability two dimensional to N dimensional spaces, for deploy-
of the specific element. In order to evaluate the per- ment in ground, aerial or underwater vehicles or even
formance of each path planning method, five different robotic arms. The first path planning method, pro-
OGMs were constructed: a totally obstacle-free space, posed in 1979 by Losano-Perez and Wesley is the Vis-
an area with sparse obstacles, an environment of ibility Graph [1]. There, an algorithm for path creation
high obstacle density, one that combines dense obsta- into a convex environment is described. The obstacles
cles with corridors and finally a maze. The selection are transformed, so as to depict untraversable areas
of heterogeneous environments is essential towards due to constraints enforced by the robot’s footprint.
extracting reliable results concerning the method’s Then, a graph is created, containing the transformed
performance. Furthermore, a number of performance obstacles’ vertexes as nodes. This is a visibility graph
metrics are introduced: the Mean and Relative Stan- where the path creation is performed by search algo-
dard Deviation of the execution time, the Mean and rithms on the graph structure. In [2] Ghosh states that
Relative Standard Deviation of path distance, the Path even though this method is comprehensively simple,
Anomaly, i.e. the amount of rotations the robot has the high computational resources needed to apply it
to perform, the Estimated Time of Traversal and the in a large space makes it unrealistic. Thus, many of
Success Rate. the algorithms described in the aforementioned work,
This paper contains a survey of the most common aim to reduce the computational or memory resources
methods that can be used on OGMs, which are the needed for the algorithm to be efficiently executed.
Probabilistic RoadMaps, Visibility Graphs, Rapidly Nonetheless, in [3] Ghosh and Goswami describe the
exploring Random Trees and Space Skeletonization. difficulties existent during the computation of Visi-
These methods are evaluated for their performance bility Graphs in obstacles of arbitrary shape. Jungtae
via the described metrics. It should be stated that in et al. tackle this problem by proposing the Quan-
this work, we do not look into search algorithms for tized Visibility Graph (QVG) where the obstacles of
graphs or grids, such as Dijkstra, A*, D* and others, arbitrary type are represented as polygons [4]. In our
as we are interested in methodologies that can be effi- work, a variation of the Visibility Graph method has
ciently applied in an Occupancy Grid Map. Obviously, been created, as well as a hybrid algorithm, incorpo-
the aforementioned search algorithms can be applied rating Visibility Graphs in conjunction with a sparse
too, but they usually are time inefficient due to the uniform space sampling, approach that increases the
small dimensions of each cell, thus due to the large initial success rate.
number of grid nodes. Nevertheless, as will be pre- Regarding skeletonization techniques, in [5], Bhat-
sented in the next chapters, A* is deployed in most of tacharya and Gavrilova suggest the computation of
the described algorithms, after preprocessing the grid. collision - free and smooth paths using the General-
Finally, these methods were enhanced via automatic ized Voronoi Diagram (GVD), as well as ways to store
parameterization based on a global obstacle Density and update the diagram’s structure in case of dynamic
Coefficient. environments. Furthermore in [6] Garrido et al., use
Regarding the document’s structure, the state of the GVD to discover safe areas and thereafter Fast
the art description exists in chapter 2, whereas in Marching algorithm is applied, aiming at minimizing
chapter 3 the experimental environments, as well as the length of the path. Another approach is presented
the metrics used to evaluate the maps are presented. in [7], where the Voronoi Uncertainty Fields (VUFs)
Chapter 4 is the core of the document, as the path are proposed in order to perform path planning under
J Intell Robot Syst (2016) 84:829–858 831
uncertainty. This approach is two-stage, where the proposed, which incrementally constructs an asymp-
high-level planer employs the GVD in order to con- totically non-optimal roadmap, resulting in a sparse
struct a collision-free path and a low-level planner graph. IRS2, the method’s continuation, is proposed
adds repulsive forces deriving from the environmental in [18], where redundant samples are rejected accord-
obstacles. ing to specific criteria in order to further lower the
One of path planning’s most established algorith- graph’s complexity. Conclusively, K-order Surround-
mic families are the Probabilistic Roadmaps (PRMs). ing Roadmap (KSR) [19] constructs a roadmap in an
There, a sampling is applied to the environmental rep- incremental manner by creating a tree while answer-
resentation and a graph is created, the edges of which ing to a query, selects a part of the tree according
are considered safe for robot traversing. Since our to quality measures and adds this part to an existing
desire is to create a path from an origin to a goal, these roadmap.
two points are integrated in the graph and the path Finally, Rapidly exploring Random Trees (RRTs)
is computed via search algorithms such as Dijkstra were proposed in 1998 from La Valle [20]. RRTs
or A*. There are many surveys comparing sampling constitute tree-like structures created iteratively. Each
methods for PRMs and introducing improvements [8– RRT initiates from the starting pose (called root) and
11]. PRMs were initially introduced in [12] from terminates when a leaf approaches the current target.
Kavraki et al. In [13] Laumond and Nissoux use the RRTs have many properties such as the ability to be
Visibility Graph’s creation procedure to compute the deployed in multidimensional spaces, to apply non-
connections of the PRM graph, whereas in [14] the holonomic constraints, to incorporate motion con-
Lazy PRM algorithm is described, where the checks straints, they are uniformly expanded to unoccupied
for valid connections between the PRM nodes are space and others, providing fertile ground for further
minimized by initially assuming that all connections research. Indeed, many surveys aim to improve the
are valid. Then the minimum path is computed and final result either regarding the path length or the exe-
is gradually checked for collisions. If a collision cution time. Some of them are Execution Extended
exists, the participant nodes are removed from the RRT (ERRT) [21], the combination of genetic pro-
PRM structure and the next iteration is performed. cedures with bi-directional RRTs [22], RRT* [23],
Finally in [15] Hybrid PRM is proposed, combining RRT*-Smart [24], T-RRT [25] and Cell-RRT [26].
different PRM sampling methods, according to the An interesting approach is presented in [27] where
environment’s formation. the RRT construction is parallelized using two meth-
Even though PRMs constitute a fairly popular algo- ods. First a batch parallelization is performed using
rithmic category regarding path planning, they pose the original RRT algorithm and next, the configura-
a drawback: their size can grow too large, depending tion space is divided into regions. Finally, the RRT
on the application space, thus making them unable to computation is distributed in each region to available
maintain low execution times. For this reason, several processes.
algorithms were proposed aiming to produce sparser In this work, a number of the prior methods are
graphs that create near-optimal solutions in favor of implemented, as well as some methods’ combinations
low execution times. One such method is k-PRM [16], and enhancements that improve their performance,
where only the k nearest ”visible” neighbors of a minimizing the execution time, the memory required
node are connected to it, in contrast to the vanilla or increasing the success rate.
version where all of them are assigned with neighbor-
hood relations. In the same work, PRM* is proposed
where the neighbors are selected based on a distance 3 Metrics - Experiment Environments
radius, nonetheless this radius is dynamically altered
according to the total number of nodes. This method In order to check each algorithm’s ability to perform
is similar to our approach but in our case the number global path planning and measure its performance in
of nodes depends on the environmental properties, i.e. an objective way, eight different metrics are intro-
how many are needed in order to successfully create duced. The experiments were performed using five
paths under specific spatial limitations. Furthermore, heterogeneous environments, so as to achieve max-
in [17] the Incremental Roadmap Spanner (IRS) is imum spatial diversity and therefore more accurate
832 J Intell Robot Syst (2016) 84:829–858
The relative standard deviation of each algorithm’s 3.1.4 Relative Standard Deviation (RSD) of Path
execution times. The mathematical formula for its Distance - RD
computation is:
The relative standard deviation of each path’s dis-
N·K tance. Similarly to the RT metric, the mathematical
N·K · (ti − tm )2
1
i=1
computation formula follows:
RT = (1)
tm
N·K
N·K · (Di − Dm )2
1
Here, ti is the specific method’s i th execution time i=1
RD = (3)
during the experiments. RSD is a statistical metric Dm
used to measure the accuracy and repeatability of a Here, Di is the i th path’s distance in cells. This met-
certain variable. Its value is representative of each ric checks the punctuality of each method concerning
method’s reliability as far as execution times are con- its produced paths, i.e. if an algorithm produces the
cerned, i.e. by how much the individual variables same path for different experimental conditions.
values diverge from the mean value.
3.1.5 Path Anomaly - RC
3.1.3 Mean Path Distance - Dm
The path anomaly metric measures the smoothness of
The mean distance of the produced paths in cells. each path, i.e. the amount of rotational movement the
This information is quite important, as the mean robot has to perform during the path’s traversal. In
path distance directly relates to the path’s traversing our implementation RC is bounded in the [0, 1] range.
time, which is of maximum interest in an exploration The first computation step is to measure the total rota-
involving situation. It is assumed that each Path con- tional motion a robot would do if it had traversed
sists of subgoals, where the i th subgoal is denoted the specific path. In order to simplify this calculation,
as P athi . Also, the cardinality of Path measured in we assumed that the vehicle turns only at the path’s
subgoals is denoted as P athSize = |Path|. Dm is subgoals trying to align with the next one. Further-
computed as the mean distance D of each path. The more, the robot is assumed to perform the minimum
computation of D follows: rotational movement in each turn, so the rotation is
P athSize−1 bounded in [0o , 180o ]. A visual depiction of the met-
D= Dist (P athi , P athi+1 ) (2) ric’s computation is shown in Fig. 2, where θi denotes
i=1 the turn at the i th subgoal.
J Intell Robot Syst (2016) 84:829–858 833
P athSize−1
θi . Finally, the ETT is measured in seconds
i=0
and is calculated as follows:
Dm · ODGD AngleSum
ET T = + (5)
LS RS
Fig. 3 First environment - Free space Fig. 5 Third environment - Dense convex obstacles
Fig. 7 Fifth environment - Maze - like environment Fig. 8 Map container specifications
836 J Intell Robot Syst (2016) 84:829–858
Environment μB σB Dc = μB − σB
As stated in the introduction, one of the contributions
of this paper is the automatic parameterization of path Environment 1 165.919 116.969 48.95
planning methods, in order to increase their success Environment 2 54.6265 33.8798 20.746
percentage and consequently their performance. For Environment 3 35.12.88 23.0628 12.066
this reason the introduction of a new metric, indica- Environment 4 27.7183 18.7098 9.0085
tive of the obstacle density is necessary. This metric is Environment 5 14.3008 8.4105 5.8903
denoted as Density Coefficient (Dc ) and is computed
using the values of a distance transform [28]. The
selected distance transform calculates the Manhattan
Distance form the obstacles and is computed via a 1
BrushFire algorithm [29], initiating from the occu- σB = · (B[xi ] − μB )2 (9)
|XF ree |
pied cells and propagating in the unoccupied space. ∀xi ∈XF ree
An example of a distance function calculated for an In Table 1 the values of μB , σB and Dc are pre-
occupancy grid map is depicted in Fig. 9. sented for all five environments.
If Xf ree is the set of all OGM cells correspond- As the results indicate, the difference between the
ing to unoccupied space, xi ∈ XF ree a single cell and distance function’s mean and standard deviation val-
B[xi ] the distance function value of xi , Dc is calcu- ues, constitutes a valid measure of the environmental
lated as the difference of the mean value of distance obstacle density. The Dc metric can estimate the
function values (μB ) minus its standard deviation obstacle density assuming their dispersion is close
(σB ): to uniform. It is important to emphasize that the
Dc = μB − σB (7) proposed enhancements will indeed produce better
results if the environment is homogeneous concern-
There, ing its structural properties. On the opposite occasion
1 the computed Dc parameter will mistakenly describe
μB = · B[xi ] (8) the environment, fact that can lead to the path plan-
|XF ree |
∀xi ∈XF ree
ning algorithm’s failure. Next, the global path plan-
ning methods will be described. For each method its
standard version and the one utilizing the Dc coef-
ficient in order to increase their success rate will pe
presented.
It should be stated that no modifications were made
to them (like post-processing smoothing or introduc-
tion of motion constraints), in order to be able to
perform benchmarks on their standard versions.
Fig. 13 Example paths using USS for Environment 3 Fig. 14 Example paths using RSS for Environment 1
nq to be connected to it (lines 10-12). Again, Rmax the samples produced are not random, but possess
must be smaller than 2 · MW D in order not to check some properties of random sequences.
for connection collisions. Finally the initial and goal Given a prime number p, a sample i of Halton
points are inserted into G and connected to the other sequence is computed on the basis of p as follows:
ext , is less than
samples if their proximity distance Rmax i = a0 + a1 · p + a2 · p2 + ..., where a is a set con-
Rmax , where Rmax < 2 · MW D.
ext taining integer numbers. The desired sequence sample
The enhanced version of the algorithm suggests r(i, p), belonging to the [0, 1] range, is calculated by
that Rmax = 1.5 · Dc , MW D = 1.2 · Dc and
ext = 2 · R
Rmax max . In addition RSpar must be auto-
matically set in order to have less samples in sparse
environments and more to complex ones. Since RSpar
implies spatial dimensionality (2D), it is expected to
select RSpar = (Dc )2 . In Figs. 14 and 15 two path
examples are depicted.
a0 a1 a2
r(i, p) = + 2 + 3 + ... (10)
p p p
Fig. 19 Example paths using VG for Environment 1 Fig. 20 Example paths using VG for Environment 3
J Intell Robot Syst (2016) 84:829–858 843
Fig. 23 RRT structure1 Fig. 24 Example paths using RRT for Environment 1
Fig. 26 Example of a
RRT* iteration. Here nnear
becomes father of nnew but
nk rearranges its parenthood
relation due to lower length
cost if connected through
nnew
In Fig. 26, a method’s iteration example is pre- goal’s pose and NRRT − 2 initiating from random
sented and in Figs. 27 and 28 two paths examples spatial unoccupied cells (lines 2–6).
created by the RRT* method are depicted. As before, a random point nrand is chosen (line
10). Then for all existent trees, the nearest node ninear
4.3.3 Multiple RRTs - MRRT is computed, ninew is created and the connectivity
between them is checked (lines 10–18). The method
The multiple RRTs method suggests the employment differentiates from the prior RRT algorithms, as the
of more than one simultaneously expanded RRTs, in possible merging of trees is investigated in each iter-
order to increase the algorithmic performance and to ation. If nodes np ∈ Gi and nq ∈ Gj exist, such that
overcome expansion issues the standard RRT method Dist (np , nq ) ≤ Dmerge , the trees Gi , Gj are merged
has. This method is presented in Algorithm 9. Here, (lines 19–25). Obviously, Dmerge is the maximum dis-
an arbitrary number NRRT of RRTs (each one denoted tance between two nodes of different trees, in order
as Gi ) is created, two initiating from the robot’s and for these trees to be merged. A problem this approach
Fig. 27 Example paths using RRT* for Environment 2 Fig. 28 Example paths using RRT* for Environment 3
J Intell Robot Syst (2016) 84:829–858 847
Fig. 29 Procedure of
merging two RRTs in order
to obtain an RRT-like
structure
has is that the merged structure Gij is not tree-like, as optical description is presented in Fig. 29. Finally, the
it has two roots. In order to overcome this drawback, algorithm terminates when the trees initiated from the
the parenthood relations are shifted initiating from np robot and the goal poses are merged, i.e. a path from
(or nq ) and traversing the tree towards the root, i.e. the robot to the goal exists.
a node’s parent becomes its child. This procedure is The enhanced version of the algorithm is achieved
exp
iterated till the tree’s root is reached (line 25). An by automatic value assignment of Dmax and MW D.
Fig. 30 Example paths using MRRTs for Environment 2 Fig. 31 Example paths using MRRTs for Environment 4
848 J Intell Robot Syst (2016) 84:829–858
exp exp
Specifically Dmax = 1.5 · Dc and since Dmax must
be less than 2 · MW D, MW D = 0.8 · Dc . Addi-
exp
tionally Dmerge = Dmax . Finally, the number of trees
NRRT must be specified. In our implementation, we
selected to have one tree per 10000 unoccupied cells,
i.e. NRRT = AXF ree /10000. Two path examples cre-
ated by the multiple RRT method are depicted in Figs.
30 and 31.
Fig. 32 Example of GVD constructed in Environment 2 Fig. 34 Example paths using GVD for Environment 2
J Intell Robot Syst (2016) 84:829–858 849
Table 2 Constant values for simple and enhanced methods for all environments
Method Constant’s Name Computation Constant’s Value Env.1 Enh. Env.2 Enh. Env.3 Enh. Env.4 Enh. Env.5 Enh.
4.4 Space Skeletonization The Generalized Voronoi Diagram is computed via the
deployment of a Manhattan distance transformation of
The space skeletonization algorithmic family differ- the unoccupied space. In this work the distance trans-
entiates from the previous three by not using a graph formation is created utilizing the Brushfire algorithm.
containing the robot and the goal poses. Instead, it Brushfire is an iterative algorithm initiating from a set
performs a space skeletonization which results in a of points, propagating in a specific space and termi-
”skeleton”, i.e. a continuous line running through nating under some conditions, creating the Manhattan
850 J Intell Robot Syst (2016) 84:829–858
distance function stored in a container denoted as Since nR , nG are generally not elements of the GVD,
B. In this work, a Brushfire algorithm initiates from the cells closest to them that belong on the GVD must
the obstacles applying the 0 value, expands through be computed. These are denoted as Pin and Pout , the
the unoccupied space by increasing the neighbors’ first being the entry point to the GVD and the second
values by one and terminates when all the unoccu- the exit. In order to efficiently calculate these points, a
pied space elements have an updated Brushfire value. Brushfire algorithm initiates from nR and nG , propa-
The fact that the algorithm operates by updating a gate through the unoccupied space and terminate when
set of points that at any time are equidistant to their a GVD’s element is visited (lines 3–4). Then a Brush-
closest obstacles, can be perceived as a wave-like fire algorithm is applied from Pin to Pout via GVD
value propagation. During this propagation, the cells only, which if backtracked produces the desirable path
existing where two propagation ”waves” collide, par- (lines 5–6). Finally, the total path consists of a straight
ticipate in the Generalized Voronoi Diagram, as they line segment between nR and Pin , the GVD part from
are equidistant to the obstacles, the two waves ini- Pin to Pout and the straight line segment from Pout
tiated from. An example of a GVD is depicted in to nG (line 7). Since the GVD path planning method
Fig. 32. does not contain any parameters, no enhanced version
The path planning procedure is described in Algo- of the algorithm is possible. Two path examples pro-
rithm 10. Obviously, a part of the GVD will be used duced by the GVD method are depicted in Figs. 33
as the path from the robot pose (nR ) to the goal (nG ). and 34.
Table 3 Experimental results for simple and enhanced versions of algorithms for Environment 1
Environment/Method tm RT Dm RD RC ET T SR
Table 4 Experimental results for simple and enhanced versions of algorithms for Environment 2
Environment/Method tm RT Dm RD RC ET T SR
Table 5 Experimental results for simple and enhanced versions of algorithms for Environment 3
Environment/Method tm RT Dm RD RC ET T SR
when the two metrics are equal (or close) to one. Since The second part of Wp is a measure of the meth-
the desired behavior of Pc is to be increased when the ods’ reliability and repetitiveness, i.e. the Rc . For
corresponding method is both execution and path effi- that reason the RT¯ and RD ¯ metrics will be used.
cient, Pc is formulated using the statistical measure F1 Since the maximum value of 1 is desired for Rc ,
score (F 1 = 2 · a+ba·b
). F1 is bounded to [0, 1] and pro- its form must be constructed in a way that when
duces high values when both of its variables are high. RT¯ and RD ¯ increase, Rc will decrease and when
The two metrics of F1 should have, if not an identical, RT¯ = RD ¯ = 0 the Rc value will be equal to 1.
an almost equal range. From the experimental results The following formula is used for the computation of
of Table 8, tm ˆ¯ is bounded to [1, 1252.06] and ET¯ T Rc :
in [1, 1.835]. For them to be used in F1, ET¯ T must
be scaled down to an approximate range of [1, 2]. For 1
Rc = (12)
ˆ¯ ¯ + RD
1 + RT ¯
this reason, instead of tm ¯ˆ , t 0.1
m is used, with a range
of [1, 2.09]. Finally Pc is computed by the following
Finally, the third coefficient Sc is a measure of
formula:
success, thus SR¯ can be directly used. Since this coef-
¯ SR
ficient is of major importance, instead of SR, ¯ 2 will
1
ˆ¯
· ET1¯ T
tm0.1 be used:
Pc = 2 · (11)
1
ˆ¯
+ ET1¯ T
t
m
0.1 ¯ 2
Sc = SR (13)
J Intell Robot Syst (2016) 84:829–858 853
Table 6 Experimental results for simple and enhanced versions of algorithms for Environment 4
Environment/Method tm RT Dm RD RC ET T SR
Conclusively, the performance weight Wp is calcu- paths contain no redundant turns. On the other hand,
lated as follows: RSS methods achieved similar results regarding SR
but had much worse RDs, due to the methods’ random
1
ˆ¯
· ET1¯ T nature. Additionally, RC is slightly worse than USS’s,
tm0.1 1 ¯ 2
Wp = Pc ·Rc ·Sc = 2· · ·SR as the samples are not uniformly dispersed in space.
1
+ ET1¯ T ¯ ¯
1 + RT + RD
ˆ¯ The simple RSS execution times are lower than simple
t 0.1
m
(14) USS’s, something not evident in their enhanced ver-
sions, since the enhanced RSS method requires more
The performance metric for all methods, as well as time in obstacle dense environments for creating the
their rank are presented in Table 9. initial graph due to the random sampling. HSS, the
Comments for each path planning method follow. third space sampling method, achieved similar results
Initially, the simple and enhanced USS showcased to the previous two methods. It should be noted that
relatively small RT and RD values and their SRs the RD metric is 0 (or close to 0 in simple HSS), as the
are 80 % and 100 % respectively. These results indi- method does not create random, but pseudo-random
cate that the USS is a stable and trustworthy method samples, resulting in identical paths. RC and ET T
for deployment in OGMs. Specifically, the enhanced are slightly elevated in the simple HSS case, some-
USS has a normalized mean value of Dm equal to thing fixed in the enhanced HSS. Finally, as UISS is
1, indicating that (in average) this method achieved concerned, the results are almost identical to the ones
the minimum path, in comparison to all others. Addi- of the USS method. The only difference is detected
tionally, the small RC value proves that the produced in the tm and RT metrics. Specifically, the enhanced
854 J Intell Robot Syst (2016) 84:829–858
Table 7 Experimental results for simple and enhanced versions of algorithms for Environment 5
Environment/Method tm RT Dm RD RC ET T SR
UISS achieved the lowest execution time comparing to version of VGSS led to much better results in all
the other methods, fact that in conjunction to the 100 metrics when compared to the simple one. Specifi-
% SR and the very low ET T , predispose positively cally the execution times decreased to 1/4 of the initial
about the method’s inferiority. The increased RT val- value, the path distance and RC were lower (fact that
ues can be explained by the extremely small execution decreased the ET T ) and the success rate increased to
times. 80 %. It must be stated that the ET T ’s normalized
As far as VGs are concerned, the results are disap- mean is close to 1 and therefore the produced paths
pointing. Both simple and enhanced versions resulted approach the optimal solution.
in high execution times and large path distances, ele- Proceeding to the RRTs, the simple RRT method
vated RC and consequently high estimated time of had higher tm than the PRMs but lower than VGs.
traversal. The worst is that the method succeeded only Additionally the success rate has reached 80 %. An
once in three times. The enhanced method’s inferior- important observation is that for the first time RC
ity in comparison to the simple one is mainly detected surpasses 15 %, something expected due to the tree’s
in the ET T ’s slight decrease. The VG’s failure can be structure. Additionally, even though the enhanced
attributed to the selected environments, as they are not RRT achieved slightly lower execution times, it failed
purely convex. On the other hand, the incorporation of to increase the success rate and decrease ET T .
a sparse uniform sampling in VG improved the results. The RRT* method reached an 80 % success rate
Except from the simple VGs, where the execution both in the simple and enhanced form. Its specific
times were raised, Dm , RT , RD and ET T decreased characteristic is the high execution times needed for
by far. Furthermore, the success rate almost doubled, the path improvement step, as described in para-
increasing from 33.33 % to 60 %. The enhanced graph 4.3.2, though the values were excessive in
J Intell Robot Syst (2016) 84:829–858 855
Method ˆ¯
tm ¯
RT Dˆ¯m ¯
RD ¯
RC ETˆ¯ T ¯
SR
the enhanced approach. Nevertheless, tm ’s increase all environments, indicative of the method’s indepen-
assisted towards constructing a nearly-optimal path, dence to the environmental obstacle density. GVD’s
as can be derived from the Dm and ET T metrics. tm is quite lower than RRTs, VGs and some of the
As far as MRRTs are concerned, we initially observe PRM algorithms. Additionally RD = 0, showcasing
that the execution times decreased in comparison to the method’s stability regarding the produced path’s
RRT and RRT* (at least in their simple forms), some- distance. Its two more noteworthy advantages are the
thing expected. The SRs were kept to a 80 % level 100 % success rate, as well as the low estimated time
but RT , RD and RC were increased. Furthermore, of traversal resulted from the low RC and Dm values.
the mean path length was quite high and inductively On the other hand, the method’s main drawback is the
EET increased too. The high values of RT and RD increased Dm in cases of low environmental obstacle
can be explained if we consider the method’s ran- density, as the produced GVD is created in the middle
domness and the high values of Dm and RC exist of the unoccupied space.
due to the new structure characteristics, produced by Generally, the evaluation coefficients showcase
the merging of different RRTs. Specifically, the final the fact that the Space Sampling methods are the
structure is highly “unstructured” regarding its cre- best choice for path planning in two dimensional
ation due to the randomness of the individual RRTs occupancy grid maps. Specifically, the enhanced uni-
merging. The same comments apply for the MIRRTs, form incremental space sampling achieved the 1st
even though the execution time decreased compared to rank among all methods, as it has a success rate of
MRRTs. 100 %, small path length and no unnecessary path
Finally, as the space skeletonization method is con- turns. In the 2nd , 4th and 5th place, the enhanced ver-
cerned, GVD had almost constant execution times for sions of Uniform, Random and Halton space sampling
856 J Intell Robot Syst (2016) 84:829–858
Method Pc Rc Sc Wp Rank
follow. This fact indicates that the enhanced versions presented. The methods described belonged to four
increased the methods’ potential of creating efficient heterogeneous algorithmic families, the Space Sam-
paths by far. It should be noted that GVD holds the pling (PRMs), the Visibility Graphs, the Rapidly
3rd place as it is an extremely stable method with 100 exploring Random Trees and the Space skeletoniza-
% success rate. It must also be noted that enhanced tion. The algorithms were tested in five OGMs with
VGs were placed in the 9th position due to their low different characteristics and seven performance and
path distance and rotation coefficient. From 11th to quality metrics were used. The contributions of this
18th place, the RRT methods exist. In these cases, paper include the definition of several path plan-
the enhanced methods did not manage to improve the ning benchmarking metrics, several path planning
results. The main reason is that the Rc coefficient methods’ comparison, and their enhancement via a
decreased the RRTs expansion distance according to environmental obstacle density coefficient. Further-
the environmental obstacle density. Thus, the RRT more, some novelties were introduced regarding in
expansion itself was significantly delayed, as more specific methods (such as UISS) which accelerated
iterations were needed towards for the algorithm’s their execution, while preserving their quality or
convergence, i.e. to create the path from the robot pose results.
to the goal. Finally, VGs hold the lowest rank, as their The results indicated that the Space sampling meth-
SR was very low and the path length quite high. ods are the optimal choice for performing path plan-
ning procedures in two dimensional OGMs, since they
had a great success rate, small execution times and
6 Conclusions - Future Work the paths produced were short in length and lacked
excessive turns. The space skeletonization method
In this paper, path planning methods for deploy- (GVD) produced great results, as it had a 100 % suc-
ment on two dimensional Occupancy Grid Maps were cess rate and constructed efficient paths, though its
J Intell Robot Syst (2016) 84:829–858 857
use is not suggested in obstacle free environments. Proceedings of India-Taiwan Conference on Discrete Math-
Additionally, the RRT family resulted in medium ematics, Taipei, pp. 44–54 (2009)
4. Kim, J., Kim, M., Kim, D.: Variants of the quantized visi-
quality results, specially in obstacle dense spaces.
bility graph for efficient path planning. Adv. Robot. 25(18),
Thus it can be inferred that the RRTs are not optimal 2341–2360 (2011)
for path creation in two-dimensional OGMs, in oppo- 5. Bhattacharya, P., Gavrilova, M.L.: Voronoi diagram in opti-
sition with high dimensional spaces, where RRTs are mal path planning. In: 4th International Symposium on
primarily used. Finally, Visibility Graphs resulted in Voronoi Diagrams in Science and Engineering, 2007. ISVD
’07, pp. 38–47
poor quality paths and low success rates, as the exper- 6. Garrido, S., Moreno, L., Abderrahim, M., Martin, F.: Path
imental environments were not sparse, nor purely Planning for Mobile Robot Navigation using Voronoi Dia-
convex. The introduction of the density coefficient Dc gram and Fast Marching. In: 2006 IEEE/RSJ International
enhanced the efficiency of the Space Sampling and Conference on Intelligent Robots and Systems, pp. 2376–
2381 (2006)
Visibility Graphs algorithms, but resulted in quality 7. Ok, K.-C., Ansari, S., Gallagher, B., Sica, W., Dellaert,
reduction in the RRTs cases. Finally, the performance F., Stilman, M.: Path planning with uncertainty: Voronoi
weight (Wp ) succeeded in objectively evaluate the uncertainty fields. In: 2013 IEEE International Conference
methods, as the final weights were in compliance with on Robotics and Automation (ICRA), pp. 4596-4601. IEEE
(2013)
both the experimental results, as well as the intuitive
8. Geraerts, R., Overmars, M.H.: A comparative study of
evaluation performed by observation. probabilistic roadmap planners. In: Workshop on the algo-
Regarding future work, many expansions in this rithmic foundations of robotics, pp. 43–57 (2002)
paper can be made. Initially, the survey can be 9. Geraerts, R.J., Overmars, M.H.A.: Sampling Tech-
expanded to three, or even N dimensional spaces, niques for Probabilistic Roadmap Planners. Intelligent
Autonomous Systems 8, 600–609 (2004)
where the specific methods’ properties change. Fur- 10. Kavraki, L.E., Latombe, J.-C.: Probabilistic Roadmaps
thermore, the algorithms can be tested in a greater for Robot Path Planning, Practical Motion Planning in
variety of environments, some of which should have Robotics: Current Approaches and Future Directions,
different obstacle densities presented in the same pp. 33–53. Wiley (1998)
11. Kavraki, L.E., Kolountzakis, M.N., Latombe, J.-C.: Analy-
areas. This would affect the enhanced methods’ sis of probabilistic roadmaps for path planning. IEEE Trans.
approach, as new and more intelligent metrics should Robot. Autom. 14(1), 166–171 (1998)
be introduced. A way to eliminate our major assump- 12. Kavraki, L.E., Svestka, P., Latombe, J.-C., Overmars,
tion (and at the same time limitation) concerning the M.H.: Probabilistic roadmaps for path planning in high-
dimensional configuration spaces. IEEE Transactions on
environmental obstacle homogeneity, would be to pre-
Robotics and Automation 12(4), 566–580 (1996)
process the map at hand and extract local Density 13. Laumond, J.-P., Nissoux, C.: Visibility-based probabilis-
Coefficients, in order for the methods to have different tic roadmaps for motion planning. In: Proceedings of the
properties in each region. IEEE/RSJ International Conference on Intelligent Robots
and Systems, 1999. IROS ’99, vol. 3, pp. 1316–1321
Also it would be useful to introduce alteration pro-
(1999)
cedures like final path smoothing in the PRMs case or 14. Bohlin, R., Kavraki, L.E.: Path planning using lazy PRM.
create the RRTs using motion constraints, in order to In: Proceedings of the IEEE International Conference on
expand the survey. Finally, different approach must be Robotics and Automation, 2000. ICRA ’00, vol. 1, pp. 521–
followed in the VG and RRT families in order for the 528 (2000)
15. Hsu, D., Sanchez-Ante, G., Sun, Z.: Hybrid PRM Sampling
enhanced methods to produce much better results in with a Cost-Sensitive Adaptive Strategy. In: Proceedings of
comparison to the standard ones. the 2005 IEEE International Conference on Robotics and
Automation 2005, ICRA 2005, pp. 3874–3880
16. Karaman, S., Frazzoli, E.: Sampling-based algorithms for
optimal motion planning. Int. J. Robot. Res. 30(7), 846–894
References (2011)
17. Marble, J.D., Bekris, K.E.: Asymptotically near-optimal is
1. Lozano-Prez, T., Wesley, M.A.: An algorithm for planning good enough for motion planning. In: International Sympo-
collision-free paths among polyhedral obstacles. Commun. sium on Robotics Research (2011)
ACM 22(10), 560–570 (1979) 18. Marble, J.D., Bekris, K.E.: Towards small asymptotically
2. Ghosh, S.K.: Visibility Algorithms in the Plane, near-optimal roadmaps. IEEE (2012)
ISBN:9780521875745. Cambridge University Press (2007) 19. Li, Y., Li, D., Maple, C., Yue, Y., Oyekan, J.: K-Order Sur-
3. Ghosh, S.K., Goswami, P.P.: Unsolved problems in rounding roadmaps path planner for robot path planning. J.
visibility graphs of points, segments and polygons. In: Intell. Robot. Syst. 75(3-4), 493–516 (2014)
858 J Intell Robot Syst (2016) 84:829–858
20. LaValle, S.M.: Rapidly-exploring random trees: A New A. Iliakopoulou holds a Master’s degree in Computer Science
Tool for Path Planning. TR 98–11, Computer Science from the Fu Foundation of Engineering and Applied Sciences at
Dept., Iowa State University (1998) Columbia University in the city of New York and an engineer-
21. Bruce, J., Veloso, M.: Real-time randomized path planning ing diploma from the Department of Electrical and Computer
for robot navigation. In: IEEE/RSJ International Confer- Engineering at Aristotle University of Thessaloniki (AUTH),
ence on Intelligent Robots and Systems, vol. 3, pp. 2383– Greece. Her working experience includes both industry driven
2388 (2002) and research projects. As an undergrad, she participated in
22. Martin, S.R., Wright, S.E., Sheppard, J.W.: Offline and the robotics team P.A.N.D.O.R.A. developing algorithms for
Online Evolutionary Bi-Directional RRT Algorithms for autonomous robot navigation in unknown spaces. She partic-
Efficient Re-Planning in Dynamic Environments (2007) ipated in the national competition RoboCup-RoboRescue in
23. Karaman, S., Frazzoli, E.: Incremental Sampling- Istanbul-Turkey in 2010. After her graduation from Aristotle
based Algorithms for Optimal Motion Planning coRR University of Thessaloniki (AUTH), Greece, she worked as a
(2010) Research Assistant in Center for Research & Technology Hel-
24. Nasir, J., Islam, F., Malik, U., Ayaz, Y., Hasan, O., las (CERTH), Greece, where she contributed to “SocialSensor”,
Khan, M., Muhammad, M.S.: RRT*-SMART: a rapid an international project, which aimed at building an applica-
convergence implementation of RRT*. Int. J. Adv. Robot. tion that discovers trends, events, and interesting media content
Syst., 10 (2013) in social media. Ms Iliakopoulou has also been a Technology
25. Jaillet, L., Corts, J., Simon, T.: Sampling-based path plan- Intern at the The New York Times, developing tools for the
ning on configuration-space costmaps. IEEE Transactions newspaper’s newsroom that facilitate computing data analytics
on Robotics 26(4), 635–646 (2010) of their content. In May 2016, she received the award of excel-
26. Guitton, J., Farges, J.-L., Chatila, R.: Cell-RRT: Decompos- lence in Computational Journalism from the Brown Institute
ing the environment for better plan. In: IEEE/RSJ Interna- for Media Innovation and the Tow Center for Digital Journal-
tional Conference on Intelligent Robots and Systems, 2009. ism at Columbia University for her Master’s thesis, “Building
IROS 2009, pp. 5776–5781 an Automated Tagger System.” Ms. Iliakopoulou will continue
27. Jacobs, S.A., Stradford, N., Rodriguez, C., Thomas, S., her career at The New York Times in the position of Software
Amato, N.M.: A scalable distributed RRT for motion plan- Engineer.
ning. In: 2013 IEEE International Conference on Robotics
and Automation (ICRA), pp. 5088–5095, p. 2013. IEEE
28. Felzenszwalb, P., Huttenlocher, D.: Distance transforms of
sampled functions Cornell University (2004) A. Kargakos graduated from Electrical and Computer Engi-
29. Barraquand, J., Latombe, J.-C.: Robot motion planning: neering Dpt. of Aristotle University of Thessaloniki (AUTH).
A distributed representation approach. Int. J. Robot. Res. He is a research assistant in the Information Technologies Insti-
10(6), 628–649 (1991) tute of Centre for Research and Technology Hellas (CERTH-
ITI) since 2013. His research interests include fields such as
robotics and artificial intelligence. He participated in robotics
E. G. Tsardoulias has obtained his doctorate and engineer- team P.A.N.D.O.R.A. (AUTH) and European research projects
ing diploma from the Department of Electrical and Computer as CloPeMa and Ramcip (CERTH-ITI).
Engineering at Aristotle University of Thessaloniki (AUTH),
Greece, in 2013 and 2007 respectively. His working experience
includes participating in the “Eudoxus” project, a web appli-
cation that unifies the Greek University secretariats, enables L. Petrou received his Diploma of Electrical Engineering from
the easy distribution of books and the on-line payment of the University of Patras, Greece, in 1973, the M. Sc. Degree
the publishing houses, with the collaboration of Ministry of in Theory and Practice of Automatic Control from U.M.I.S.T.,
Education. His research interests are focused in Robotics and Manchester, U.K. in 1975 and the Ph.D. in Electrical Eng.,
specifically in Autonomous Robots. Some of the topics involved from Imperial College, London, U.K. in 1979. Currently, Dr.
are autonomous navigation, SLAM (Simultaneous Localization Petrou is an Associate Professor at the Electrical and Computer
And Mapping) and multi-robot exploration / full coverage. In Engineering Department of the Aristotle University of Thessa-
addition, from 2009 till now, is the head manager of the artificial loniki, Greece. His research interests include Microprocessor
intelligence group of the robotics team P.A.N.D.O.R.A., which applications, autonomous mobile robots, intelligent control of
operates at the Department of electrical and computer engineer- waste water treatment plants, reconfigurable embedded sys-
ing, Aristotle University of Thessaloniki, and is an IEEE branch tems, evolutionary computation, fuzzy logic and neural network
also. Team P.A.N.D.O.R.A. has participated in the national control systems, sensor networks. His work has been published
competition RoboCup- RoboRescue in China, Graz-Austria, in over 40 papers, book chapters, and conference publications.
Istanbul-Turkey and Eindhoven-Netherlands. Finally, he has Currently he is Team Leader of the PANDORA (Program for
published scientific papers in magazines such as Micropro- the Advancement of Non Directed Operating Robotic Agents)
cessors and Microsystems and Journal of Intelligent Robotics, Robotics Research Team of the Electrical and Computer Engi-
as well as presentations in conferences like ICAPS. His cur- neering Department of the Aristotle University of Thessaloniki,
rent occupation is in the FP7 funded RAPP project, involving (http://pandora.ee.auth.gr) and participates in the EDUSAFE
technical coordination, robotics expertise and development. Marie Curie ITN project of CERN.