
dependencies, but otherwise it produces oversized 
results. A classical example of this effect is known 
as the cancellation problem: given an interval 
I = 
[
a,b], the computation I-I = [a-b,b-a]  ≠ [0,0]. One 
alternative to reduce overestimation is to use multi-
intervals: the original interval is divided into smaller 
adjacent disjoint subintervals, the computation is 
performed for each of them, and the individual 
results are merged into a single interval result. In the 
previous example, if I is represented by two 
subintervals, [
a,(a+b)/2] and [(a+b)/2,b], the 
merging of the individual results of the computation 
I-I produces the interval [(
a-b)/2,(b-a)/2]  ⊂ [a-b,b-
a], thus reducing overestimation. Greater reductions 
are achieved if more subintervals are used. 
Therefore, multi-intervals are a simple yet powerful 
approach for function evaluation where increased 
precision (i.e. using more subintervals) is directly 
available at the cost of increased computation time.  
The methodology to use multi-intervals has 
been automated in an in-house framework called 
Abaco, already used in (Walker and Carreras, 2003). 
Abaco is based on the GNU Multiple Precision 
Library GMP and includes all the tools used to carry 
out this study. Abaco has also been successfully 
used in other tasks related to reliability analysis and 
digital electronic design, and is constantly upgraded 
with new features and capabilities. Extensions to 
handle probabilities (each interval can have a 
probability, thus allowing the computation of output 
PDFs from input PDFs) are also supported. The 
significance analysis presented here has also 
motivated specific extensions to handle 
trigonometric functions and 2-dimensional outputs 
(i.e. locations in the plane), in the computation and 
graphics tools within the framework. In addition, the 
tuning of the tools for each particular analysis has 
been simplified to avoid test runs required in 
previous versions of the tools. Using Abaco, 
different multi-section robots can be quickly and 
extensively analyzed by simply specifying their 
kinematic equations. 
The Abaco implementation is based on a 
discretization of the numerical space that simplifies 
the definition of two basic concepts: interval 
adjacency and number probability. Both are key 
issues when partitioning the input ranges into multi-
intervals and when merging interval results extended 
with probabilities. Such discretization is described in 
terms of the precision (i.e. fractional bits) used to 
represent the endpoints of the input intervals. No 
precision is lost as the computations of the equations 
progresses, since precisions are modified according 
to the requirements of the operations involved. 
Trigonometric operations are an exception to this as 
they are not supported by the GMP library. In this 
case, they are computed using the standard math 
library and the results are represented with the same 
number of fractional bits as the input variables. 
Automation and selectable precision are 
probably the greatest advantages of the multi-
interval method implemented in Abaco over other 
classical methods. Standard sensitivity analysis 
suffers from the complexity of computing (by hand) 
the equations in partial derivatives 
(minimization/maximization problem). Simulations 
based on random sampling methods (Monte-Carlo 
and Latin Hypercube) do not provide accurate 
information about output ranges (i.e. to evaluate 
workspace enhancement) as they are intended to 
obtain statistical values of the outputs (mean, 
variance). Finally, it may seem that numeric 
simulations of the kinematic equations for a grid of 
input points could be used to obtain workspace 
estimates. However, for these estimates to be 
accurate, and especially if PDFs must also be 
obtained as in this analysis, the number of points in 
such grid must be very large. From the tests run, the 
computation times required by these standard 
numeric simulations are much longer than those 
required by the multi-interval method for a given 
accuracy in the results. 
4 SIMULATION PARAMETERS 
For the purpose of evaluating the potential 
advantages of variable lengths in addition to variable 
curvatures, a number of configurations for different 
multi-section robots and variability conditions have 
been studied. In particular, assuming that the total 
robot length remains constant (
l = 29.8 cm), two 
types of robots have been analyzed considering the 
ratio between their nominal section lengths: robot 
R
1
 
with 
l
1
/l
2
 = 1 (l
1
 = l
2
 = 14.9 cm), and robot R
2
 with 
l
1
/l
2
 = 2 (l
1
 = 19.87 cm = 2l
2
). 
The angle in degrees of a section of length 
l and 
curvature 
k,  θ = 180lk/π, has been used as the 
variable parameter in the exploration of the 
configuration space. In particular, nine basic angles 
have been considered: 15, 45, 90, 135, 180, 225, 
270, 315 and 360 degrees. For each robot type and 
basic angle 
θ, two basic curvatures can be obtained: 
b
1
 = πθ/180l
1
 and b
2
 = πθ/180l
2
. Expressing the 
section curvatures in terms of these basic curvatures, 
four types of configurations per robot type and basic 
angle have been analyzed: configuration 
C
1
 (k
1
 = b
1
, 
k
2
 = b
2
), configuration C
2
 (k
1
 = b
1
,  k
2
 = b
2
/2), 
ICINCO 2005 - ROBOTICS AND AUTOMATION
260