Towards automated synthesis of concurrent control programs

• Autorzy: Bocewicz G. , Bzdyra K. , Banaszak Z.
• Języki publikacji: EN

Abstrakty

EN

One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.

Słowa kluczowe

EN

automated synthesis; automatic modeling; concurrent control programs

• Wydawca: Polskie Towarzystwo Promocji Wiedzy ; Lublin University of Technology
• Czasopismo: Applied Computer Science
• Rocznik: 2011
• Tom: Vol. 7, no 2
• Strony: 7--20
• Opis fizyczny: Bibliogr. 8 poz., fig., tab.

Twórcy

autor

Bocewicz G.

• Dept. of Management and Computer Science, Koszalin University of Technology, Śniadeckich 2, 75-453 Koszalin

autor

Bzdyra K.

• Dept. of Management and Computer Science, Koszalin University of Technology, Śniadeckich 2, 75-453 Koszalin

autor

Banaszak Z.

• Dept. of Business Informatics, Warsaw University of Technology, Narbutta 85, 02-524 Warsaw

Bibliografia

• [1] BANASZAK Z. (Ed.): Modelling and control of FMS. Petri net approach. Wrocław Technical University Press, Wrocław 1991.
• [2] BANASZAK Z.: Modeling of manufacturing systems. In: Modern Manufacturing, M.B. Zaremba B. Prasad (Eds) Springer-Verlag, London 1994, pp.253-286.
• [3] KARATKIEVICH A.: Dynamic analysis of Petri net-based discrete systems. Springer Verlag, Berlin 2007.
• [4] PERK S.: Hierarchical Design of Discrete Event Controllers: An Automated Manufacturing System Case Study http://www.rt.eei.uni-erlangen.de/FGdes/diplomarbeit2004_perk.pdf
• [5] REISIG W., PETRI nets: An Introduction. Springer Verlag, Berlin 1985.
• [6] SCHMIDT K., MOOR T., PERK S.: Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. IEEE Transactions on Automatic Control, Vol. 53, No. 10, November 2008, pp. 2252-2265.
• [7] VISWANDADHAM N., NARAHARI Y.: Performance modeling of automated manufacturing systems. Prentice Hall, New Jersey 1992
• [8] http://www.rt.eei.uni-erlangen.de/FGdes/publications.html