{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:39:43Z","timestamp":1773326383225,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"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":[[2001,10]]},"DOI":"10.1023\/a:1011273108731","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T04:18:21Z","timestamp":1040617101000},"page":"319-369","source":"Crossref","is-referenced-by-count":78,"title":["State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata"],"prefix":"10.1007","volume":"11","author":[{"given":"J.","family":"Lunze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Schr\u00f6der","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"353913_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"A. Aghasaryan","year":"1998","unstructured":"Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., and Jard, C. 1998. Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri-nets. Discrete Event Dynamic Systems: Theory and Applications 8: 203\u2013231.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"353913_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-11636-3","volume-title":"Theorie der Stochastischen Automaten","author":"R. Bukharaev","year":"1995","unstructured":"Bukharaev, R. 1995. Theorie der Stochastischen Automaten. Stuttgart: B. G. Teubner."},{"key":"353913_CR3","doi-asserted-by":"crossref","unstructured":"Carlyle, J. W. 1965. State-calculable stochastic sequential machines, equivalences and events. Switching circuit theory and logic. Design IEEE Conf. Rec. 16C13, New York.","DOI":"10.1109\/FOCS.1965.26"},{"key":"353913_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1023\/A:1008226632478","volume":"7","author":"C. Cao","year":"1997","unstructured":"Cao, C., Lin, F., and Lin, Z.-H. 1997. Why event observation: Observability revisited. Discrete Event Dynamic Systems: Theory and Applications 7: 127\u2013149.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"353913_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. G. Cassandras","year":"1999","unstructured":"Cassandras, C. G., and Lafortune, S. 1999. Introduction to Discrete Event Systems. Boston: Kluwer Academic Publ."},{"key":"353913_CR6","volume-title":"Readings in Model-based Diagnosis","year":"1992","unstructured":"Hamscher, W., Console, L., and deKleer, J. (Eds.) 1992. Readings in Model-based Diagnosis. San Mateo: Morgan Kaufmann Pub."},{"key":"353913_CR7","volume-title":"Qualitative Modelling Toolbox Users Guide","author":"G. Lichtenberg","year":"1997","unstructured":"Lichtenberg, G., and Zacharias, M. 1997. Qualitative Modelling Toolbox Users Guide. TU Hamburg-Harburg, AB Regelungstechnik, http:\/\/www.tu-harburg.de\/rts."},{"key":"353913_CR8","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F. Lin","year":"1994","unstructured":"Lin, F. 1994. Diagnosability of discrete-event systems and its applications. Discrete Event Dynamic Systems 4: 197\u2013212.","journal-title":"Discrete Event Dynamic Systems"},{"key":"353913_CR9","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. 1988. On observability of discrete-event systems. Information Sciences 44: 173\u2013198.","journal-title":"Information Sciences"},{"key":"353913_CR10","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J. Lunze","year":"1994","unstructured":"Lunze, J. 1994. Qualitative modelling of linear dynamical systems with quantised state measurements. Automatica 30: 417\u2013431.","journal-title":"Automatica"},{"key":"353913_CR11","volume-title":"K\u00fcnstliche Intelligenz f\u00fcr Ingenieure","author":"J. Lunze","year":"1995","unstructured":"Lunze, J. 1995. K\u00fcnstliche Intelligenz f\u00fcr Ingenieure, Band 2. M\u00fcnchen, Wien: Oldenbourg."},{"key":"353913_CR12","doi-asserted-by":"crossref","first-page":"1439","DOI":"10.1016\/S0005-1098(98)00099-5","volume":"34","author":"J. Lunze","year":"1998","unstructured":"Lunze, J. 1998. On the Markov property of quantised state measurement sequences. Automatica 34: 1439\u20131444.","journal-title":"Automatica"},{"key":"353913_CR13","first-page":"358","volume":"47","author":"J. Lunze","year":"1999","unstructured":"Lunze, J., and Schr\u00f6der, J. 1999. Process diagnosis based on a discrete-event description. Automatisierungstechnik 47: 358\u2013365.","journal-title":"Automatisierungstechnik"},{"key":"353913_CR14","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0005-1098(98)00176-9","volume":"35","author":"J. Lunze","year":"1999","unstructured":"Lunze, J., Nixdorf, B., and Schr\u00f6der, J. 1999. Deterministic discrete-event representations of linear continuousvariable systems. Automatica 35: 395\u2013406.","journal-title":"Automatica"},{"key":"353913_CR15","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"C. M. \u00d6zveren","year":"1990","unstructured":"\u00d6zveren, C. M., and Willsky, A. S. 1990. Observability of discrete-event dynamic systems. IEEE Trans.Automatic Control 35: 797\u2013806.","journal-title":"IEEE Trans.Automatic Control"},{"key":"353913_CR16","first-page":"184","volume":"SMC-27","author":"L. Portinale","year":"1997","unstructured":"Portinale, L. 1997. Behavioral Petri-nets: A model for diagnostic knowledge representation and reasoning. IEEE Trans. SMC-27: 184\u2013195.","journal-title":"IEEE Trans."},{"key":"353913_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 the IEEE 77: 81\u201398.","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"353913_CR18","first-page":"3110","volume":"CST-4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafurtune, S., Sinnamohideen, K., and Teneketzis, D. 1996. Failure diagnosis using discrete-event models. Proc. Conf. Decision Control, Lake BuenaVista, 1994, pp. 3110\u20133116; extended version in IEEE Trans. CST-4(2), 1996.","journal-title":"IEEE Trans."},{"key":"353913_CR19","first-page":"1555","volume":"AC-40","author":"M. Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafurtune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Trans. AC-40: 1555\u20131575.","journal-title":"IEEE Trans."},{"key":"353913_CR20","first-page":"79","volume":"12","author":"F. Schiller","year":"1999","unstructured":"Schiller, F., and Schr\u00f6der, J. 1999. Combining qualitative model-based diagnosis and observation within faulttolerant systems. AI Communications 12: 79\u201398.","journal-title":"AI Communications"},{"key":"353913_CR21","volume-title":"Abstrakte Automaten","author":"P. H. Starke","year":"1969","unstructured":"Starke, P. H. 1969. Abstrakte Automaten. Berlin: VEB Deutscher Verlag."},{"key":"353913_CR22","doi-asserted-by":"crossref","unstructured":"Srinivasan, V. S., and Jafari, M. A. 1993. Fault detection\/monitoring using timed Petri-nets. IEEE Trans. SMC-23.","DOI":"10.1109\/21.247896"},{"key":"353913_CR23","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/9.73561","volume":"36","author":"J. Willems","year":"1991","unstructured":"Willems, J. 1991. Paradigms and puzzels in the theory of dynamical systems. IEEE Transactions on Automatic Control 36: 259\u2013294.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011273108731.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011273108731\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011273108731.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:59:57Z","timestamp":1753761597000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011273108731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["353913"],"URL":"https:\/\/doi.org\/10.1023\/a:1011273108731","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}