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