LTLMoP: Experimenting with language, Temporal Logic and robot control

The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed to assist in the rapid development, implementation, and testing of high-level robot controllers. In this toolkit, structured English and Linear Temporal Logic are used to write high-level reactive task specifications, which are then automatically transformed into correct robot controllers that can be used to drive either a simulated or a real robot. LTLMoP's modular design makes it ideal for research in areas such as controller synthesis, semantic parsing, motion planning, and human-robot interaction.

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

[2]  Yoshihiko Nakamura,et al.  Integrating whole body motion primitives and natural language for humanoid robots , 2008, Humanoids 2008 - 8th IEEE-RAS International Conference on Humanoid Robots.

[3]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[5]  Howie Choset,et al.  Integrated Planning and Control for Convex-bodied Nonholonomic Systems using Local Feedback Control Policies , 2006, Robotics: Science and Systems.

[6]  Stephan Merz,et al.  Model Checking , 2000 .

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

[8]  Thomas Bak,et al.  Multi-Robot Motion Planning: A Timed Automata Approach , 2004 .

[9]  C. Belta,et al.  Constructing decidable hybrid systems with velocity bounds , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[10]  Hadas Kress-Gazit,et al.  Automatic synthesis of robot controllers for tasks with locative prepositions , 2010, 2010 IEEE International Conference on Robotics and Automation.

[11]  Stuart J. Russell,et al.  Combined Task and Motion Planning for Mobile Manipulation , 2010, ICAPS.

[12]  Steven M. LaValle,et al.  Smooth Feedback for Car-Like Vehicles in Polygonal Environments , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[13]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[14]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[15]  Thomas Bak,et al.  Planning : A Timed Automata Approach , 2004 .

[16]  J PappasGeorge,et al.  Temporal logic motion planning for dynamic robots , 2009 .

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

[18]  I.I. Hussein,et al.  Real Time Feedback Control for Nonholonomic Mobile Robots With Obstacles , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[19]  Amir Pnueli,et al.  Synthesis of Reactive(1) Designs , 2006, VMCAI.

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

[21]  Howie Choset,et al.  Composition of local potential functions for global robot control and navigation , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).