Home > Intelligent Manufacturing Systems > 9th IFAC Workshop on Intelligent Manufacturing Systems (2008) > Deadlock freeness supervisor for marked graph
» Download Article
Document
Reference
Deadlock freeness supervisor for marked graph
Intelligent Manufacturing Systems, Volume # 9 | Part# 1
Location: Szczecin University of Technology, Poland
National Organizing Committee Chair: Zaikin, Oleg, Korytkowski, Przemyslaw, Maslowski, Andrzej
International Program Committee Chair: Pereira, Carlos Eduardo, Banaszak, Zbigniew A., Matuszek, Matuszek
Conference Editor: Pereira, Carlos Eduardo, Zaikin, Oleg, Banaszak, Zbigniew A.
Authors
Hatem, Sioud; Achour, Zied; Alexandre, Sava; Rezg, Nidhal
Digital Object Identifier (DOI)
10.3182/20081205-2-CL-4009.00027
Page Numbers:
145-150
Index Terms
discrete-event system,control theory,deadlock avoidance,supervisory control,state feedback,marked graph,Petri net
Abstract
This note presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable transitions. It solves forbidden state problems characterized by a set of general mutual exclusion constraints. We prove that the closed loop control can reach a deadlock situation. Using the structural proprieties of marked graph we defined causes of the deadlock situation, and we defined a formal method to avoid it.
References
[1] F. Basile, P. Chiacchio, L. Recalde and M. Silva, (2000).
"Closed-loop live Petri net supervisors for GMEC",
Proceedings of WODES 2000, 171-180.
[2] F. Basile, P. Chiacchio, L. Recalde and M. Silva, (2006).
"Suboptimal supervisory control of Petri nets in presence of
uncontrollable transitions via monitor places". Automatica
42, 995 - 1004.
[3] P. Darondeau and X. L. Xie, (2003) "Linear control of live
marked graphs, Automatica, vol. 39, no. 3, pp. 429-440, Mar.
[4] Ghaffari A., Rezg N. and Xie X., (2003), "Feedback control
logic for forbidden state problem of marked graphs", IEEE
Trans. on Automatic Control, vol. 48/1, pp.18-29.
[5] Giua A., DiCesare F., Silva M, (1993), "Petri net supervisor
for generalized mutual exclusion constraints", 12th IFAC
World Congress Sidney, Australia, pp.267-270.
[6] Holloway, L. E., and Krogh, B. H. (1992). "On closed-loop
liveness of discrete event systems under maximally
permissive control". IEEE Transon Automatic Control 37(5):
692-697.
[7] Moody J., Antsaklis P. J., (1999) "Petri Net Supervisors for
DES with uncontrollable and unobservable Transitions",
Report 99-004(ISIS).
[8] Ramadge, P. J. G., & Wonham, W. M. (1989), "The control
of discrete event systems". Proceedings of the IEEE, 77(1),
81-98.
[9] Rezg N., Xie X., Ghaffari A., (2000) "Supervisory Control in
Discrete Event Systems Using the Theory of Regions",
Discrete Event System Analysis and Control, pp. 391-398.