{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T20:20:00Z","timestamp":1780431600486,"version":"3.54.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,10,31]],"date-time":"2008-10-31T00:00:00Z","timestamp":1225411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s10626-008-0054-3","type":"journal-article","created":{"date-parts":[[2008,10,30]],"date-time":"2008-10-30T20:04:06Z","timestamp":1225397046000},"page":"63-102","source":"Crossref","is-referenced-by-count":44,"title":["On the Computation of Natural Observers in Discrete-Event Systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Lei","family":"Feng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2008,10,31]]},"reference":[{"key":"54_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston"},{"key":"54_CR2","unstructured":"Cho H (1990) Designing observation functions in supervisory control. In: Proc. Korean automatic control conference, Seoul, 26\u201327 October 1990, pp 523\u2013528"},{"key":"54_CR3","unstructured":"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"},{"key":"54_CR4","unstructured":"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\u201312 July 2006, pp 3\u20138"},{"key":"54_CR5","doi-asserted-by":"crossref","unstructured":"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\u201315 December 2006, pp 428\u2013433","DOI":"10.1109\/CDC.2006.376857"},{"key":"54_CR6","doi-asserted-by":"crossref","first-page":"1449","DOI":"10.1109\/TAC.2008.927679","volume":"53","author":"L Feng","year":"2008","unstructured":"Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE Trans Automat Contr 53:1449\u20131461","journal-title":"IEEE Trans Automat Contr"},{"issue":"2\u20133","key":"54_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"JC Fernandez","year":"1990","unstructured":"Fernandez JC (1990) An implementation of an efficient algorithm for bisimulation equivalence. Sci Comput Program 13(2\u20133):219\u2013236","journal-title":"Sci Comput Program"},{"key":"54_CR8","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman, San Francisco"},{"issue":"5","key":"54_CR9","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/3477.875441","volume":"30","author":"P Gohari","year":"2000","unstructured":"Gohari P, Wonham WM (2000) On the complexity of supervisory control design in the RW framework. IEEE Trans Syst Man Cybern B 30(5):643\u2013652","journal-title":"IEEE Trans Syst Man Cybern B"},{"issue":"11","key":"54_CR10","doi-asserted-by":"crossref","first-page":"1579","DOI":"10.1109\/9.543996","volume":"41","author":"A Haji-Valizadeh","year":"1996","unstructured":"Haji-Valizadeh A, Loparo KA (1996) Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems. IEEE Trans Automat Contr 41(11):1579\u20131593","journal-title":"IEEE Trans Automat Contr"},{"key":"54_CR11","unstructured":"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\u201312 July 2006, pp 399\u2013406"},{"issue":"1","key":"54_CR12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/9.981721","volume":"47","author":"P Hubbard","year":"2002","unstructured":"Hubbard P, Caines PE (2002) Dynamical consistency in hierarchical supervisory control. IEEE Trans Automat Contr 47(1):37\u201352","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"54_CR13","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TAC.2003.809144","volume":"48","author":"S Jiang","year":"2003","unstructured":"Jiang S, Kumar R, Garcia HE (2003) Optimal sensor selection for discrete-event systems with partial observation. IEEE Trans Automat Contr 48(3):369\u2013381","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"54_CR14","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1109\/TAC.2005.854586","volume":"50","author":"RJ Leduc","year":"2005","unstructured":"Leduc RJ, Brandin BA, Lawford M, Wonham WM (2005a) Hierarchical interface-based supervisory control-part I: serial case. IEEE Trans Automat Contr 50(9):1322\u20131335","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"54_CR15","doi-asserted-by":"crossref","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"RJ Leduc","year":"2005","unstructured":"Leduc RJ, Lawford M, Wonham WM (2005b) Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans Automat Contr 50(9):1336\u20131348","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"54_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) Decentralized supervisory control of discrete-event systems. Inform Sci 44(3):199\u2013224","journal-title":"Inform Sci"},{"key":"54_CR17","volume-title":"LNCIS, vol 317.","author":"C Ma","year":"2005","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. In: Thomas M, Morari M (eds) LNCIS, vol 317. Springer, Berlin"},{"key":"54_CR18","volume-title":"Algebra","author":"S Mac Lane","year":"1979","unstructured":"Mac Lane S, Birkhoff G (1979) Algebra. Macmillan, New York"},{"key":"54_CR19","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall, New York"},{"key":"54_CR20","doi-asserted-by":"crossref","unstructured":"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\u201312 July 2006, pp 107\u2013112","DOI":"10.1109\/WODES.2006.1678416"},{"issue":"1","key":"54_CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201389","journal-title":"Proc IEEE"},{"issue":"1","key":"54_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10626-006-6187-3","volume":"16","author":"KR Rohloff","year":"2006","unstructured":"Rohloff KR, Khuller S, Kortsarz G (2006) Approximating the minimal sensor selection for supervisory control. Discrete Event Dyn Syst 16(1):143\u2013170","journal-title":"Discrete Event Dyn Syst"},{"key":"54_CR23","doi-asserted-by":"crossref","unstructured":"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\u201313 December 2002","DOI":"10.1109\/CDC.2002.1184460"},{"key":"54_CR24","unstructured":"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\u201312 July 2006, pp 413\u2013418"},{"key":"54_CR25","unstructured":"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\u201329 June 2005, pp 902\u2013907"},{"key":"54_CR26","doi-asserted-by":"crossref","unstructured":"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\u201312 July 2006, pp 149\u2013154","DOI":"10.1109\/WODES.2006.1678423"},{"key":"54_CR27","volume-title":"Introduction to the theory of computation","author":"M Sipser","year":"1997","unstructured":"Sipser M (1997) Introduction to the theory of computation. PWS, Boston"},{"key":"54_CR28","unstructured":"Wong K (1998) On the complexity of projections of discrete-event systems. In: Proc. the 4th international workshop on discrete event systems, Cagliari, 26\u201328 August 1998, pp 201\u2013206"},{"issue":"3","key":"54_CR29","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"K Wong","year":"1996","unstructured":"Wong K, Wonham WM (1996) Hierarchical control of discrete-event systems. Discrete Event Dyn Syst 6(3):241\u2013273","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"54_CR30","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"K Wong","year":"1998","unstructured":"Wong K, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discrete Event Dyn Syst 8(3):247\u2013297","journal-title":"Discrete Event Dyn Syst"},{"key":"54_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1082-5","volume-title":"Linear multivariable control: a geometric approach","author":"WM Wonham","year":"1985","unstructured":"Wonham WM (1985) Linear multivariable control: a geometric approach, 3rd ed. Springer, London","edition":"3"},{"key":"54_CR32","unstructured":"Wonham WM (2007) Supervisory control of discrete-event systems, Department of Electrical and Computer Engineering, University of Toronto, 1998\u20132007. http:\/\/www.control.utoronto.ca\/DES (updates posted annually)"},{"issue":"1","key":"54_CR33","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K Wong","year":"2004","unstructured":"Wong K, Wonham WM (2004) On the computation of observers in discrete-event systems. Discrete Event Dyn Syst 14(1):55\u2013107","journal-title":"Discrete Event Dyn Syst"},{"issue":"9","key":"54_CR34","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1109\/TAC.2002.802762","volume":"47","author":"T-S Yoo","year":"2002","unstructured":"Yoo T-S, Lafortune S (2002) NP-completeness of sensor selection problems arising in partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1495\u20131499","journal-title":"IEEE Trans Automat Contr"},{"key":"54_CR35","unstructured":"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"},{"issue":"6","key":"54_CR36","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/0005-1098(92)90061-J","volume":"28","author":"M Zhou","year":"1992","unstructured":"Zhou M, DiCesare F, Rudolph D (1992) Design and implementation of a petri net based supervisor for a flexible manufacturing system. Automatica 28(6):1199\u20131208","journal-title":"Automatica"},{"issue":"10","key":"54_CR37","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1109\/9.58555","volume":"35","author":"H Zhong","year":"1990","unstructured":"Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Automat Contr 35(10):1125\u20131134","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0054-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0054-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0054-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:52Z","timestamp":1559246332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0054-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,31]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["54"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0054-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,31]]}}}