Application of agent cooperation by means of DES supervision to manufacturing system FRANTIŠEKČAPKOVIČ The supervision of complex manufacturing systems is handled in this paper. Production lines of manufacturing systems are understood here to be hybrid agents. Such an agent expresses continuous material flow together with a set of imperative discrete operations. In other words, the hybrid agent makes a cooperation of continuous and discrete event devices possible. The results are applied to complex continuous manufacturing system. First Order Hybrid Petri Nets (FOHPN) are utilized in order to model the elementary autonomous hybrid agents. The cooperation of hybrid agents is based on the DES (discrete-event systems) control theory. It is realized by means of DES supervision methods and the agent negotiation is based on place/transition Petri nets (P/T PN). The proposed approach is illustrated in details on the cooperation of hybrid production lines in the real complex manufacturing systems recycling waste plastics into plastic bags. The usefulness and applicability of the approach consists especially in the fact that the procedures in analytical terms can be employed. In such a way the approach turns lucid also in complicated cases.Key words: agents, control, cooperation, discrete-event systems, continuous systems, hybrid Petri nets, supervisor, synthesis.
Introduction and preliminariesThere are many kinds of complex manufacturing systems in present technology. The complexity consists in the fact that production lines contain very complicated devices and they often have a hybrid character. Namely, they contain both the continuously working devices and the discretely working ones which are complex in themselves. Mathematical modeling such devices is very difficult and many times it is impossible. There are many reasons for this. Continuous systems (CS) are usually described by means of differential equations describing processes at respecting physical laws. However, thereThe author is with Institute of Informatics, Slovak Academy of Sciences, Dúbravská cesta 9, 845 07 Bratislava, Slovakia, e-mail: Frantisek.Capkovic@savba.skThe theoretical research was supported by the Slovak "Grant Agency for Science -VEGA" under the current grant # 2/0075/09 (2009)(2010)(2011)(2012). The theoretical results were applied into the development project under grant VMSP-P-0169-09 of the Slovak "Agency for Support of Research and Development -APVV" (Sept. 2009-August 2011 are certain complex CS where it is very difficult or even practically impossible to obtain a model corresponding to the real system. Two main difficulties occur on that way. The first of them is how to determine the kind of differential equations describing the particular CS. In case of linear systems it is necessary to guess the most suitable order of the linear differential equations, while in case of nonlinear systems it is necessary to choose the most suitable kind of nonlinear differential equations. Even, in case when we contrive the suitable equations, the sec...