As we move into the adolescent years of the 21st century, allow me to discuss where research in mechanisms and robotics has been as a prelude to considering where it is going.

Polynomials

Mechanisms have been characterized by the curves that they trace since the time of Archimedes (1). In the 1800s, Reuleaux, Kennedy, and Burmester formalized this by applying the descriptive geometry of Gaspard Monge to the analysis and synthesis of machines (2). Watt invented a straight-line linkage to convert the linear expansion of steam into the rotation of the great beam, making the steam engine practical (Fig. 1), and captured the imagination of the mathematician Chebyshev, who introduced the mathematical analysis and synthesis of linkages. About the same time, Sylvester, who introduced the Sylvester resultant for the solution of polynomial equations, went on to lecture about the importance of the Peaucellier linkage, which generates a pure linear movement from a rotating link (3). Influenced by Sylvester, Kempe developed a method for designing a linkage that traces a given algebraic curve (4) that even now inspires research at the intersection of geometry (5,6) and computation.

In the mid-1950s, Denavit and Hartenberg introduced a matrix formulation of the loop equations of a mechanism to obtain polynomials that defined its movement (7). During a speech in 1972, Freudenstein famously used the phrase “Mount Everest of kinematics” to describe the solution of these polynomials for the 7R spatial linkage (8). In this context, the “solution” is not a single root but an algorithm that yields all of the roots of the polynomial system, which in turn defines all of the configurations of the linkage for a given input.

It was immediately recognized that the 7R analysis problem was equivalent to solving the inverse kinematics for a general robot manipulator to obtain the configurations that are available to pick up an object. By the end of the 1970s, Duffy (9) formulated an efficient set of equations for this problem, but it was not until the late 1980s when the degree 16 polynomial that yields the 16 robot configurations was obtained by Lee and Liang (10).

By the mid-1990s, computer algebra and sparse resultant techniques were the most advanced tools for formulating and solving increasingly complex arrays of polynomials obtained in the study of mechanisms and robotics systems (11,12). In 1996, Husty used computer algebra to reduce eight quadratic equations in eight soma coordinates that locate the end-effector of a general six-legged Stewart platform to a degree 40 polynomial (13), which allowed the calculation of the 40 configurations of the system.

Computers

In 1959, Freudenstein and Sandor (14) used the newly developed digital computer and the loop equations of a linkage to determine its dimensions, initiating the computer-aided design of mechanisms. Within 2 decades, the computer solution of the equations introduced by Denavit and Hartenberg was integral to the analysis of complex machine systems (15,16) and the control of robot manipulators (17).

Kaufman et al. (18,19) combined the computer’s ability to rapidly compute the roots of polynomial equations with a graphical display to unite Freudenstein’s techniques with the geometrical methods of Reuleaux and Burmester to form KINSYN, an interactive computer graphics system for mechanism design (Fig. 2). This was followed by the LINCAGES system of Erdman et al. (20,21) and the RECSYN system of Chuang et al. (22), which combined sophisticated computer graphics and polynomial solvers to implement Burmester’s strategy for linkage synthesis. Computerized linkage synthesis was extended to spherical linkages (23,24) and spatial linkages (25) by the turn of the 21st century.

The pursuit of solutions to the design equations for the particularly challenging problem of finding a four-bar linkage that traces a curve through nine specified points led Freudenstein and Roth (26,27) to develop a unique solution strategy, now called numerical continuation. They started with a set of polynomials with a known solution, which was then deformed slightly, and the solution was updated numerically. Iterating this “parameter-perturbation procedure,” they obtained a sequence of polynomials and solutions that converged to the target polynomials and the desired solution. While this yielded the first solutions to the nine-point problem, their heuristic deformation procedure could not find all of the solutions.

By the 1980s, theoretical advances in numerical continuation yielded algorithms that could reliably and efficiently find all solutions to small sets of polynomial equations (28,29). Tsai and Morgan (30) applied the polynomial continuation routine SYMPOL to the eight quadratic polynomials of the inverse kinematics problem for a general manipulator and obtained 16 roots in 4 min. In the early 1990s, Wampler and Morgan (31) revisited Freudenstein and Roth’s nine-point synthesis problem to obtain 1442 solutions, demonstrating that polynomial continuation algorithms had come of age.

A few years later, Raghavan and Roth (32,33) included polynomial continuation with resultant elimination among the strategies to obtain complete solutions to kinematics problems. In fact, Raghavan (34) used polynomial continuation to obtain 40 configurations for the general Stewart platform, anticipating Husty’s degree 40 polynomial.

Conclusion

The goal of this survey is to show that in the past century, our ability to analyze and design mechanisms and robotic systems of increasing complexity has depended on our ability to derive and solve the associated increasingly complex polynomial systems. From this, we can expect that advances in computer algebra and numerical continuation for the derivation and solution of the even more complex polynomial systems will advance research in mechanisms and robotics.

1.
Koetsier
,
T.
, 1986, “
From Kinematically Generated Curves to Instantaneous Invariants: Episodes in the History of Instantaneous Planar Kinematics
,”
Mech. Mach. Theory
0094-114X,
21
(
6
), pp.
489
498
.
2.
Moon
,
F. C.
, 2009, “
History of the Dynamics of Machines and Mechanisms From Leonardo to Timoshenko
,”
International Symposium on History of Machines and Mechanisms
,
H. S.
Yan
and
M.
Ceccarelli
, eds.
3.
Koetsier
,
T.
, 1983, “
A Contribution to the History of Kinematics—II
,”
Mech. Mach. Theory
0094-114X,
18
(
1
), pp.
43
48
.
4.
Kempe
,
A. B.
, 1976, “
On a General Method of Describing Plane Curves of the Nth Degree by Linkwork
,”
Proc. London Math. Soc.
0024-6115,
7
, pp.
213
216
.
5.
Jordan
,
D.
, and
Steiner
,
M.
, 1999, “
Configuration Spaces of Mechanical Linkages
,”
Discrete Comput. Geom.
0179-5376,
22
, pp.
297
315
.
6.
Connelly
,
R.
, and
Demaine
,
E. D.
, 2004, “
Geometry and Topology of Polygonal Linkages
,”
Handbook of Discrete and Computational Geometry
,
J. E.
Goodman
and
J.
O’Rourke
, eds.,
CRC
,
Boca Raton, FL
, Chap. 9.
7.
Denavit
,
J.
, and
Hartenberg
,
R. S.
, 1955, “
A Kinematic Notation for Lower-Pair Mechanisms Based on Matrices
,”
ASME J. Appl. Mech.
0021-8936,
22
, pp.
215
221
.
8.
Freudenstein
,
F.
, 1973, “
Kinematics: Past, Present and Future
,”
Mech. Mach. Theory
0094-114X,
8
, pp.
151
160
.
9.
Duffy
,
J.
, 1980,
The Analysis of Mechanisms and Robot Manipulators
,
Wiley
,
New York
.
10.
Lee
,
H. -Y.
, and
Liang
,
C. -G.
, 1988, “
Displacement Analysis of the General Spatial 7-Link 7R Mechanisms
,”
Mech. Mach. Theory
0094-114X,
23
(
3
), pp.
219
226
.
11.
Canny
,
J.
, and
Emiris
,
I.
, 1993, “
An Efficient Algorithm for the Sparse Matrix Resultant
,”
Lect. Notes Comput. Sci.
0302-9743,
673
, pp.
89
104
.
12.
Neilsen
,
J.
, and
Roth
,
B.
, 1995, “
Computational Kinematics
,”
Solid Mechanics and Its Applications
,
J. P.
Merlet
and
B.
Ravani
, eds.,
Kluwer
,
Dordrecht
, Vol.
40
, pp.
51
62
.
13.
Husty
,
M. L.
, 1996, “
An Algorithm for Solving the Direct Kinematics of General Stewart-Gough Platforms
,”
Mech. Mach. Theory
0094-114X,
31
(
4
), pp.
365
379
.
14.
Freudenstein
,
F.
, and
Sandor
,
G. N.
, 1959, “
Synthesis of Path Generating Mechanisms by Means of a Programmed Digital Computer
,”
ASME J. Eng. Ind.
0022-0817,
81
, pp.
159
168
.
15.
Sheth
,
P. N.
, and
Uicker
,
J. J.
, 1972, “
IMP (Integrated Mechanisms Program), A Computer-Aided Design Analysis System for Mechanisms and Linkages
,”
ASME J. Eng. Ind.
0022-0817,
94
, pp.
454
464
.
16.
Suh
,
C. H.
, and
,
C. W.
, 1978,
Kinematics and Mechanism Design
,
Wiley
,
New York
, p.
458
.
17.
Paul
,
R. P.
, 1981,
Robot Manipulators: Mathematics, Programming and Control
,
MIT
,
Cambridge, MA
.
18.
Kaufman
,
R. E.
, and
Maurer
,
W. G.
, 1971, “
Interactive Linkage Synthesis on a Small Computer
,”
ACM National Conference
, Aug. 3–5.
19.
Rubel
,
A. J.
, and
Kaufman
,
R. E.
, 1977, “
KINSYN III: A New Human-Engineered System for Interactive Computer-Aided Design of Planar Linkages
,”
ASME J. Eng. Ind.
0022-0817,
99
, pp.
440
448
.
20.
Erdman
,
A. G.
, and
Gustafson
,
J.
, 1977, “
LINCAGES—A Linkage Interactive Computer Analysis and Graphically Enhanced Synthesis Package
,” Chicago, IL, ASME Paper No. 77-DTC-5.
21.
Hunt
,
L.
,
Erdman
,
A. G.
, and
Riley
,
D. R.
, 1981, “
MicroLINCAGES: Microcomputer Synthesis and Analysis of Planar Linkages
,”
Proceedings of the Seventh OSU Applied Mechanisms Conference
.
22.
Chuang
,
J. C.
,
Strong
,
R. T.
, and
Waldron
,
K. J.
, 1981, “
Implementation of Solution Rectification Techniques in an Interactive Linkage Synthesis Program
,”
ASME J. Mech. Des.
0161-8458,
103
, pp.
657
664
.
23.
Ruth
,
D. A.
, and
McCarthy
,
J. M.
, 1997, “
SphinxPC: An Implementation of Four Position Synthesis for Planar and Spherical Linkages
,”
Proceedings of the ASME Design Engineering Technical Conferences
, Sacramento, CA, Sept. 14–17.
24.
Furlong
,
T. J.
,
Vance
,
J. M.
, and
Larochelle
,
P. M.
, 1999, “
Spherical Mechanism Synthesis in Virtual Reality
,”
ASME J. Mech. Des.
0161-8458,
121
, pp.
515
520
.
25.
Liao
,
Q.
, and
McCarthy
,
J. M.
, 2001, “
On the Seven Position Synthesis of a 5-SS Platform Linkage
,”
ASME J. Mech. Des.
0161-8458,
123
, pp.
74
79
.
26.
Roth
,
B.
, and
Freudenstein
,
F.
, 1963, “
Synthesis of Path-Generating Mechanisms by Numerical Methods
,”
ASME J. Eng. Ind.
0022-0817,
85B
, pp.
298
306
.
27.
Freudenstein
,
F.
, and
Roth
,
B.
, 1963, “
Numerical Solution of Systems of Nonlinear Equations
,”
J. ACM
1535-9921,
10
(
4
), pp.
550
556
.
28.
Watson
,
L. T.
, 1979, “
A Globally Convergent Algorithm for Computing Fixed Points of C2 Maps
,”
Appl. Math. Comput.
0096-3003,
18
, pp.
297
311
.
29.
Morgan
,
A. P.
, 1986, “
A Homotopy for Solving Polynomial Systems
,”
Appl. Math. Comput.
0096-3003,
5
, pp.
87
92
.
30.
Tsai
,
L. W.
, and
Morgan
,
A. P.
, 1985, “
Solving the Kinematics of the Most General Six- and Five-Degree-of-Freedom Manipulators by Continuation Methods
,”
ASME J. Mech., Transm., Autom. Des.
0738-0666,
107
, pp.
189
200
.
31.
Wampler
,
C. W.
, and
Morgan
,
A. P.
, 1992, “
Complete Solution for the Nine-Point Path Synthesis Problem for Four-Bar Linkages
,”
ASME J. Mech. Des.
0161-8458,
114
(
1
), pp.
153
159
.
32.
Raghavan
,
M.
, and
Roth
,
B.
, 1993, “
Inverse Kinematics of the General 6R Manipulator and Related Linkages
,”
ASME J. Mech. Des.
0161-8458,
115
(
3
), pp.
502
508
.
33.
Raghavan
,
M.
, and
Roth
,
B.
, 1995, “
Solving Polynomial Systems for Kinematic Analysis and Synthesis of Mechanisms and Robot Manipulators
,”
ASME J. Mech. Des.
0161-8458,
117
, pp.
71
79
.
34.
Raghavan
,
M.
, 1993, “
The Stewart Platform of General Geometry Has 40 Configurations
,”
ASME J. Mech. Des.
0161-8458,
115
(
2
), pp.
277
282
.