Phase Regulation of Decentralized Cyclic Robotic Systems

We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like walking, hopping, running, juggling and factory automation. In this paper we introduce a general methodology for designing controllers for such settings. We introduce a class of dynamical systems defined over n-dimensional tori (the cross product of n oscillator phases) that serve as reference fields for the specified task. These dynamical systems represent the ideal flow and phase couplings of the various cyclic tasks to be coordinated. In particular, given a specification of the desired connections between oscillating subsystems, we synthesize an appropriate reference field and show how to determine whether the specification is realized by the field. In the simplest case that the oscillating components admit a continuous control authority, they are made to track the phases of the corresponding components of the reference field. We further demonstrate that reference fields can be applied to the control of intermittent contact systems, specifically to the task of juggling balls with a paddle and to the task of synchronizing hopping robots.

[1]  Solomon Lefschetz,et al.  Stability by Liapunov's Direct Method With Applications , 1962 .

[2]  M. Hirsch,et al.  Differential Equations, Dynamical Systems, and Linear Algebra , 1974 .

[3]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[4]  K. Pearson The control of walking. , 1976, Scientific American.

[5]  F. Delcomyn Neural basis of rhythmic behavior in animals. , 1980, Science.

[6]  P. Holmes,et al.  The nature of the coupling between segmental oscillators of the lamprey spinal generator for locomotion: A mathematical model , 1982, Journal of mathematical biology.

[7]  R. W. Brockett,et al.  Asymptotic stability and feedback stabilization , 1982 .

[8]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[9]  Russell H. Taylor,et al.  Automatic Synthesis of Fine-Motion Strategies for Robots , 1984 .

[10]  H. Benjamin Brown,et al.  Experiments in Balance with a 3D One-Legged Hopping Machine , 1984 .

[11]  S. Rossignol,et al.  Neural Control of Rhythmic Movements in Vertebrates , 1988 .

[12]  Daniel E. Koditschek,et al.  Analysis of a Simplified Hopping Robot , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[13]  D. Koditschek The Application of Total Energy as a Lyapunov Function for Mechanical Control Systems , 1989 .

[14]  Martín Abadi,et al.  Composing Specifications , 1989, REX Workshop.

[15]  Daniel E. Koditschek,et al.  A family of robot control strategies for intermittent dynamical environments , 1990, IEEE Control Systems Magazine.

[16]  H. Cruse What mechanisms coordinate leg movement in walking arthropods? , 1990, Trends in Neurosciences.

[17]  Daniel E. Koditschek,et al.  A family of robot control strategies for intermittent dynamical environments , 1990 .

[18]  Daniel E. Koditschek,et al.  Distributed real-time control of a spatial robot juggler , 1992, Computer.

[19]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.

[20]  Bard Ermentrout,et al.  Inhibition-Produced Patterning in Chains of Coupled Nonlinear Oscillators , 1994, SIAM J. Appl. Math..

[21]  Daniel E. Koditschek,et al.  Further progress in robot juggling: solvable mirror laws , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[22]  Daniel E. Koditschek,et al.  Planning and Control of Robotic Juggling and Catching Tasks , 1994, Int. J. Robotics Res..

[23]  Michael A. Arbib,et al.  The handbook of brain theory and neural networks , 1995, A Bradford book.

[24]  Gill A. Pratt,et al.  Distributed Synchronous Clocking , 1995, IEEE Trans. Parallel Distributed Syst..

[25]  P. Krishnaprasad,et al.  Nonholonomic mechanical systems with symmetry , 1996 .

[26]  Randall D. Beer,et al.  Biologically inspired approaches to robotics: what can we learn from insects? , 1997, CACM.

[27]  Daniel E. Koditschek,et al.  Toward the control of a multi-jointed, monoped runner , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[28]  N. Kopell Chains of coupled oscillators , 1998 .

[29]  Pramod P. Khargonekar,et al.  Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets , 1999, IEEE Trans. Robotics Autom..

[30]  Daniel E. Koditschek,et al.  Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..

[31]  R J Full,et al.  Templates and anchors: neuromechanical hypotheses of legged locomotion on land. , 1999, The Journal of experimental biology.

[32]  John W. Suh,et al.  CMOS integrated ciliary actuator array as a general-purpose micromanipulation tool for small objects , 1999 .

[33]  K. Mani Chandy,et al.  Towards a Compositional Approach to the Design and Verification of Distributed Systems , 1999, World Congress on Formal Methods.

[34]  Hongyan Wang,et al.  Social potential fields: A distributed behavioral control for autonomous robots , 1995, Robotics Auton. Syst..

[35]  Daniel E. Koditschek,et al.  A formalism for the composition of concurrent robot behaviors , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[36]  Vijay Kumar,et al.  Optimal Gait Selection for Nonholonomic Locomotion Systems , 2000, Int. J. Robotics Res..

[37]  Daniel E. Koditschek,et al.  Design, modeling and preliminary control of a compliant hexapod robot , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[38]  Ralph L. Hollis,et al.  Distributed Programming and Coordination for Agent-Based Modular Automation , 2000 .

[39]  Jianjuen Hu,et al.  Stable locomotion control of bipedal walking robots: synchronization with neural oscillators and switching control , 2000 .

[40]  John W. Suh,et al.  CMOS Integrated Organic Ciliary Actuator Arrays For General-Purpose Micromanipulation Tasks , 2000 .

[41]  H. Benjamin Brown,et al.  Evidence for Spring Loaded Inverted Pendulum Running in a Hexapod Robot , 2000, ISER.

[42]  David L. Tennenhouse,et al.  Proactive computing , 2000, Commun. ACM.

[43]  Eric Klavins,et al.  Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications , 2000, HSCC.

[44]  Jun Nakanishi,et al.  A brachiating robot controller , 2000, IEEE Trans. Robotics Autom..

[45]  Daniel E. Koditschek,et al.  The Role of Reflexes Versus Central Pattern Generators in Dynamical Legged Locomotion , 2000 .

[46]  Randall D. Beer,et al.  Analysis of a distributed model of leg coordination , 2000, Biological Cybernetics.

[47]  Ralph Etienne-Cummings,et al.  Toward biomorphic control using custom aVLSI CPG chips , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[48]  Daniel E. Koditschek,et al.  Toward the Regulation and Composition of Cyclic Behaviors , 2001 .

[49]  Joel L. Davis,et al.  Neurotechnology for Biomimetic Robots , 2002 .