A penalty function method for constrained motion planning

Establishes necessary and sufficient conditions under which manipulation constraints are holonomic. Then the authors present a systematic approach to motion planning in the presence of manipulation constraints deriving from this theory. Its principle is to replace a constrained problem by a convergent series of less constrained subproblems increasingly penalizing motions that do not satisfy the constraints. Each subproblem is solved using a standard path planner. The authors use the method of variational dynamic programming for solving the subproblems. The implemented planner has solved manipulation planning problems of unprecedented complexity.<<ETX>>

[1]  Jean-Paul Laumond,et al.  Feasible Trajectories for Mobile Robots with Kinematic and Environment Constraints , 1986, IAS.

[2]  J. Latombe,et al.  On nonholonomic mobile robots and optimal maneuvering , 1989, Proceedings. IEEE International Symposium on Intelligent Control 1989.

[3]  S. Sastry,et al.  Robot motion planning with nonholonomic constraints , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[4]  Rachid Alami,et al.  A geometrical Approach to planning Manipulation Tasks in robotics , 1989 .

[5]  Michel Gangnet,et al.  Incremental computation of planar maps , 1989, SIGGRAPH '89.

[6]  Jean Vuillemin,et al.  BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic , 1989 .

[7]  Laurence Puel,et al.  Compiling pattern matching by term decomposition , 1990, LISP and Functional Programming.

[8]  Edward Wobber,et al.  The Siphon: managing distant replicated repositories , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[9]  Jean-Claude Latombe,et al.  Numerical potential field techniques for robot path planning , 1991, Fifth International Conference on Advanced Robotics 'Robots in Unstructured Environments.

[10]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[11]  J. Gallier.  Constructive Logics. Part II: Linear Logic and Proof Nets , 1991 .

[12]  Delia Kesner,et al.  Pattern Matching in Order-Sorted Languages , 1991, MFCS.

[13]  Jean-Claude Latombe,et al.  Robot Motion Planning: A Distributed Representation Approach , 1991, Int. J. Robotics Res..

[14]  Gert Smolka.  Residuation and Guarded Rules for Constraint Logic Programming , 1991, WCLP.

[15]  Rachid Alami,et al.  A geometrical approach to planning manipulation tasks. The case of discrete placements and grasps , 1991 .

[16]  Jean Vuillemin,et al.  Programmable Active Memories: A Performance Assessment , 1992, Heinz Nixdorf Symposium.

[17]  Jean-Claude Latombe,et al.  Experiments in dual-arm manipulation planning , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[18]  G. Longo,et al.  The Genericity Theorem and the Notion of Parametricity in the Polymorphic λ-calculus , 1992 .

[19]  François Bourdoncle,et al.  Abstract interpretation by dynamic partitioning , 1992, Journal of Functional Programming.

[20]  Thierry Pudet.  Real Time Fitting of Pressure Brushstrokes , 1993 .

[21]  Jacques Garrigue,et al.  The typed polymorphic label-selective λ-calculus , 1994, POPL '94.

[22]  Solange Karsenty,et al.  Rollit: An Application Builder , 1994, TOOLS.

[23]  Rolf A. de By,et al.  A Database Interface for Complex Objects , 1993, ICLP.

[24]  Jérôme Barraquand,et al.  Path planning through variational dynamic programming , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[25]  Jean-Claude Latombe,et al.  On multi-arm manipulation planning , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[26]  Gert Smolka,et al.  A Feature Constraint System for Logic Programming with Entailment , 1994, Theor. Comput. Sci..

[27]  Andreas Podelski,et al.  Functions as passive constraints in LIFE , 1994, TOPL.

[28]  J. Barraquand.  Numerical valuation of high dimensional multivariate European securities , 1995 .

[29]  Mark Shand.  Measuring System Performance with Reprogrammable Hardware , 1996 .

[30]  Jérôme Barraquand.  Automatic Motion Planning for Complex Articulated Bodies , 1996 .