Modular Robot Control and Continuous Constraint Satisfaction

Continuous constraint satisfaction is at the core of many real-world applications. One example is in the control of modular, hyper-redundant robots, which are robots with many more degrees of freedom than required for typical tasks. Casting the control problem as a constraint problem is a promising approach for robustly handling a variety of non-standard constraints found in such robots. However, before we can scale to the many degrees of freedom and nonlinearities of this system and deploy constraint solvers for embedded, real-time control, we need to better understand the complexity issues arising in these problems. In this paper, we first present a parametric model for robotic control. We then study the complexity of related but simpler problems by analyzing two classes of artificial constraint satisfaction problems inspired by (discrete) 3-SAT problems, which have a strong relation between structure and search cost. With this, we also propose a generic benchmarking model for continuous constraint satisfaction problems.

[1]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[2]  M. J. D. Powell,et al.  Variable Metric Methods for Constrained Optimization , 1982, ISMP.

[3]  Editors , 1986, Brain Research Bulletin.

[4]  John Baillieul,et al.  Avoiding obstacles and resolving kinematic redundancy , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[5]  Francis L. Merat,et al.  Introduction to robotics: Mechanics and control , 1987, IEEE J. Robotics Autom..

[6]  Oussama Khatib,et al.  A unified approach for motion and force control of robot manipulators: The operational space formulation , 1987, IEEE J. Robotics Autom..

[7]  Ashitava Ghosal,et al.  A New Approach for Kinematic Resolution of Redundancy , 1988, Int. J. Robotics Res..

[8]  Stephen L. Chiu,et al.  Task Compatibility of Manipulator Postures , 1988, Int. J. Robotics Res..

[9]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[10]  Gregory S. Chirikjian,et al.  Kinematically optimal hyper-redundant manipulator configurations , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[11]  Steven H. Strogatz,et al.  Nonlinear Dynamics and Chaos , 2024 .

[12]  Sunil K. Agrawal,et al.  Workspace Boundaries of Free-floating Open and Closed Chain Planar Manipulators , 1994 .

[13]  Charles A. Klein,et al.  A new formulation of the extended Jacobian method and its use in mapping algorithmic singularities for kinematically redundant manipulators , 1995, IEEE Trans. Robotics Autom..

[14]  Mark H. Yim,et al.  Locomotion With A Unit-Modular Reconfigurable Robot , 1995 .

[15]  Nicholas I. M. Gould,et al.  CUTE: constrained and unconstrained testing environment , 1995, TOMS.

[16]  Benjamin W. Wah,et al.  Lagrangian techniques for solving a class of zero-one integer linear programs , 1995, Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95).

[17]  Tad Hogg,et al.  Phase Transitions and the Search Problem , 1996, Artif. Intell..

[18]  Jun Gu,et al.  Algorithms for the satisfiability (SAT) problem: A survey , 1996, Satisfiability Problem: Theory and Applications.

[19]  Zbigniew Michalewicz,et al.  Evolutionary Algorithms for Constrained Parameter Optimization Problems , 1996, Evolutionary Computation.

[20]  Hector J. Levesque,et al.  Generating Hard Satisfiability Problems , 1996, Artif. Intell..

[21]  N. Faiz,et al.  Optimization of a Class of Nonlinear Dynamic Systems: New Efficient Method without Lagrange Multipliers , 1998 .

[22]  Craig D. McGray,et al.  The self-reconfiguring robotic molecule , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[23]  Marsette Vona,et al.  Self-reconfiguration planning with compressible unit modules , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[24]  Markus P. J. Fromherz,et al.  Towards Constraint-based Actuation Allocation for Hyper-redundant Manipulators * , 1999 .

[25]  Sunil K. Agrawal,et al.  Mass Center of Planar Mechanisms Using Auxiliary Parallelograms , 1999 .

[26]  Jorge J. Moré,et al.  COPS: Large-scale nonlinearly constrained optimization problems , 2000 .

[27]  Tad Hogg,et al.  Complexity of Continuous, 3-SAT-like Constraint Satisfaction Problems , 2001 .