Computer-Aided Compositional Design and Verification for Modular Robots

To take full advantage of the flexibility of a modular robot system, users must be able to create and verify new configurations and behaviors quickly. We present a design framework that facilitates rapid creation of new configurations and behaviors through composition of existing ones, and tools to verify configurations and behaviors as they are being created. New configurations are created by combining existing sub-configurations, for example combining four legs and a body to create a walking robot. Behaviors are associated with each configuration, so that when sub-configurations are composed, their associated behaviors are immediately available for composition as well. We introduce a new motion description language (Series-Parallel Action Graphs) that facilitates the rapid creation of complex behaviors by composition of simpler behaviors. We provide tools that automatically verify configurations and behaviors during the design process, allowing the user to identify problems early and iterate quickly. In addition to verification, users can evaluate their configurations and behaviors in a physics-based simulator.

[1]  Dinesh Manocha,et al.  FCL: A general purpose library for collision and proximity queries , 2012, 2012 IEEE International Conference on Robotics and Automation.

[2]  I. Skliarova,et al.  Design and implementation of parallel hierarchical finite state machines , 2008, 2008 Second International Conference on Communications and Electronics.

[3]  Nancy M. Amato,et al.  Choosing good paths for fast distributed reconfiguration of hexagonal metamorphic robots , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[4]  Wei-Min Shen,et al.  Using role-based control to produce locomotion in chain-type self-reconfigurable robots , 2002 .

[5]  Ying Zhang,et al.  Phase automata: a programming model of locomotion gaits for scalable chain-type modular robots , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[6]  Toshio Fukuda,et al.  Cellular robotic system (CEBOT) as one of the realization of self-organizing intelligent universal manipulator , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[7]  Wei-Min Shen,et al.  Hormone-controlled metamorphic robots , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[8]  Jordan B. Pollack,et al.  Towards continuously reconfigurable self-designing robotics , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[9]  Eugene L. Lawler,et al.  The recognition of Series Parallel digraphs , 1979, SIAM J. Comput..

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

[11]  Jay Davey,et al.  ModLock: A manual connector for reconfigurable modular robots , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[12]  Yi Zhang,et al.  ROSRV: Runtime Verification for Robots , 2014, RV.

[13]  Petter Ögren,et al.  Towards a unified behavior trees framework for robot control , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[14]  Gregory S. Chirikjian,et al.  Modular Self-Reconfigurable Robot Systems , 2007 .

[15]  David Johan Christensen,et al.  A unified simulator for Self-Reconfigurable Robots , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[16]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[17]  Jordan B. Pollack,et al.  TITLE : Generative Representations for the Automated Design of Modular Physical Robots , 2003 .

[18]  Insup Lee,et al.  Demo abstract: ROSLab — A modular programming environment for robotic applications , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[19]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[20]  England London,et al.  Self reconfigurable robots an introduction pdf , 2015 .

[21]  Mark H. Yim,et al.  Modular Reconfigurable Robots, An Approach To Urban Search and Rescue , 2002 .

[22]  Mark Yim,et al.  PolyBot: a modular reconfigurable robot , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[23]  Gregory S. Chirikjian,et al.  Modular Self-Reconfigurable Robot Systems [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[24]  Jean-Claude Latombe,et al.  Reconfiguration planning for modular self-reconfigurable robots , 2001 .

[25]  Eiichi Yoshida,et al.  A Self-Reconfigurable Modular Robot: Reconfiguration Planning and Experiments , 2002 .

[26]  Auke Jan Ijspeert,et al.  Learning to Move in Modular Robots using Central Pattern Generators and Online Optimization , 2008, Int. J. Robotics Res..

[27]  Vijay Kumar,et al.  A Design Environment for the Rapid Specification and Fabrication of Printable Robots , 2014, ISER.

[28]  Emulating self-reconfigurable robots - design of the SMORES system , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[29]  Mark Yim,et al.  On embeddability of modular robot designs , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).