Deadlock freeness supervisor for marked graph
Intelligent Manufacturing Systems, Volume # 9 | Part# 1
Hatem, Sioud; Achour, Zied; Alexandre, Sava; Rezg, Nidhal
Digital Object Identifier (DOI)
discrete-event system,control theory,deadlock avoidance,supervisory control,state feedback,marked graph,Petri net
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.
 F. Basile, P. Chiacchio, L. Recalde and M. Silva, (2000). "Closed-loop live Petri net supervisors for GMEC", Proceedings of WODES 2000, 171-180.  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.  P. Darondeau and X. L. Xie, (2003) "Linear control of live marked graphs, Automatica, vol. 39, no. 3, pp. 429-440, Mar.  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.  Giua A., DiCesare F., Silva M, (1993), "Petri net supervisor for generalized mutual exclusion constraints", 12th IFAC World Congress Sidney, Australia, pp.267-270.  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.  Moody J., Antsaklis P. J., (1999) "Petri Net Supervisors for DES with uncontrollable and unobservable Transitions", Report 99-004(ISIS).  Ramadge, P. J. G., & Wonham, W. M. (1989), "The control of discrete event systems". Proceedings of the IEEE, 77(1), 81-98.  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.