Decentralized structural control approach for Petri nets

• Autorzy: Aybar A.
• Języki publikacji: EN

Abstrakty

EN

The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm I) is developed to determine the control places for the given Petri net. The connections and the initial marking of each control place are determined in this algorithm. Moreover, a decentralized structural control approach, based on overlapping decompositions, is introduced in this work. In this decentralized approach, all disjoint Petri subnets, which are obtained by using overlapping decompositions, are determined. The control places for each Petri subnet are determined by using the given algorithm. Then, the control places for the orginal Petri net are obtained by the control places of each PSN by another algorithm (Algorithm II) and these places are added to the orginal Petri net. Therefore, a decentralized structural controller which guarantees to lead the Petri net to the desired marking vectors is obtained.

Słowa kluczowe

EN

discrete event systems; Petri nets; decentralized control; structural controller

• Wydawca: Systems Research Institute, Polish Academy of Sciences
• Czasopismo: Control and Cybernetics
• Rocznik: 2007
• Tom: Vol. 36, no 1
• Strony: 143--159
• Opis fizyczny: Bibliogr. 24 poz., rys.

Twórcy

autor

Aybar A.

• Department of Electrical and Electronics Engineering, Anadolu University, 26470 Eskigehir, Turkey,

Bibliografia

• AYBAR, A., İFTAR. A. and APAYDIN-ÖZKAN, H. (2005) Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets. International Journal of Control 78, 537-553.
• AYBAR, A. and İFTAR, A. (2001) Decentralized control design for interconnected discrete-event systems. Preprints of the 9th IFAC Symposium on Large Scale Systems. Bucharest, Romania, 415-418.
• AYBAR, A. and İFTAR, A. (2002) Overlapping decompositions and expansions of Petri nets. IEEE Transactions on Automatic Control 47, 511-515.
• AYBAR, A. and İFTAR, A. (2003a) Decentralized controller design to enforce boundedness. liveness and reversibility in Petri nets. Proceeding CD-ROM of the European Control Conference. Cambridge. UK.
• AYBAR, A. and İFTAR, A. (2003b) Decentralized supervisory controller design to avoid deadlock in Petri nets. International Journal of Control 76, 1285-1295.
• BARKAOUI, K.and ABDALLAH, I. B. (1995) Deadlock avoidance in FMS based on structural theory of Petri nets. Proceedings of The 1995 IEEE Symposium on The Emerging Technology and Factory Automation. Paris, Prance, 499-510.
• CHO, K. H. and LIM, J. T. (1999) Mixed centralized/decentralized supervisory control of discrete-event dynamic systems. Automatica 35, 121-128.
• GORMEN, T. H., LEISERSON, C. E. and RIVEST, R. L. (1990) Introduction to Algorithms. The MIT Press.
• ESPARZA, J. and NIELSEN, M. (1994) Decidability issues in Petri nets. BRICS Report Series. RS-94-8, Department of Computer Science, University of Aarhus, Aarhus, Denmark.
• EZPELETA, J., COLOM, J. M. and MARTINEZ, J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11, 173-184.
• GIUA, A. and DICESARE, F. (1994) Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control 39, 818-823.
• HAOXUN, C. (1998) Net structure and control logic synthesis of controlled Petri nets. IEEE Transactions on Automatic Control 43, 1446-1450.
• HOLLOWAY, L. E. and KROGH, B. H. (1990) Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control 35, 514-523.
• İFTAR, A. and ÖZGÜNER, U. (1998) Overlapping decompositions, expansions, contractions, and stability of hybrid systems. IEEE Transactions on Automatic Control 43, 1040-1055.
• IKEDA, M. and ŠILJAK, D. D. (1980) Overlapping decompositions, expansions, and contractions of dynamic systems. Large Scale Systems 1, 29-38.
• IORDACHE, M. V. and ANTSAKLIS. P. J. (2001) Generalized conditions for liveness enforcement and deadlock prevention in Petri nets. Proceedings of 22 International Conference on Application and Theory of Petri Nets (ICATPN2001). Newcastle upon Tyne, UK., 184-203.
• IORDACHE, M. V., MOODY, J. O. and ANTSAKLIS, P. J. (2001) A method for the synthesis of liveness enforcing supervisors in Petri nets. Proceedings of the American Control Conference. Arligton, VA., 4943-4948.
• LIN, F. and WONHAM, W. M. (1990) Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control 35, 1330-1337.
• RAMADGE, P. J. G. and WONHAM, W. M. (1989) The control of discrete event systems. Proceedings of the IEEE 77, 81-98.
• RUDIE, K. and WONHAM, W. M. (1992) Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control 37, 1692-4708.
• SREENIVAS, R. S. (1997) On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets. IEEE Transactions on Automatic Control 42, 928-945.
• SREENIVAS, R. S. and KROGH, B. H. (1992) On Petri net models of infinite state supervisors. IEEE Transactions on Automatic Control 37, 274-277.
• UZAM, M. and WONHAM, W. M. (2006) A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. International Journal of Advanced Manufacturing Technology 28, 747-760.
• ZHOU, M. and DiCESARE, F. (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, Norwell, MA.