Maximally permissive supervisor synthesis based on a new constraint transformation method

Automatica

Volumn 48, Issue 6, 2012, Pages 1097-1101

  Luo, Jiliang ^a   Shao, Hui ^a   Nonami, Kenzo ^b   Jin, Fujiang ^a  

^a HUAQIAO UNIVERSITY   (China)

^b CHIBA UNIVERSITY   (Japan)

Author keywords

Discrete event systems; Petri nets; Supervisory control

Indexed keywords

CONSTRAINT TRANSFORMATION; LINEAR CONSTRAINTS; MONITOR PLACES; ORDINARY PETRI NET; SUPERVISORY CONTROL;

ALGORITHMS; DISCRETE EVENT SIMULATION; PETRI NETS; SUPERVISORY PERSONNEL; THEOREM PROVING;

MATHEMATICAL TRANSFORMATIONS;

EID: 84860295729     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2012.02.002     Document Type: Article

References (17)

1. F. Basile, C. Carbone, and P. Chiacchio Feedback control logic for backward conflict free choice nets IEEE Trans. Automat. Control 52 3 2007 387 400
2. F. Basile, P. Chiacchio, and A. Giua Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places Automatica 42 6 2006 995 1004
3. F. Basile, P. Chiacchio, and A. Giua An optimal approach to Petri net monitor design IEEE Trans. Automat. Control 52 2 2007 306 311 (Pubitemid 46444286)
4. R. Dideban, and H. Alla Reduction of constraints for controller synthesis based on safe Petri nets Automatica 44 7 2008 1697 1706
5. A. Ghaffari, N. Rezg, and X. Xie Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system IEEE Trans. Automat. Control 48 1 2003 18 29
6. Giua, A., DiCesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions, in Proc. of the 1992 IEEE international conference on system man and cybernetics. Chicago, USA (pp. 974-979).
7. L.E. Holloway, and B.H. Krogh Synthesis of feedback control logic for a class of controlled Petri nets IEEE Trans. Automat. Control 35 5 1990 514 523
8. L.E. Holloway, B.H. Krogh, and A. Giua A survey of Petri net methods for controlled discrete event system Discrete Event Dynamic Systems: Theory and Applications 7 2 1997 151 190 (Pubitemid 127510011)
9. M.V. Iordache, and P.J. Antsaklis Synthesis of supervisors enforcing general linear constraints in Petri nets IEEE Trans. Automat. Control 48 11 2003 2036 2039
10. M.V. Iordache, and P.J. Antsaklis Supervision based on place invariants: a survey Discrete Event Dynamic Systems 16 4 2006 451 492 (Pubitemid 44601458)
11. Y. Li, and W.M. Wonham Control of Vector discrete-event system II - controller synthesis IEEE Trans. Automat. Control 39 3 1994 512 531
12. Z.W. Li, M.C. Zhou, and N.Q. Wu A survey and comparison on Petri net-based deadlock prevention control policies for flexible manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part C: Application and Reviews 38 2 2008 173 188 (Pubitemid 351404113)
13. J. Luo, and K. Nonami Approach for transforming linear constraints on Petri nets IEEE Trans. Automat. Control 56 12 2011 2751 2765
14. J. Luo, W. Wu, H. Su, and J. Chu Supervisor synthesis for enforcing a class of GMECs on Petri nets IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 39 6 2009 1237 1246
15. J.O. Moody, and P.J. Antsaklis Petri net supervisors for des with uncontrollable and unobservable transitions IEEE Trans. Automat. Control 45 3 2000 462 476
16. G. Stremersch Supervision of Petri nets Kluwer international series on discrete event dynamic systems 2001
17. K. Yamalidou, J.O. Moody, M. Lemmon, and P. Antsaklis Feedback control of Petri nets based on place invariants Automatica 32 1 1996 15 28 (Pubitemid 126337854)