eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphs

This paper presents a new framework for constraint-based task specification of robot controllers. A task specification language (eTaSL) is defined as well as a corresponding implementation of a controller (eTC). This new framework is based on feature variables and a new concept referred to as expression graphs. It avoids some of the common pitfalls in previous frameworks, and provides a flexible and composable way to define robot control tasks. An architecture for a robot controller is proposed, as well as an implementation that can execute tasks described in the new specification language. Typical usage patterns for the new framework are explained on an example consisting of a kinematically redundant, bi-manual task on a PR2 robot. A comparison with existing frameworks shows the advantages of the new approach.

[1]  Louis B. Rall,et al.  Automatic Differentiation: Techniques and Applications , 1981, Lecture Notes in Computer Science.

[2]  Matei T. Ciocarlie,et al.  ROS commander (ROSCo): Behavior creation for home robots , 2013, 2013 IEEE International Conference on Robotics and Automation.

[3]  Alexander Dietrich,et al.  Extensions to reactive self-collision avoidance for torque and position controlled humanoids , 2011, 2011 IEEE International Conference on Robotics and Automation.

[4]  Claude Samson,et al.  Robot Control: The Task Function Approach , 1991 .

[5]  Herman Bruyninckx,et al.  Coordinating Robotic Tasks and Systems with rFSM Statecharts , 2012 .

[6]  Olivier Stasse,et al.  A versatile Generalized Inverted Kinematics implementation for collaborative working humanoid robots: The Stack Of Tasks , 2009, ICAR.

[7]  Joris De Schutter,et al.  Rapid application development of constrained-based task modelling and execution using domain specific languages , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[8]  Jonathan Bohren,et al.  The SMACH High-Level Executive [ROS News] , 2010 .

[9]  Susan Eisenbach,et al.  Coordination in Evolving Systems , 1996, TreDS.

[10]  Hong Y. Lee,et al.  A new vector theory for the analysis of spatial mechanisms , 1988 .

[11]  Herman Bruyninckx,et al.  Open robot control software: the OROCOS project , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[12]  Carme Torras.  Robot control , 1998 .

[13]  Joris De Schutter,et al.  Constraint-based Task Specification and Estimation for Sensor-Based Robot Systems in the Presence of Geometric Uncertainty , 2007, Int. J. Robotics Res..

[14]  Charles W. Wampler,et al.  Manipulator Inverse Kinematic Solutions Based on Vector Formulations and Damped Least-Squares Methods , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  Steve Cousins,et al.  The SMACH High-Level Executive , 2010 .