Robot Creation from Functional Specifications

The design of new robots is often a time-intensive task requiring multi-disciplinary expertise, making it difficult to create custom robots on demand. To help address these issues, this work presents an integrated end-to-end system for rapidly creating printable robots from a Structured English description of desired behavior. Linear temporal logic (LTL) is used to formally represent the functional requirements from a structured task specification, and a modular component library is used to ground the propositions and generate structural specifications; complete mechanical, electrical, and software designs are then automatically synthesized. The ability and versatility of this system are demonstrated by sample robots designed in this manner.

[1]  Calin Belta,et al.  Probabilistic control from time-bounded temporal logic specifications in dynamic environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[2]  R. Lang.  Origami Design Secrets: Mathematical Methods for an Ancient Art , 2003 .

[3]  Hadas Kress-Gazit,et al.  LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[4]  Erik D. Demaine,et al.  Origamizer: A Practical Algorithm for Folding Any Polyhedron , 2017, SoCG.

[5]  Richard M. Murray,et al.  Patching task-level robot controllers based on a local μ-calculus formula , 2013, 2013 IEEE International Conference on Robotics and Automation.

[6]  Ronald S. Fearing,et al.  DASH: A dynamic 16g hexapedal robot , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Hadas Kress-Gazit,et al.  Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

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

[9]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[10]  Hadas Kress-Gazit,et al.  Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[11]  Lydia E. Kavraki,et al.  Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.

[12]  Daniela Rus,et al.  Cogeneration of mechanical, electrical, and software designs for printable robots from structural specifications , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  E. Frazzoli,et al.  Complex mission optimization for Multiple-UAVs using Linear Temporal Logic , 2008, 2008 American Control Conference.

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

[15]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[16]  R. J. Wood,et al.  An Origami-Inspired Approach to Worm Robots , 2013, IEEE/ASME Transactions on Mechatronics.

[17]  H. Miura,et al.  Insect-like microrobots with external skeletons , 1993, IEEE Control Systems.

[18]  Hadas Kress-Gazit,et al.  Translating Structured English to Robot Controllers , 2008, Adv. Robotics.

[19]  Hadas Kress-Gazit,et al.  Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language , 2013, Robotics: Science and Systems.

[20]  Ronald S. Fearing,et al.  Fast scale prototyping for folded millirobots , 2008, ICRA.

[21]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[22]  Ufuk Topcu,et al.  Optimization-based trajectory generation with linear temporal logic specifications , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[23]  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).

[24]  Daniela Rus,et al.  M-blocks: Momentum-driven, magnetic modular robots , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.