On the computation of natural observers in discrete-event systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 20, Issue 1, 2010, Pages 63-102

  Feng, Lei ^a   Wonham, W M ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Model abstraction; Natural projection; Observer

Indexed keywords

DISCRETE EVENT SYSTEMS; NATURAL OBSERVER; NATURAL PROJECTIONS; NON-BLOCKING; NP-HARD; POLYNOMIAL-TIME ALGORITHMS; SUPERVISORY CONTROL;

ABSTRACTING; COMPUTATIONAL COMPLEXITY;

ALGORITHMS;

EID: 76649129040     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-008-0054-3     Document Type: Article

References (37)

1. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston
2. Cho H (1990) Designing observation functions in supervisory control. In: Proc. Korean automatic control conference, Seoul, 26-27 October 1990, pp 523-528
3. Feng L (2007) Computationally efficient supervisor design in discrete-event systems. PhD thesis, Department of ECE, University of Toronto, Toronto, ON, Canada. http://www.control.utoronto.ca/fenglei
4. Feng L, Wonham WM (2006a) Computationally efficient supervisor design in discrete-event systems: abstraction and modularity. In: Lafortune S, Lin F, Tilbury D (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10-12 July 2006, pp 3-8
5. Feng L, Wonham WM (2006b) On the computation of natural observers in discrete-event systems. In: Proc. the 45th IEEE conference on decision and control, San Diego, 13-15 December 2006, pp 428-433
6. L Feng WM Wonham 2008 Supervisory control architecture for discrete-event systems IEEE Trans Automat Contr 53 1449 1461 10.1109/TAC.2008.927679 2451234
7. JC Fernandez 1990 An implementation of an efficient algorithm for bisimulation equivalence Sci Comput Program 13 2-3 219 236 0711.68058 10.1016/0167-6423(90)90071-K (Pubitemid 20718853)
8. Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman, San Francisco
9. P Gohari WM Wonham 2000 On the complexity of supervisory control design in the RW framework IEEE Trans Syst Man Cybern B 30 5 643 652 10.1109/3477.875441 (Pubitemid 30969620)
10. A Haji-Valizadeh KA Loparo 1996 Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems IEEE Trans Automat Contr 41 11 1579 1593 0868.93030 10.1109/9.543996 1419683
11. 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 (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10-12 July 2006, pp 399-406
12. P Hubbard PE Caines 2002 Dynamical consistency in hierarchical supervisory control IEEE Trans Automat Contr 47 1 37 52 10.1109/9.981721 1879689 (Pubitemid 34504321)
13. S Jiang R Kumar HE Garcia 2003 Optimal sensor selection for discrete-event systems with partial observation IEEE Trans Automat Contr 48 3 369 381 10.1109/TAC.2003.809144 1962246
14. RJ Leduc BA Brandin M Lawford WM Wonham 2005 Hierarchical interface-based supervisory control-part I: serial case IEEE Trans Automat Contr 50 9 1322 1335 10.1109/TAC.2005.854586 2164431 (Pubitemid 41388169)
15. RJ Leduc M Lawford WM Wonham 2005 Hierarchical interface-based supervisory control-part II: parallel case IEEE Trans Automat Contr 50 9 1336 1348 10.1109/TAC.2005.854612 2164432 (Pubitemid 41388170)
16. F Lin WM Wonham 1988 Decentralized supervisory control of discrete-event systems Inform Sci 44 3 199 224 0679.68042 10.1016/0020-0255(88)90002-3 933689 (Pubitemid 18604795)
17. Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. In: Thomas M, Morari M (eds) LNCIS, vol 317. Springer, Berlin
18. Mac Lane S, Birkhoff G (1979) Algebra. Macmillan, New York
19. Milner R (1989) Communication and concurrency. Prentice Hall, New York
20. Pena PN, Cury JER, Lafortune S (2006) Testing modularity of local supervisors: an approach based on abstractions. In: Lafortune S, Lin F, Tilbury D (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10-12 July 2006, pp 107-112
21. PJ Ramadge WM Wonham 1989 The control of discrete event systems Proc IEEE 77 1 81 89 10.1109/5.21072
22. KR Rohloff S Khuller G Kortsarz 2006 Approximating the minimal sensor selection for supervisory control Discrete Event Dyn Syst 16 1 143 170 1103.93019 10.1007/s10626-006-6187-3 2204314 (Pubitemid 43261387)
23. Rohloff KR, Lafortune S (2002) On the computational complexity of the verification of modular discrete-event systems. In: Proc. the 41st IEEE conference on decision and control, Las Vegas, 10-13 December 2002
24. Schmidt K, Moor T (2006) Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems. In: Lafortune S, Lin F, Tilbury D (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10-12 July 2006, pp 413-418 (Pubitemid 46944116)
25. Schmidt K, Moor T, Perk S (2005) A hierarchical architecture for nonblocking control of decentralized discrete event systems. In: Proc. the 13th Mediterranean conference on control and automation, Limassol, 27-29 June 2005, pp 902-907
26. 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 (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10-12 July 2006, pp 149-154
27. Sipser M (1997) Introduction to the theory of computation. PWS, Boston
28. Wong K (1998) On the complexity of projections of discrete-event systems. In: Proc. the 4th international workshop on discrete event systems, Cagliari, 26-28 August 1998, pp 201-206
29. K Wong WM Wonham 1996 Hierarchical control of discrete-event systems Discrete Event Dyn Syst 6 3 241 273 0898.93005 10.1007/BF01797154 1689815
30. K Wong WM Wonham 1998 Modular control and coordination of discrete-event systems Discrete Event Dyn Syst 8 3 247 297 0915.93028 10.1023/A:1008210519960 1689815
31. Wonham WM (1985) Linear multivariable control: a geometric approach, 3rd ed. Springer, London
32. Wonham WM (2007) Supervisory control of discrete-event systems, Department of Electrical and Computer Engineering, University of Toronto, 1998-2007. http://www.control.utoronto.ca/DES (updates posted annually)
33. K Wong WM Wonham 2004 On the computation of observers in discrete-event systems Discrete Event Dyn Syst 14 1 55 107 1035.93049 10.1023/B:DISC. 0000005010.55515.27 2032312
34. T-S Yoo S Lafortune 2002 NP-completeness of sensor selection problems arising in partially-observed discrete-event systems IEEE Trans Automat Contr 47 9 1495 1499 10.1109/TAC.2002.802762 1924317
35. Young SD, Garg VK (1993) Optimal sensor and actuator choices for discrete event systems. In: Proc. the 31st Allerton conference on communication, control, and computing, Allerton, September 1993
36. M Zhou F DiCesare D Rudolph 1992 Design and implementation of a petri net based supervisor for a flexible manufacturing system Automatica 28 6 1199 1208 0775.93068 10.1016/0005-1098(92)90061-J 1196783 (Pubitemid 23587956)
37. H Zhong WM Wonham 1990 On the consistency of hierarchical supervision in discrete-event systems IEEE Trans Automat Contr 35 10 1125 1134 0724.93051 10.1109/9.58555 1073257