Application of agent cooperation by means of DES supervision to manufacturing system

• Autorzy: Čapkovič F.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

agents; control; cooperation; discrete event systems; continuous systems; hybrid Petri nets; supervisor; synthesis

• Wydawca: Polish Academy of Sciences, Committee of Automatic Control and Robotics
• Czasopismo: Archives of Control Sciences
• Rocznik: 2011
• Tom: Vol. 21, no. 4
• Strony: 395--417
• Opis fizyczny: Bibliogr. 17 poz., rys., wzory

Twórcy

autor

Čapkovič F.

• Institute of Informatics, Slovak Academy of Sciences, Dúbravská cesta 9, 845 07 Bratislava, Slovakia,

Bibliografia

• [1] F. Balduzzi, A. Giua and G. Menga: Modelling and control with first order hybrid Petri nets. IEEE Trans. on Robotics and Automation, 16(4), (2000), 382-399.
• [2] F. Čapkovič: Modelling, analysing and control of interactions among agents in MAS. Computing and Informatics, 26(5), (2007), 507-541.
• [3] F. Čapkovič: Automatic control synthesis for agents and their cooperation in MAS. Computing and Informatics, 29(6+), (2010), 1045-1071.
• [4] F. Čapkovič : Cooperation of agents in manufacturing systems. In: Jedrzejowicz, P., Ngoc Thanh Nguyen, Howlett, R. J., Lakhmi, C. J. (Eds.), Agent and Multi-Agent Systems: Technologies and Applications. LNAI, vol. 6070, pp. 193-202, Springer, Berlin-Heidelberg. 2010.
• [5] F. Čapkovič: DES control synthesis and cooperation of agents. In: Nguyen, N. T., Kowalczyk, R., Shyi-Ming Chen (Eds.), Computational Collective Intelligence. LNAI, vol. 5796, pp. 596-607. Springer, Berlin-Heidelberg-New York. 2009.
• [6] F. Čapkovič : A modular system approach to DES synthesis and control. 2009 IEEE Conf. on Emerging Technologies & Factory Automation - ETFA 2009. CD ROM. IEEE Press, Piscataway, NJ. (2009).
• [7] F. Čapkovič and V. Jotsov: A system approach to agent negotiation and learning. In: Sgurev, V., Hadjiski, M. and Kacprzyk, J. (Eds.), Intelligent Systems: From Theory to Practice. Series: Studies in Computational Intelligence, vol. 299, pp. 133-160. Springer-Verlag, Berlin-Heidelberg. 2010.
• [8] F. Čapkovič : Cooperation of hybrid agents in models of manufacturing systems. In: O'Shea, J., Ngoc Thanh Nguyen, Crockett, K., Howlett, R. J., Lakhmi, C. J. (Eds.), Agent and Multi-Agent Systems: Technologies and Applications. LNAI, vol. 6682, pp. 221-230, Springer, Berlin - Heidelberg. 2011.
• [9] R. David and H. Alla: On hybrid Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 11(1-2), (2001), 9-40.
• [10] M. Dotoli, M. P. Fanti, A. Giua and C. Seatzu: First-order hybrid Petri nets. An application to distributed manufacturing systems. Nonlinear Analysis: Hybrid Systems, 2(2), (2008), 408-430.
• [11] M. V. Iordache and P. J. Antsaklis: Supervision based on place invariants: A survey. Discrete Event Dynamic Systems, 16(4), (2006), 451-492.
• [12] M. V. Iordache and P. J. Antsaklis: Supervisory control of concurrent systems: A Petri net structural approach. Birkhauser, Boston. 2006.
• [13] M. V. Iordache: Methods for the supervisory control of concurrent systems based on Petri nets abstraction. Ph.D. dissertation, University of Notre Dame, USA. 2003.
• [14] T. Murata: Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), (1989), 541-580.
• [15] J. L. Peterson: Petri net theory and the modeling of systems. Prentice Hall, Englewood Cliffs, N. J. 1981.
• [16] C. A. Petri: Kommunikation mit Automaten. Ph. D. Thesis. University of Bonn. 1962. (in German).
• [17] F. Sessego, A. Giua and C. Seatzu: HYPENS: A Matlab tool for timed discrete, continuous and hybrid Petri nets. In: van Hee, K. M., Valk, R. (Eds.), Petri nets 2008, LNCS, vol. 5062, pp. 419-428. Springer, Berlin-Heidelberg-New York. 2008.