Supervisor localization for large discrete-event systems : Case study production cell

International Journal of Advanced Manufacturing Technology

Volumn 50, Issue 9-12, 2010, Pages 1189-1202

  Cai, Kai ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Distributed supervisory control; Supervisor localization

Indexed keywords

BENCHMARK APPLICATIONS; DECENTRALIZED ARCHITECTURE; DISCRETE EVENT SYSTEMS; DISTRIBUTED CONTROL; DISTRIBUTED CONTROL ARCHITECTURES; INTERNAL CONTROLS; LOCAL CONTROLLERS; PLANT COMPONENTS; PRODUCTION CELLS; QUANTITATIVE ANALYSIS; SUPERVISOR LOCALIZATION; SUPERVISORY CONTROL;

ARCHITECTURE; BENCHMARKING; SUPERVISORY PERSONNEL;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 77957867647     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-010-2561-2     Document Type: Article

References (24)

1. Cai K (2008) Supervisor localization: a top-down approach to distributed control of discrete-event systems. Master's thesis, ECE Dept, University of Toronto. http://www.control.toronto.edu/DES/CaiKai-MASc-Thesis.pdf
2. Cai K, Wonham WM (2009a) Supervisor localization: a top-down approach to distributed control of discrete-event systems. In: Proc. 2nd Mediterranean conf. on intelligent systems and automation (CISA09), Zarzis, Tunisia, pp 302-308
3. Cai K, Wonham WM (2009b) Supervisor localization for large-scale discrete-event systems. In: Proc. 48th IEEE conf. on decision and control, Shanghai, pp 3099-3105
4. Cai K, Wonham WM (2010) Supervisor localization: a top-down approach to distributed control of discrete-event systems. IEEE Trans Automat Contr 55(3)
5. Feng L, Wonham WM (2006) Computationally efficient supervisory design: control flow decomposition. In: Proc. int. workshop discrete event systems (WODES06), Ann Arbor, pp 9-14
6. L Feng WM Wonham 2008 Supervisory control architecture for discrete-event systems IEEE Trans Automat Contr 53 6 1449 1461 10.1109/TAC.2008.927679 2451234
7. L Feng K Cai WM Wonham 2009 A structural approach to the nonblocking supervisory control of discrete-event systems Int J Adv Manuf Technol 41 11 1152 1167 10.1007/s00170-008-1555-9
8. P Gohari WM Wonham 2000 On the complexity of supervisory control design in the RW framework IEEE Trans Syst Man Cybern B Cybern 30 5 643 652 10.1109/3477.875441 Special Issue on DES
9. Hill R, Tilbury D (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: Proc. int. workshop discrete event systems (WODES06), Ann Arbor, pp 399-406
10. K Hiraishi 2009 On solvability of a decentralized supervisory control problem with communication IEEE Trans Automat Contr 54 3 468 480 10.1109/TAC.2009.2012974 2191541
11. Lewerentz C, Lindner T (eds) (1995) Formal development of reactive systems-case study production cell. Springer, London
12. F Lin WM Wonham 1988 Decentralized supervisory control of discrete-event systems Inf Sci 44 199 224 0679.68042 10.1016/0020-0255(88)90002-3 933689 (Pubitemid 18604795)
13. PJ Ramadge WM Wonham 1987 Supervisory control of a class of discrete event processes SIAM J Control Optim 25 1 206 230 0618.93033 10.1137/0325013 872459
14. K Rudie WM Wonham 1992 Think globally, act locally: decentralized supervisory control IEEE Trans Automat Contr 37 11 1692 1708 0778.93002 10.1109/9.173140 1195211
15. K Schmidt T Moor S Perk 2008 Nonblocking hierarchical control of decentralized discrete event systems IEEE Trans Automat Contr 53 10 2252 2265 10.1109/TAC.2008.2006817 2466582
16. KT Seow MT Pham C Ma M Yokoo 2009 Coordination planning: applying control synthesis methods for a class of distributed agents IEEE Trans Control Syst Technol 17 2 405 415 10.1109/TCST.2008.924574
17. HA Simon 1962 The architecture of complexity Proc Am Philos Soc 106 467 482
18. R Su WM Wonham 2004 Supervisor reduction for discrete-event systems Discrete Event Dyna Syst Theory Appl 14 1 31 53 1035.93048 10.1023/B:DISC. 0000005009.40749.b6 2032311
19. Y Willner M Heymann 1991 Supervisory control of concurrent discrete-event systems Int J Control 54 5 1143 1169 0752.93043 10.1080/00207179108934202 1130759
20. KC Wong WM Wonham 1996 Hierarchical control of discrete-event systems Discrete Event Dyna Syst Theory Appl 6 3 241 273 0898.93005 10.1007/BF01797154 1689815
21. Wonham WM (2009a) Design software: XPTCT, Systems Control Group, ECE Dept, University of Toronto, Version 133, Windows XP, updated July 1, 2009. http://www.control.toronto.edu/DES
22. Wonham WM (2009b) Supervisory control of discrete-event systems, Systems Control Group, ECE Dept, University of Toronto, updated July 1, 2009. http://www.control.toronto.edu/DES
23. WM Wonham PJ Ramadge 1987 On the supremal controllable sublanguage of a given language SIAM J Control Optim 25 3 637 659 10.1137/0325036 885190
24. TS Yoo S Lafortune 2002 A general architecture for decentralized supervisory control of discrete-event systems Discrete Event Dyna Syst Theory Appl 12 3 335 377 1048.93067 10.1023/A:1015625600613 1914332 (Pubitemid 34720980)