Supervisory control of assembly Petri net

In the field of robotics, many researchers have studied the representation and analysis of an automatic assembly system. In previous research, however, no control-theoretic ideas for the assembly system have been found. In this paper, the authors study a closed-loop desired marking control problem for the automatic assembly system using the supervisory control technique. First, the authors represent the assembly system with a Petri net. Since the assembly Petri net has a "tree structure", the authors show that the assembly Petri net has some formal linguistic properties. Based on the properties, the authors clarify that the solvability of the desired marking control problem depends only on the controllability of a control object, and that one can construct the supervisor for the assembly Petri net with a finite automata. Finally, the authors discuss the supervisor reduction technique and give two examples.<<ETX>>

[1]  Arthur C. Sanderson,et al.  AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..

[2]  Arthur C. Sanderson,et al.  Sensor-based error recovery for robotic task sequences using fuzzy Petri nets , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[3]  P. Ramadge,et al.  Modular Feedback Logic for Discrete Event Systems , 1987 .

[4]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[5]  Arthur C. Sanderson,et al.  Task sequence planning in a robot workcell using AND/OR nets , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[6]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[7]  Arthur C. Sanderson,et al.  Representations of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..

[8]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[9]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[10]  Shigeru Okuma,et al.  On algebraic and graph structural properties of assembly Petri net , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[11]  A. F. Vaz,et al.  On supervisor reduction in discrete-event systems , 1986 .

[12]  Alessandro Agnetis,et al.  Part routing in flexible assembly systems , 1990, IEEE Trans. Robotics Autom..

[13]  Sukhan Lee,et al.  Assembly planning based on subassembly extraction , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[14]  Arthur C. Sanderson,et al.  A correct and complete algorithm for the generation of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..