Problems in mechanisms analysis and synthesis and robotics lead naturally to systems of polynomial equations. This paper reviews the state of the art in the solution of such systems of equations. Three well-known methods for solving systems of polynomial equations, viz., Dialytic Elimination, Polynomial Continuation, and Grobner bases are reviewed. The methods are illustrated by means of simple examples. We also review important kinematic analysis and synthesis problems and their solutions using these mathematical procedures.
Issue Section:
Research Papers
1.
Wampler
C
Morgan
A.
Sommese
A.
1990
, “Numerical Continuation Methods for Solving Polynomial Systems Arising in Kinematics
,” ASME Journal of Mechanical Design
, Vol. 112
, pp. 59
–68
.2.
Bernstein
D. N.
1975
, “The Number of Roots of a System of Equations
,” Funct. Anal. and Appl.
, Vol. 9
, No. 2
, pp. 183
–185
.3.
Khovanskii
A. G.
1978
, “Newton Polyhedra and the Genus of Complete Intersections
,” Funktsional’nyi Analiz i Ego Prilozheniya
, Vol. 12
, No. 1
, pp. 51
–61
, Jan.–Mar.4.
Kushnirenko, A. G., 1976, “Newton Polytopes and the Bezout Theorem,” Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 10, No. 3, Jul.-Sep.
5.
Canny, J., and Emiris, I., 1993, “An Efficient Algorithm for the Sparse Mixed Resultant,” Proc. 10th Intern. Symp. on Applied Algebraic Algorithms and Error-Correcting Codes (G. Cohen, T. Mora, and O. Moreno, eds.), Lect. Notes in Comp. Science, 263, pp. 89–104, Springer Verlag, May.
6.
Emiris, I., and Canny, J., 1993, “A Practical Method for the Sparse Resultant,” Proc. ACM Intern. Symp. on Symbolic Algebra and Computation, July, pp. 183–192.
7.
Salmon, G., 1964, Lessons Introductory to the Modern Higher Algebra, Chelsea Publishing Co., NY.
8.
Roth, B., 1994, “Computational Advances in Robot Kinematics,” Advances in Robot Kinematics and Computational Geometry, (J. Lenarcic and B. Ravani, eds.), Kluwer Academic Publishers, Dordrecht, pp. 7–16.
9.
Roth, B., 1993, “Computations in Kinematics,” Computational Kinematics, (J. Angeles, G. Hommel, and P. Kovacs, eds.) Kluwer Academic Publishers, Dordrecht, pp. 3–14.
10.
Horowitz
E.
Sahni
S.
1975
, “On Computing the Exact Determinant of Matrices with Polynomial Entries
,” J. of the ACM
, Vol. 22
, No. 1
, pp. 38
–50
.11.
Bocher, M., 1924, Introduction to Higher Algebra, Macmillan Publishing Co.
12.
Golub, G., and Van Loan, C., 1982, Matrix Computations, Johns-Hopkins University Press.
13.
Manocha
D.
Canny
J.
1994
, “Efficient Inverse Kinematics for General 6R Manipulators
,” IEEE Trans. on Robotics and Automation
, October, Vol. 10
, No. 5
, pp. 648
–657
.14.
Kohli
D.
Osvatic
M.
1993
, “Inverse Kinematics of General 6R and 5R,P Serial Manipulators
,” ASME Journal of Mechanical Design
, Vol. 115
, pp. 922
–931
.15.
Duffy
J.
Crane
C.
1980
, “A Displacement Analysis of the General Spatial 7-Link 7R Mechanism
,” Mechanism and Machine Theory
, Vol. 15
, pp. 153
–169
.16.
Duffy, J., 1980, Analysis of Mechanisms and Robot Manipulators, Edward Arnold.
17.
Lee
H. Y.
Liang
C. G.
1988
, “Displacement Analysis of the General Spatial 7-Link 7R Mechanism
,” Mechanism and Machine Theory
, Vol. 23
, pp. 219
–226
.18.
Raghavan, M., and Roth, B., 1990, “Kinematic Analysis of the 6R Manipulator of General Geometry,” Robotics Research, The Fifth International Symposium, eds. H. Miura and S. Arimoto, MIT Press, pp. 263–270.
19.
Raghavan
M.
Roth
B.
1993
, “Inverse Kinematics of the General 6R Manipulator and Related Linkages
,” ASME Journal of Mechanical Design
, Vol. 115
, No. 3
, pp. 502
–508
.20.
Mavroidis
C
Roth
B.
1994
, “Structural Parameters Which Reduce the Number of Manipulator Configurations
,” ASME Journal of Mechanical Design
, Vol. 115
, pp. 3
–10
.21.
Mavroidis, C., and Roth, B., 1994, “Analysis and Synthesis of Overconstrained Mechanisms,” Proceedings of the 23rd ASME Mechanisms Conference, Minneapolis, Sept., DE-Vol. 70, Mechanism Synthesis and Analysis, pp. 115–133.
22.
Kohli, D., and Osvatic, M., 1992, “Inverse Kinetics of General 4R2P, 3R3P, 4R1C, 2R2C, and 3C Manipulators,” Proceedings of the 22nd ASME Mechanisms Conference, Scottsdale, Sep., DE-Vol. 45, pp. 129–137.
23.
Ghazvini, M., 1993, “Reducing the Inverse Kinematics of Manipulators to the Solution of a Generalized Eigenproblem,” Computational Kinematics, (J. Angeles, G. Hommel, and P. Kovacs, eds.) Kluwer Academic Publishers, Dordrecht, pp. 15–26.
24.
Waldron, K., Raghavan, M., and Roth, B., 1989, “Kinematics of a Hybrid Series-Parallel Manipulation System,” ASME Journal of Dynamic Systems, Measurement, and Control, June, pp. 211–221.
25.
Lee, K.-M., and Shah, D. K., 1987, “Kinematic Analysis of a Three Degrees of Freedom In-parallel Actuated Manipulator,” Proceedings of the 1987 IEEE Int’l Conf. on Robotics and Automation, Vol. 1, pp. 345–350.
26.
Husain
M.
Waldron
K.
1994
, “Position Kinematics of a Three-Limbed Mixed Mechanism
,” ASME Journal of Mechanical Design
, Vol. 116
, pp. 924
–929
.27.
Lin
W.
Griffis
M.
Duffy
J.
1992
, “Forward Displacement Analyses of the 4-4 Stewart Platforms
,” ASME Journal of Mechanical Design
, Vol. 114
, pp. 444
–450
.28.
Zhang
C.
Song
S.
1994
, “Forward Position Analysis of Nearly General Stewart Platforms
,” ASME Journal of Mechanical Design
, Vol. 116
, No. 1
, pp. 54
–60
.29.
Innocenti
C.
Parenti-Castelli
V.
1993
, “Closed-Form Direct Position Analysis of a 5-5 Parallel Mechanism
,” ASME Journal of Mechanical Design
, Vol. 115
, Sep. pp. 515
–521
.30.
Raghavan
M.
1993
, “The Stewart Platform of General Geometry has 40 Configurations
,” ASME Journal of Mechanical Design
, Vol. 115
, No. 2
, June, pp. 277
–282
.31.
Mourrain, B., 1993, “The 40 Generic Positions of a Parallel Robot,” Proc. ACM Intern. Symp. on Symbolic and Algebr. Computation, pp. 173–182, Kiev, July.
32.
Lazard, D., 1993, “On the Representation of Rigid-Body Motions and its Applications to Generalized Platform Manipulators,” Computational Kinematics, (J. Angeles, G. Hommel, and P. Kovacs, eds.) Kluwer Academic Publishers, Dordrecht, pp. 175–181.
33.
Husty, M., 1994, “An Algorithm for Solving the Direct Kinematic of Stewart-Gough-type Platforms,” preprint, McGill Research Centre for Intelligent Machines, June 30.
34.
Bottema, O., and Roth, B., 1990, Theoretical Kinematics, North Holland, 1979 (reprinted by Dover Publications, NY).
35.
Roth
B.
1967
, “The Kinematics of Motion through Finitely Separated Positions
,” ASME Journal of Applied Mechanics
, Vol. 34
, No. 3
, pp. 591
–598
.36.
Innocenti, C., 1994, “Polynomial Solution of the Spatial Burmester Problem,” Proceedings of the 23rd ASME Mechanisms Conference, Minneapolis, Sep., DE-Vol. 70, Mechanism synthesis and analysis, pp. 161–166.
37.
Artin, E., 1955, Elements of Algebraic Geometry, lecture notes from spring semester—1955 at New York University, (notes by G. Bachman), (available at Stanford University Mathematic Library).
38.
van der Waerden, B. L., 1964, Modern Algebra, Vol. 2, Frederick Ungar Pub. Co.
39.
Macaulay, F. S., 1964, The Algebraic Theory of Modular Systems, Stechert-Hafner Service Agency.
40.
Gelfand
I. M.
Kapranov
M. M.
Zelevinsky
A. V.
1991
, “Discriminants of Polynomials in Several Variables and Triangulations of Newton Polytopes
,” Leningrad Math. J.
, Vol. 2
, No. 3
, pp. 449
–505
(Translated from Algebra i Analiz, Vol. 2, 1990, pp. 1–62).41.
Gelfand, I. M., Kapranov, M. M., and Zelevinsky, A. V., 1994, Discriminants and Resultants, Birkhauser, Boston.
42.
Pedersen
P.
Sturmfels
B.
1993
, “Product Formulas for Resultants and Chow Forms
,” Math. Zeitschrifl.
, Vol. 214
, pp. 377
–396
.43.
Morgan
A.
A Transformation to Avoid Solutions at Infinity for Polynomial Systems
,” Appl. Math. Comput.
, Vol. 18
, pp. 77
–86
.44.
Roth
B.
Freudenstein
F.
1963
, “Synthesis of Path-Generating Mechanisms by Numerical Methods
,” ASME Journal of Engineering for Industry
, Vol. 85
, pp. 298
–307
.45.
Tsai
L-W.
Morgan
A.
1985
, “Solving the Kinematics of the Most General Six- and Five-Degree-of-Freedom Manipulators by Continuation Methods
,” ASME Journal of Mechanisms, Transmissions, and Automation in Design
, Vol. 107
, pp. 189
–200
.46.
Wampler
C.
Morgan
A.
Sommese
A.
1992
, “Complete Solution of the Nine-Point Path Synthesis Problem for Four-bar Linkages
,” ASME Journal of Mechanical Design
, Vol. 114
, March, pp. 153
–159
.47.
Buchberger, B., 1985, “Grobner Bases: An Algorithmic Method in Polynomial Ideal Theory,” Chapter 6, Multidimensional System Theory, (N. K. Bose, ed.), D. Reidel Pub. Co.
48.
Cox, D., Little, J., and O’Shea, D., 1992, Ideals, Varieties, and Algorithms, Springer-Verlag.
49.
Hironaka
H.
1964
, “Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: 1, 2
,” Annals of Math.
, Vol. 79
, pp. 109
–326
.50.
Kapur, D., and Lakshman, Y. N., 1992, “Elimination Methods: An Introduction,” Symbolic and Numerical Computation for Artificial Intelligence, (B. Donald, D. Kapur, and J. Mundy, eds.) pp. 45–89, Academic Press.
51.
Kutzler
B.
Stifter
S.
1986
, “On the Application of Buchberger’s Algorithm to Automated Geometry Theorem Proving
,” Jour. of Symb. Comp.
, Vol. 2
, pp. 389
–397
.52.
Faugere, J. C, and Lazard, D., 1995, “The Combinatorial Classes of Parallel Manipulators,” Mechanism and Machine Theory, in press.
53.
Wampler
C.
Morgan
A.
1991
, “Solving the 6R Inverse Position Problem Using a Generic-Case Solution Methodology
,” Mechanism and Machine Theory
, Vol. 26
, pp. 91
–106
.54.
Wampler, C, 1994, “Forward Displacement Analysis of General Six-in-Parallel SPS (Stewart) Platform Manipulators using Soma Coordinates,” GM R & D Publication 8179, May (submitted to Mechanism and Machine Theory).
55.
Zanganeh, K. E., and Angeles, J., 1993, “The Semigraphical Solution of the Direct Kinematics of General Platform Manipulators,” Computational Kinematics (J. Angeles, G. Hommel, and P. Kovacs, eds.) Kluwer Academic Publishers, Dordrecht, pp. 165–174.
56.
Lazard, D., and Merlet, J. P., 1994, “The (True) Stewart Platform has 12 Configurations,” Proceedings of the 1994 IEEE Robotics and Automation Conference, San Diego, May, pp. 2160–2165.
This content is only available via PDF.
Copyright © 1995
by The American Society of Mechanical Engineers
You do not currently have access to this content.
