Deadlock freeness supervisor for marked graph

• Autorzy: Sioud H. , Achour Z. , Sava A. , Rezg N.
• Języki publikacji: EN

Abstrakty

EN

This note presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable transitions. The forbidden behavior is specified by General Mutual Exclusion Constraints (GMEC). We prove that, even if the system to be controlled .s live, the closed loop control may generate deadlock situations. Using the structural proprieties of marked graph we defined the causes of deadlock situations, and we defined a formal method to avoid them.

Słowa kluczowe

EN

discrete event system; forbidden state problem; deadlock avoidance; marked graph

• Wydawca: Polska Akademia Nauk, Wydział IV Nauk Technicznych
• Czasopismo: Bulletin of the Polish Academy of Sciences. Technical Sciences
• Rocznik: 2009
• Tom: Vol. 57, nr 3
• Strony: 281--289
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Sioud H.

autor

Achour Z.

autor

Sava A.

autor

Rezg N.

• INRIA Nancy Grand Est & LGIPM, Ilie du Saulcy, 57045 Metz Cedex, France,

Bibliografia

• [1] P.J.G. Ramadge and W.M. Wonham, "The control of discrete event systems", Proc. IEEE 77 (1), 81-98 (1989).
• [2] A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions", Systems, Man and Cybernetics, IEEE Int. Conf. 2, 974-979 (1992).
• [3] A. Giua, F. DiCesare, and M. Silva, "Petri net supervisor for generalized mutual exclusion constraints", 12th IFAC World Congress Sidney, 267-270 (1993).
• [4] F. Basile, P. Chiacchio, L. Recakle, and M. Silva, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places", Automatica 42, 995-1004 (2006).
• [5] J. Moody and P.J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions" , Report 99-004 ISIS, (1999).
• [6] P. Darondeau and X.L. Xie, "Linear control of live marked graphs, Automatica 39 (3), 429-440 (2003).
• [7] N. Rezg, X. Xie, and A. Ghaffari, "Supervisory control in discrete event systems using the theory of regions", Discrete Event System Analysis and Control, 391-398 (2000).
• [8] A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden state problem of marked graphs", IEEE Trans, on Automatic Control 48 (1), 18-29 (2003).
• [9] F. Basile, P. Chiacchio, L. Recalde, and M. Silva, "Closed-loop live Petri net supervisors for GMFC", Proc. WODES 2000, 171-180 (2000).