Adaptive Modeling of Robotic Assembly Using Augmented Petri Nets

Robotic assembly process is modeled as a discrete event dynamic system using contact states of the workpieces and their transitions. The goal assembly state is obtained by changing the contact states. A primitive contact is defined as a relation between a vertex and an edge of two workpieces. An augmented Petri net is presented as a framework to model, plan, and control the assembly process. The augmented Petri-net assembly model is automatically built and modified on-line during the actual assembly to handle un-modeled and infeasible contact situations. Reachability graph of the assembly model is used to find sequence from the augmented Petri net model, by the weights of the arcs. The proposed method is evaluated by simulation with L-shaped peg-in-hole assembly.

[1]  Thomas H. Cormen,et al.  Introduction to algorithms [2nd ed.] , 2001 .

[2]  Gang Xu,et al.  Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .

[3]  Arthur C. Sanderson,et al.  AND/OR net representation for robotic task sequence planning , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[4]  Shinichi Hirai,et al.  Analysis and Planning of Manipulation Using the Theory of Polyhedral Convex Cones , 1991 .

[5]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

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

[7]  Daniel Y. Chao.  Reachability of nonsynchronized choice Petri nets and its applications , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[8]  B. J. McCarragher,et al.  The discrete event control of robotic assembly tasks , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[9]  Seong-Youb Chung,et al.  Discrete event systems approach to fixtureless peg-in-hole assembly , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[10]  Jan Rosell,et al.  Assembly and task planning using Petri nets: A survey , 2004 .

[11]  J. De Schutter,et al.  A roadmap for autonomous robotic assembly , 2001, Proceedings of the 2001 IEEE International Symposium on Assembly and Task Planning (ISATP2001). Assembly and Disassembly in the Twenty-first Century. (Cat. No.01TH8560).

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

[13]  Seong Youb Chung,et al.  An augmented Petri net for modeling and control of assembly tasks with uncertainties , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[14]  Jing Xiao,et al.  Active compliant motion: a survey , 2005, Adv. Robotics.

[15]  Jan Rosell.  Local contact state space generation using colored Petri nets , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[16]  Rajiv S. Desai,et al.  Identification and verification of termination conditions in fine motion in presence of sensor errors and geometric uncertainties , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[17]  Henry Y. K. Lau,et al.  An intelligent robotic framework for automated assembly , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[18]  Alessandro Giua,et al.  Discrete event representation of qualitative models using Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part B.

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