{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T17:17:09Z","timestamp":1778606229177,"version":"3.51.4"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T00:00:00Z","timestamp":1210118400000},"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":[[2008,9]]},"DOI":"10.1007\/s10626-008-0044-5","type":"journal-article","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T10:04:53Z","timestamp":1210068293000},"page":"385-413","source":"Crossref","is-referenced-by-count":21,"title":["Diagnosability Analysis of a Class of Hierarchical State Machines"],"prefix":"10.1007","volume":"18","author":[{"given":"Andrea","family":"Paoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,7]]},"reference":[{"issue":"5","key":"44_CR1","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste A, Haar S, Fabre E, Jard C (2003) Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Automat Contr 48(5):714\u2013727","journal-title":"IEEE Trans Automat Contr"},{"key":"44_CR2","unstructured":"Boel R, Schuppen JV (2002) Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers. In: Proceedings of the workshop on discrete event systems"},{"issue":"12","key":"44_CR3","doi-asserted-by":"crossref","first-page":"1803","DOI":"10.1109\/9.250558","volume":"38","author":"Y. Brave","year":"1993","unstructured":"Brave Y, Heymann M (1993) Control of discrete event sysytems modeled as hierarchical state machines. IEEE Trans Automatic Contr 38(12):1803\u20131819","journal-title":"IEEE Trans Automatic Contr"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"2","key":"44_CR5","first-page":"43","volume":"12","author":"M. Cordier","year":"2002","unstructured":"Cordier M, Roz\u00e9 L (2002) Diagnosing discrete-event systems: extending the \u201cdiagnoser approach\u201d to deal with telecommunication networks. Discret Event Dyn Syst 12(2):43\u201381","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"44_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R. Debouk","year":"2000","unstructured":"Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret Event Dyn Syst: Theory Applications 10(1):33\u201379","journal-title":"Discret Event Dyn Syst: Theory Applications"},{"key":"44_CR7","unstructured":"Debouk R, Malik R, Brandin B (2002) A modular architecture for diagnosis of discrete event systems. In: Proceedings of the 41st IEEE conference on decision and control"},{"issue":"4","key":"44_CR8","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/j.automatica.2004.10.002","volume":"41","author":"H. Garcia","year":"2004","unstructured":"Garcia H, Yoo TS (2004) Model-based detection of routing events in discrete flow networks. Automatica 41(4):583\u2013594","journal-title":"Automatica"},{"key":"44_CR9","unstructured":"Garcia H, Morant F, Blasco-Gim\u00e9nez R (2002) Centralized modular diagnosis and the phenomenon of coupling. In: Proceedings of the workshop on discrete event systems"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Genc S, Lafortune S (2005) A distributed algorithm for on-line diagnosis of place-bordered petri nets. In: Proceedings of the 16th IFAC world congress","DOI":"10.3182\/20050703-6-CZ-1902.01436"},{"issue":"12","key":"44_CR11","doi-asserted-by":"crossref","first-page":"2078","DOI":"10.1109\/TAC.2005.860270","volume":"50","author":"C. Hadjicostis","year":"2005","unstructured":"Hadjicostis C (2005) Probabilistic fault detection in finite-state machines based on state occupancy measurements. IEEE Trans Automat Contr 50(12):2078\u20132083","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"44_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"key":"44_CR13","unstructured":"Harel D, Politi M (1988) Modeling reactive systems with statecharts. McGraw-Hill"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Idghamishi AM, Zad SH (2004) Fault diagnosis in hierarchical discrete-event systems. In: Proceedings of the 43rd conference on decision and control, pp 63\u201368","DOI":"10.1109\/CDC.2004.1428607"},{"issue":"1","key":"44_CR15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/TASE.2005.860613","volume":"3","author":"S. Jiang","year":"2006","unstructured":"Jiang S, Kumar R (2006) Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. IEEE Trans Autom Sci Eng 3(1):47\u201359","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohiden K (2001) Failure diagnosis of dynamic systems: an approach based on discrete event systems. In: Proceedings of the American control conference","DOI":"10.1109\/ACC.2001.946047"},{"issue":"2","key":"44_CR17","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 application. Discret Event Dyn Syst: Theory Applications 4(2):197\u2013212","journal-title":"Discret Event Dyn Syst: Theory Applications"},{"issue":"4","key":"44_CR18","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1011273108731","volume":"11","author":"J. Lunze","year":"2001","unstructured":"Lunze J (2001) State observation and diagnosis of discrete-event systems described by stochastic automata. Discret Event Dyn Syst 11(4):319\u2013369","journal-title":"Discret Event Dyn Syst"},{"issue":"5","key":"44_CR19","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/9.855548","volume":"45","author":"D. Pandalai","year":"2000","unstructured":"Pandalai D, Holloway L (2000) Template languages for fault monitoring of timed discrete event processes. IEEE Trans Automat Contr 45(5):868\u2013882","journal-title":"IEEE Trans Automat Contr"},{"key":"44_CR20","doi-asserted-by":"crossref","unstructured":"Patton R, Frank P, Clark R (2000) Issues of fault diagnosis for dynamical systems. Springer","DOI":"10.1007\/978-1-4471-3644-6"},{"issue":"3","key":"44_CR21","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1142\/S0218213002000927","volume":"11","author":"Y. Pencole","year":"2002","unstructured":"Pencole Y, Cordier M (2002) A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools 11(3):327\u2013346","journal-title":"Int J Artif Intell Tools"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Provan G (2002) Distributed diagnosability properties of discrete event systems. In: Proceedings of the American control conference","DOI":"10.1109\/ACC.2002.1024793"},{"key":"44_CR23","unstructured":"Sampath M (1993) The extended diagnoser, unpublished memorandum"},{"issue":"9","key":"44_CR24","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M. Sampath","year":"1995","unstructured":"Sampath M, Sangupta R, Lafortune S (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"44_CR25","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"7","key":"44_CR26","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M. Sampath","year":"1998","unstructured":"Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete event systems. IEEE Trans Automat Contr 43(7):908\u2013929","journal-title":"IEEE Trans Automat Contr"},{"key":"44_CR27","unstructured":"Su R, Wonham W (2002) Probabilistic reasoning in distributed diagnosis for qualitative systems. In: Proceedings of the 41st IEEE conference on decision and control"},{"key":"44_CR28","unstructured":"Wonham WM (2005) Notes on control of discrete event systems. ECE 1636F\/1637S 2005-2006. Systems Control Group, Dept. of ECE, University of Toronto. www.control.utoronto.ca\/people\/profs\/wonham\/wonham.html"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0044-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0044-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0044-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:51Z","timestamp":1559231931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0044-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,7]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["44"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0044-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,7]]}}}