A structural approach to the non-blocking supervisory control of discrete-event systems

International Journal of Advanced Manufacturing Technology

Volumn 41, Issue 11-12, 2009, Pages 1152-1168

  Feng, Lei ^a   Cai, Kai ^b   Wonham, W M ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Non blocking control; Supervisory control

Indexed keywords

DECENTRALIZED CONTROL; SCADA SYSTEMS; SUPERVISORY PERSONNEL;

COMPUTATIONAL EFFORTS; CONTROL LOGIC; DEADLOCK FREENESS; DISCRETE-EVENT SYSTEMS; LIVENESS; MANUFACTURING SYSTEMS; MODEL ABSTRACTIONS; NON-BLOCKING CONTROL; STRUCTURAL APPROACHES; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

CONCURRENCY CONTROL;

EID: 63449136182     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-008-1555-9     Document Type: Article

References (47)

1. Ho YC (ed) (1992) Discrete event dynamic systems: analyzing complexity and performance in the modern world. IEEE Press, New York
2. PJ Ramadge WM Wonham 1987 Supervisory control of a class of discrete event systems SIAM J Control Optim 25 1 635 650
3. PJ Ramadge WM Wonham 1989 The control of discrete event systems Proc IEEE, Special Issue on DES 77 1 81 89
4. Brandin BA, Charbonnier FE (1994) The supervisory control of the automated manufacturing system of the AIP. In: Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, New York, NY, pp 319-324. IEEE Computer Society Press
5. V Chandra Z Huang R Kumar 2003 Automated control synthesis for an assembly line using discrete-event system control theory IEEE T Syst Man Cy C 33 2 284 289
6. S Ricker N Sarkar K Rudie 1996 A discrete-event system approach to modeling dexterous manipulation Robotica 14 5 515 526
7. Giua A, Seatzu C (2001) Supervisory control of railway networks with Petri nets. In: Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, December, 5004-5009
8. Jafari MA, Darabi H, Boucher TO, Amini A (2002) A distributed discrete event dynamic model for supply chain of business enterprises. In: Silva M, Giua A, Colom JM (eds) Proceedings of WODES2002, Zaragoza, Spain, pp 279-285. IEEE Control Systems Society
9. P Kozak WM Wonham 1996 Design of transaction management protocols IEEE T Automat Contr 41 9 1330 1335
10. L Feng WM Wonham PS Thiagarajan 2007 Designing communicating transaction processes by supervisory control theory Form Method Syst Des 30 2 117 141
11. M Seidl 2006 Systematic controller design to drive high-load cell centers IEEE T Contr Syst T 14 2 216 223
12. de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Boel R, Stremersch G (ed) Discrete event systems: analysis and control. Kluwer, Dordrecht, pp 103-110
13. Hoffman G, Wong-Toi H (1992) Symbolic synthesis of supervisory controllers. In: Proceedings of ACC, Chicago, IL, pp 2789-2793
14. Åkesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain
15. Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. In: Thoma M, Morari M (ed) LNCIS 317. Springer, Berlin Heidelberg New York
16. Schmidt K, Marchand H, Gaudin B (2006) Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, pp 149-154
17. Zhang ZH (2001) Smart TCT: an efficient algorithm for supervisory control design. M.A.Sc thesis, Electrical and Computer Engineering, University of Toronto
18. Hill R, Tilbury D (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, pp 399-406
19. P Gohari WM Wonham 2000 On the complexity of supervisory control design in the RW framework IEEE T Syst Man Cy B 30 5 643 652
20. Rohloff K, Lafortune S (2002) On the computational complexity of the verification of modular discrete-event systems. In: Proceedings of the 41th CDC, Las Vegas, NV, December, 16-21
21. SH Lee KC Wong 2002 Structural decentralized control of concurrent discrete-event systems Eur J Control 8 5 477 491
22. Schmidt K, Reger J, Moor T (2004) Hierarchical control for structural decentralized DES. In: Proceedings of the 7th WODES, Rheims, France, September, pp 289-294
23. KC Wong WM Wonham 1998 Modular control and coordination of discrete-event systems Discrete Event Dyn Syst 8 3 247 297
24. RJ Leduc BA Brandin M Lawford WM Wonham 2005 Hierarchical interface-based supervisory control-part I: serial case IEEE T Automat Contr 50 9 1322 1335
25. RJ Leduc M Lawford WM Wonham 2005 Hierarchical interface-based supervisory control-part II: parallel case IEEE T Automat Contr 50 9 1336 1348
26. Pena P, Cury J, Lafortune S (2006) Testing modularity of local supervisors: an approach based on abstractions. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, pp 107-112
27. KC Wong WM Wonham 1996 Hierarchical control of discrete-event systems Discrete Event Dyn Syst 6 3 241 273
28. A Vahidi M Fabian B Lennartson 2006 Efficient supervisory synthesis of large systems Control Eng Pract 14 10 1157 1167
29. Song R, Leduc RJ (2006) Symbolic synthesis and verification of hierarchical interface-based supervisory control. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, pp 419-426
30. Feng L, Wonham WM (2006) Computationally efficient supervisor design: abstraction and modularity. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, 3-8
31. Feng L, Wonham WM (2006) Computationally efficient supervisor design: control flow decomposition. In: Lafortune S, Lin F, Tilbury D (ed) Proceedings of the 8th WODES, Ann Arbor, MI, July, 9-14
32. Feng L, Wonham WM (2007) Nonblocking coordination of discrete-event systems by control-flow nets. In: Proceedings of the 46th CDC, New Orleans, LA, December
33. Feng L (2007) Computationally efficient supervisory design for discrete-event systems, PhD Thesis, Electrical and Computer Engineering, University of Toronto, 2007, http://www.control.utoronto.ca/~fenglei
34. Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE T Automat Contr (to appear in June 2008)
35. LE Holloway BH Krogh A Giua 1997 A survey of Petri net methods for controlled discrete event systems Discrete Event Dyn Syst 7 2 151 190
36. MV Iordache PJ Antsaklis 2006 Supervision based on place invariants: a survey Discrete Event Dyn Syst 16 4 419 557
37. Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Chicago, IL, pp 974-979
38. M Uzam WM Wonham 2006 A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets Int J Adv Manuf Technol 28 7 747 760
39. MP Fanti MC Zhou 2004 Deadlock control methods in automated manufacturing systems IEEE T Syst Man Cy A 34 1 5 22
40. J Zajac 2004 A deadlock handling method for automated manufacturing systems Ann CIRP Manuf Tech 53 1 367 370
41. Wonham W.M.
42. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Dordrecht
43. Feng L, Wonham WM (2006) On the computation of natural observers in discrete-event systems. In: Proceedings of the 45th IEEE CDC, San Diego, CA, December, pp 428-433
44. KC Wong WM Wonham 2004 On the computation of observers in discrete-event systems Discrete Event Dyn Syst 14 1 55 107
45. XPTCT (2007) Design software for SCT (Version 119, Windows XP, updated 2007.07.01). ECE Dept, University of Toronto, http://www.control.toronto.edu/DES
46. Melcher H, Winkelmann K (1998) Controller synthesis for the 'production cell' case study. Proceedings of the second workshop on formal methods in software practice, Clearwater Beach, FL, pp 24-33
47. R Su WM Wonham 2004 Supervisor reduction for discrete-event systems Discrete Event Dyn Syst 14 1 31 53