Synchronization of a class of cyclic discrete-event systems describing legged locomotion

It has been shown that max-plus linear systems are well suited for applications in synchronization and scheduling, such as the generation of train timetables, manufacturing, or traffic. In this paper we show that the same is true for multi-legged locomotion. In this framework, the max-plus eigenvalue of the system matrix represents the total cycle time, whereas the max-plus eigenvector dictates the steady-state behavior. Uniqueness of the eigenstructure also indicates uniqueness of the resulting behavior. For the particular case of legged locomotion, the movement of each leg is abstracted to two-state circuits: swing and stance (leg in flight and on the ground, respectively). The generation of a gait (a manner of walking) for a multi-legged robot is then achieved by synchronizing the multiple discrete-event cycles via the max-plus framework. By construction, different gaits and gait parameters can be safely interleaved by using different system matrices. In this paper we address both the transient and steady-state behavior for a class of gaits by presenting closed-form expressions for the max-plus eigenvalue and max-plus eigenvector of the system matrix and the coupling time. The significance of this result is in showing guaranteed stable gaits and gait switching, and also a systematic methodology for synthesizing controllers that allow for legged robots to change rhythms fast.

[1]  M. Gondran,et al.  Linear Algebra in Dioids: A Survey of Recent Results , 1984 .

[2]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[3]  John Guckenheimer,et al.  The Dynamics of Legged Locomotion: Models, Analyses, and Challenges , 2006, SIAM Rev..

[4]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[5]  M Hildebrand,et al.  Symmetrical gaits of horses. , 1965, Science.

[6]  Jessica K. Hodgins,et al.  Dynamically Stable Legged Locomotion , 1983 .

[7]  Daniel E. Koditschek,et al.  RHex: A Simple and Highly Mobile Hexapod Robot , 2001, Int. J. Robotics Res..

[8]  Daniel E. Koditschek,et al.  Gait Transitions for Quasi-static Hexapedal Locomotion on Level Ground , 2009, ISRR.

[9]  S. Grillner.  Control of Locomotion in Bipeds, Tetrapods, and Fish , 1981 .

[10]  Eadweard Muybridge,et al.  The Human Figure in Motion , 1955 .

[11]  Bernd Heidergott,et al.  Towards a (Max,+) Control Theory for Public Transportation Networks , 2001, Discret. Event Dyn. Syst..

[12]  Bernard Giffler.  Schedule algebra: A progress report , 1968 .

[13]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[14]  Daniel E. Koditschek,et al.  Phase Regulation of Decentralized Cyclic Robotic Systems , 2002, Int. J. Robotics Res..

[15]  Bart De Schutter,et al.  Modeling and Control of Legged Locomotion via Switching Max-Plus Models , 2014, IEEE Transactions on Robotics.

[16]  Florian Dörfler,et al.  Exploring synchronization in complex oscillator networks , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[17]  Bart De Schutter,et al.  Switching Max-Plus models for legged locomotion , 2009, 2009 IEEE International Conference on Robotics and Biomimetics (ROBIO).

[18]  Stéphane Gaubert.  An algebraic method for optimizing resources in timed event graphs , 1990 .

[19]  Geert Jan Olsder,et al.  The power algorithm in max algebra , 1993 .

[20]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[21]  Auke Jan Ijspeert,et al.  Central pattern generators for locomotion control in animals and robots: A review , 2008, Neural Networks.

[22]  Kerby Shedden,et al.  Analysis of cell-cycle gene expression in Saccharomyces cerevisiae using microarrays and multiple synchronization methods , 2002, Nucleic Acids Res..

[23]  S. Gaubert.  Theorie des systemes lineaires dans les dioides , 1992 .

[24]  S. Yamaguchi,et al.  Synchronization of Cellular Clocks in the Suprachiasmatic Nucleus , 2003, Science.

[25]  S. Grillner.  Neurobiological bases of rhythmic motor acts in vertebrates. , 1985, Science.

[26]  S. Gaubert.  On rational series in one variable over certain dioids , 1994 .

[27]  Marc H. Raibert,et al.  Legged Robots That Balance , 1986, IEEE Expert.

[28]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[29]  Daniel E. Koditschek,et al.  A framework for the coordination of legged robot gaits , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[30]  J. Mairesse,et al.  Idempotency: Task resource models and (max, +) automata , 1998 .

[31]  Geert Jan Olsder,et al.  On the Characteristic Equation and Minimal Realizations for Discrete-Event Dynamic Systems , 1986 .

[32]  Geert Jan Olsder,et al.  Cramer and Cayley-Hamilton in the max algebra , 1988 .

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

[34]  Bart De Schutter,et al.  Modeling and control of legged locomotion via switching max-plus systems , 2010, WODES.

[35]  R. A. Cuninghame-Green,et al.  Describing Industrial Processes with Interference and Approximating Their Steady-State Behaviour , 1962 .

[36]  B. De Schutter,et al.  Max-plus algebra and max-plus linear discrete event systems: An introduction , 2008 .

[37]  B. Ciffler.  Scheduling general production systems using schedule algebra , 1963 .

[38]  Bernd Heidergott.  A characterisation of (max,+)-linear queueing systems , 2000, Queueing Syst. Theory Appl..

[39]  G. Hooghiemstra,et al.  Discrete event systems with stochastic processing times , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[40]  Richard M. Karp,et al.  A characterization of the minimum cycle mean in a digraph , 1978, Discret. Math..

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

[42]  Stéphane Gaubert,et al.  Methods and Applications of (MAX, +) Linear Algebra , 1997, STACS.

[43]  Geert Jan Olsder,et al.  Max Plus at Work-Modelling and Analysis of Synchronized Systems , 2006 .

[44]  Hajime Nobuhara,et al.  A novel max-plus algebra based wavelet transform and its applications in image processing , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[45]  R. Weiner.  Lecture Notes in Economics and Mathematical Systems , 1985 .