{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:16:52Z","timestamp":1773656212831,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008226632478","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"127-149","source":"Crossref","is-referenced-by-count":16,"title":["Why Event Observation: Observability Revisited"],"prefix":"10.1007","volume":"7","author":[{"given":"Changwei","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng-Hui","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"129865_CR1","unstructured":"Ben Hadj-Alouane, N., Lafortune, S., and Lin, F. 1993. Control of partially observed discrete event systems with variable lookahead maximal policies. Proceedings of the 31st Annual Allerton Conference on Communication, Control, and Computing, pp. 898\u2013907."},{"key":"129865_CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02088297","volume":"22","author":"H. Cho","year":"1989","unstructured":"Cho, H., and Marcus, S. I. 1989. Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations. Mathematical Systems Theory 22: 177\u2013211.","journal-title":"Mathematical Systems Theory"},{"issue":"12","key":"129865_CR3","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S. L. Chung","year":"1992","unstructured":"Chung, S. L., Lafortune, S., and Lin, F. 1992. Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control 37(12): 1921\u20131935.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"129865_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"Cieslak, R., Desclaux, C., Fawaz A., and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control 33(3): 249\u2013260.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"129865_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/37.56284","volume":"10","author":"M. Heymann","year":"1990","unstructured":"Heymann, M. 1990. Concurrency and discrete event control. IEEE Control Systems Magazine 10(4): 103\u2013112.","journal-title":"IEEE Control Systems Magazine"},{"issue":"3","key":"129865_CR6","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M. Heymann","year":"1994","unstructured":"Heymann, M., and Lin, F. 1994. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 4(3): 221\u2013236.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"129865_CR7","series-title":"CIS Report","volume-title":"Discrete event control of nondeterministic systems","author":"M. Heymann","year":"1996","unstructured":"Heymann, M., and Lin, F. 1996. Discrete event control of nondeterministic systems. CIS Report 9601, Technion, Israel."},{"key":"129865_CR8","unstructured":"Heymann, M., and Meyer, G. 1991. An algebra of discrete event processes. NASA Technical Memorandum 102848."},{"key":"129865_CR9","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R. 1985. Communicating Sequential Processes, New York: Prentice-Hall."},{"key":"129865_CR10","unstructured":"Kumar, R. 1993. Formulas for observability of discrete event dynamical systems. Proceedings of 1993 Conference on Information Sciences and Systems, pp. 581\u2013586."},{"key":"129865_CR11","unstructured":"Kumar, R., and Shayman, M. A. 1993. Non-blocking supervisory control of nondeterministic systems via prioritized synchronization. Technical Research Report, T.R. 93-58, Institute for Systems Research, University of Maryland."},{"issue":"3","key":"129865_CR12","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., and Wonham, W. M. 1988a. Decentralized supervisory control of discrete-event systems. Information Sciences 44(3), 199\u2013224.","journal-title":"Information Sciences"},{"issue":"3","key":"129865_CR13","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., and Wonham, W. M. 1988b. On observability of discrete event systems. Information Sciences 44(3): 173\u2013198.","journal-title":"Information Sciences"},{"issue":"12","key":"129865_CR14","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/9.61009","volume":"35","author":"F. Lin","year":"1990","unstructured":"Lin, F., and Wonham, W. M. 1990. Decentralized control and coordination of discrete event systems with partial observation. IEEE Transactions on Automatic Control 35(12): 1330\u20131337.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"129865_CR15","doi-asserted-by":"crossref","unstructured":"Overkamp, A. 1994. Supervisory control for nondeterministic systems. Proceedings of 11th International Conference on Analysis and Optimization of Systems, pp. 59\u201365.","DOI":"10.1007\/BFb0033532"},{"issue":"1","key":"129865_CR16","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"R. J. Ramadge","year":"1987","unstructured":"Ramadge, R. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1): 206\u2013230.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"129865_CR17","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of IEEE 77(1): 81\u201398.","journal-title":"Proceedings of IEEE"},{"issue":"11","key":"129865_CR18","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., and Wonham, W. M. 1992. Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control 37(11): 1692\u20131708.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"129865_CR19","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0167-6911(90)90059-4","volume":"15","author":"K. Rudie","year":"1990","unstructured":"Rudie, K., and Wonham, W. M. 1990. The infimal prefix-closed and observable superlanguage of a given language. Systems & Control Letters 15: 361\u2013371.","journal-title":"Systems & Control Letters"},{"key":"129865_CR20","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1994. Failure diagnosis using discrete event models. Report CGR-94-03, University of Michigan."},{"issue":"2","key":"129865_CR21","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1137\/S0363012992239600","volume":"33","author":"M. Shayman","year":"1995","unstructured":"Shayman, M., and Kumar, R. 1995. Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models. SIAM Journal of Control and Optimization 33(2): 469\u2013497.","journal-title":"SIAM Journal of Control and Optimization"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008226632478.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008226632478\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008226632478.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:53:40Z","timestamp":1753761220000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008226632478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["129865"],"URL":"https:\/\/doi.org\/10.1023\/a:1008226632478","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}