Contact-State Segmentation Using Particle Filters for Programming by Human Demonstration in Compliant-Motion Tasks

This paper presents a contribution to programming by human demonstration, in the context of compliant-motion task specification for sensor-controlled robot systems that physically interact with the environment. One wants to learn about the geometric parameters of the task and segment the total motion executed by the human into subtasks for the robot, that can each be executed with simple compliant-motion task specifications. The motion of the human demonstration tool is sensed with a 3-D camera, and the interaction with the environment is sensed with a force sensor in the human demonstration tool. Both measurements are uncertain, and do not give direct information about the geometric parameters of the contacting surfaces, or about the contact formations (CFs) encountered during the human demonstration. The paper uses a Bayesian sequential Monte Carlo method (also known as a particle filter) to do the simultaneous estimation of the CF (discrete information) and the geometric parameters (continuous information). The simultaneous CF segmentation and the geometric parameter estimation are helped by the availability of a contact state graph of all possible CFs. The presented approach applies to all compliant-motion tasks involving polyhedral objects with a known geometry, where the uncertain geometric parameters are the poses of the objects. This work improves the state of the art by scaling the contact estimation to all possible contacts, by presenting a prediction step based on the topological information of a contact state graph, and by presenting efficient algorithms that allow the estimation to operate in real time. In real-world experiments, it is shown that the approach is able to discriminate in real time between some 250 different CFs in the graph

[1]  Bruno Siciliano,et al.  Modeling and Control of Robot Manipulators , 1995 .

[2]  Joris De Schutter,et al.  The 'reciprocity' and 'consistency' based approaches to uncertainty identification for compliant motions , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[3]  Yolanda González Cid,et al.  Real-time 3d SLAM with wide-angle vision , 2004 .

[4]  Joris De Schutter,et al.  Polyhedral contact formation modeling and identification for autonomous compliant motion , 2003, IEEE Trans. Robotics Autom..

[5]  Joris De Schutter,et al.  Exact non-linear Bayesian parameter estimation for autonomous compliant motion , 2004, Adv. Robotics.

[6]  Joris De Schutter,et al.  Unified Constraint-Based Task Specification for Complex Sensor-Based Robot Systems , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[7]  Jing Xiao,et al.  Automatic Generation of High-Level Contact State Space , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[8]  Joris De Schutter,et al.  Contact State Segmentation Using Particle Filters for Programming by Human Demonstration in Compliant Motion Tasks , 2006, ISER.

[9]  Sebastian Thrun,et al.  Probabilistic robotics , 2002, CACM.

[10]  Herman Bruyninckx,et al.  Bayesian Hybrid Model-State Estimation Applied to Simultaneous Contact Formation Recognition and Geometrical Parameter Estimation , 2005, Int. J. Robotics Res..

[11]  Jeffrey C. Trinkle,et al.  Identifying contact formations in the presence of uncertainty , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[12]  Xuerong Ji,et al.  Automatic Generation of High-Level Contact State Space , 2001, Int. J. Robotics Res..

[13]  Wolfram Burgard,et al.  Monte Carlo Localization: Efficient Position Estimation for Mobile Robots , 1999, AAAI/IAAI.

[14]  Wolfram Burgard,et al.  People Tracking with Mobile Robots Using Sample-Based Joint Probabilistic Data Association Filters , 2003, Int. J. Robotics Res..

[15]  Jing Xiao,et al.  Planning Motions Compliant to Complex Contact States , 2001, Int. J. Robotics Res..

[16]  H. Van Brussel,et al.  Compliant robot motion, I, II , 1988 .

[17]  B. J. McCarragher,et al.  Qualitative Template Matching Using Dynamic Process Models for State Transition Recognition of Robotic Assembly , 1993 .

[18]  Joris De Schutter,et al.  Incremental Building of a Polyhedral Feature Model for Programming by Human Demonstration of Force-Controlled Tasks , 2007, IEEE Transactions on Robotics.

[19]  Matthew T. Mason,et al.  Compliance and Force Control for Computer Controlled Manipulators , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  Friedrich M. Wahl,et al.  Adaptive implicit hybrid force/pose control of industrial manipulators: compliant motion experiments , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[21]  Keith L. Doty,et al.  A Theory of Generalized Inverses Applied to Robotics , 1993, Int. J. Robotics Res..

[22]  Friedrich M. Wahl,et al.  A task frame formalism for practical implementations , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[23]  Jason R. Chen,et al.  Constructing Task-Level Assembly Strategies in Robot Programming by Demonstration , 2005, Int. J. Robotics Res..

[24]  Jing Xiao,et al.  A divide-and-merge approach to automatic generation of contact states and planning of contact motion , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[25]  Michael O. Kolawole,et al.  Estimation and tracking , 2002 .

[26]  Yoshihiko Nakamura,et al.  Advanced robotics - redundancy and optimization , 1990 .

[27]  John Kenneth Salisbury,et al.  Contact Sensing from Force Measurements , 1990, Int. J. Robotics Res..

[28]  Jing Xiao,et al.  Automatic determination of topological contacts in the presence of sensing uncertainties , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[29]  Joseph Duffy,et al.  The fallacy of modern hybrid control theory that is based on "orthogonal complements" of twist and wrench spaces , 1990, J. Field Robotics.

[30]  Arnaud Doucet,et al.  Particle filters for state estimation of jump Markov linear systems , 2001, IEEE Trans. Signal Process..

[31]  R. Penrose A Generalized inverse for matrices , 1955 .

[32]  Joris De Schutter,et al.  Specification of force-controlled actions in the "task frame formalism"-a synthesis , 1996, IEEE Trans. Robotics Autom..

[33]  Wim Meeussen Compliant robot motion : from path planning or human demonstration to force controlled task execution , 2006 .

[34]  N. Higham Computing the polar decomposition with applications , 1986 .

[35]  Yaakov Bar-Shalom,et al.  Estimation and Tracking: Principles, Techniques, and Software , 1993 .

[36]  Joris De Schutter,et al.  Integration of planning and execution in force controlled compliant motion , 2005, IROS.

[37]  Joris De Schutter,et al.  Derivation of compliant motion programs based on human demonstration , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[38]  John Kenneth Salisbury,et al.  Application of Change Detection to Dynamic Contact Sensing , 1994, Int. J. Robotics Res..

[39]  Hendrik Van Brussel,et al.  Compliant Robot Motion I. A Formalism for Specifying Compliant Motion Tasks , 1988, Int. J. Robotics Res..

[40]  H. Harry Asada,et al.  Automatic program generation from teaching data for the hybrid control of robots , 1989, IEEE Trans. Robotics Autom..

[41]  Sebastian Thrun,et al.  Simultaneous localization and mapping with unknown data association using FastSLAM , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[42]  Bernard Roth,et al.  An Extension of Screw Theory , 1981 .

[43]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[44]  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..

[45]  Alexander Zelinsky,et al.  Programing by Demonstration: Coping with Suboptimal Teaching Actions , 2003 .

[46]  Charles W. Wampler,et al.  On the Inverse Kinematics of Redundant Manipulators , 1988, Int. J. Robotics Res..

[47]  Hendrik Van Brussel,et al.  Compliant Robot Motion II. A Control Approach Based on External Control Loops , 1988, Int. J. Robotics Res..

[48]  Joris De Schutter,et al.  A demonstration tool with Kalman filter data processing for robot programming by human demonstration , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.