{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:21:08Z","timestamp":1762100468983},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006,1]]},"DOI":"10.1007\/s10626-006-6178-4","type":"journal-article","created":{"date-parts":[[2006,2,18]],"date-time":"2006-02-18T22:18:54Z","timestamp":1140301134000},"page":"39-70","source":"Crossref","is-referenced-by-count":20,"title":["Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency"],"prefix":"10.1007","volume":"16","author":[{"given":"R.","family":"Su","sequence":"first","affiliation":[]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,2,24]]},"reference":[{"key":"6178_CR1","unstructured":"Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1997, December). A Petri net approach to fault detection and diagnosis in distributed systems. In Proc. 1997 IEEE Conference on Decision and Control (CDC'97), pp 720\u2013725."},{"key":"6178_CR2","unstructured":"Autio K, Reiter R (1998, August). Structural abstraction in model-based diagnosis. Proc. 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK pp 269\u2013273."},{"issue":"1","key":"6178_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P Baroni","year":"1999","unstructured":"Baroni P, Lamperti G, Pogliano P, Zanella M (1999, May). Diagnosis of large active systems. Artif Intell 110(1):135\u2013183.","journal-title":"Artif Intell"},{"issue":"3","key":"6178_CR4","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1145\/2402.322389","volume":"30","author":"C Beeri","year":"1983","unstructured":"Beeri C, Fagin R, Maier D, Yannakakis M (1983, July). On the desirability of acyclic database schemes. J Assoc Comput Mach 30(3):479\u2013513.","journal-title":"J Assoc Comput Mach"},{"key":"6178_CR5","unstructured":"Collin Z, Dechter R, Katz S (1991). On the feasibility of distributed constraint satisfaction. Proc. 12th International Joint Conference on Artificial Intelligence, pp 318\u2013324."},{"key":"6178_CR6","doi-asserted-by":"crossref","unstructured":"Contant O, Lafortune S, Teneketzis D (2004, September). Diagnosis of modular discrete event systems. Proc. 7th International Workshop on Discrete Event Systems (WODES04), Reims, France, pp 337\u2013342.","DOI":"10.1016\/S1474-6670(17)30767-X"},{"issue":"1\/2","key":"6178_CR7","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, January). Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 10(1\/2):33\u201386.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"1","key":"6178_CR8","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/12.656078","volume":"47","author":"E Duarte","year":"1998","unstructured":"Duarte E, Nanya T (1998). A hierarchical adaptive distributed system-level diagnosis algorithm. IEEE Trans. on Computers 47(1):34\u201345.","journal-title":"IEEE Trans. on Computers"},{"key":"6178_CR9","doi-asserted-by":"crossref","unstructured":"Fabre E, Benveniste A, Jard C (2002, July). Distributed diagnosis for large discrete event dynamic systems. Proc. 15th IFAC World Congress, Barcelona, Spain.","DOI":"10.3182\/20020721-6-ES-1901.00731"},{"issue":"1","key":"6178_CR10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E Fabre","year":"2000","unstructured":"Fabre E, Benveniste A, Haar S, Jard C (2000, March). Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems: Theory and Applications 15(1):33\u201384.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"3","key":"6178_CR11","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/2402.322390","volume":"30","author":"R Fagin","year":"1983","unstructured":"Fagin R (1983, July). Degrees of acyclicity for hypergraphs and relational database schemes. J Assoc Comput Mach 30(3):514\u2013550.","journal-title":"J Assoc Comput Mach"},{"issue":"2","key":"6178_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F Giunchiglia","year":"1992","unstructured":"Giunchiglia F, Walsh T (1992). A theory of abstraction. Artif Intell 57(2):323\u2013389.","journal-title":"Artif Intell"},{"key":"6178_CR13","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-48745-X_12","volume":"1639","author":"CN Hadjicostis","year":"1999","unstructured":"Hadjicostis CN, Verghese GC (1999, June). Monitoring discrete event systems using Petri net embeddings. Springer-Verlag Lect. Notes in Comput Sci 1639:188\u2013207.","journal-title":"Springer-Verlag Lect. Notes Comput Sci"},{"key":"6178_CR14","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:231\u2013274.","journal-title":"Sci Comput Program"},{"issue":"7","key":"6178_CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D Harel","year":"1997","unstructured":"Harel D (1997). Executable object modeling with statecharts. IEEE Comput 30(7):31\u201342.","journal-title":"IEEE Comput"},{"issue":"7","key":"6178_CR16","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"S Hashtrudi Zad","year":"2003","unstructured":"Hashtrudi Zad S, Kwong RH, Wonham WM (2003). Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Automat Contr 48(7):1199\u20131212.","journal-title":"IEEE Trans Automat Contr"},{"key":"6178_CR17","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Massachusetts."},{"key":"6178_CR18","unstructured":"Mac Lane S, Birkhoff G (1988). Algebra. Chelsea, New York."},{"key":"6178_CR19","volume-title":"Wavelets and Operators","author":"Y Meyer","year":"1992","unstructured":"Meyer Y (1992). Wavelets and Operators. Cambridge University, Cambridge."},{"key":"6178_CR20","unstructured":"Mohammadi Idghamishi A, Hashtrudi Zad S (2004a, December). Fault diagnosis in hierarchical discrete-event systems. Proc. of the 43th IEEE Conference on Decision and Control, Nassau, Bahamas."},{"key":"6178_CR21","unstructured":"Mohammadi Idghamishi A, Hashtrudi Zad S (2004b, December). Hierarchical fault diagnosis: application to an ozone plant. 2004 IEEE Conference on Robotics, Automation and Mechatronics, Singapore."},{"issue":"3","key":"6178_CR22","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I Mozetic","year":"1991","unstructured":"Mozetic I (1991). Hierarchical model-based diagnosis. Int J Man-Mach Stud 35(3):329\u2013362.","journal-title":"Int J Man-Mach Stud"},{"key":"6178_CR23","unstructured":"Nayak PP, Levy AY (1995). A semantic theory of abstractions. Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, pp 196\u2013203."},{"issue":"3","key":"6178_CR24","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1142\/S0218213002000927","volume":"11","author":"Y Pencol\u00e9","year":"2002","unstructured":"Pencol\u00e9 Y, Cordier M-O, Roz\u00e9 L (2002, September). A decentralized model-based diagnostic tool for complex systems. Int J Artif Intell Tools (IJAIT) 11(3):327\u2013346.","journal-title":"Int J Artif Intell Tools (IJAIT)"},{"issue":"2","key":"6178_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"},{"key":"6178_CR26","doi-asserted-by":"crossref","unstructured":"Stroobandt D, Van Campenhout J (1996, November). Hierarchical test generation with built-in fault diagnosis. Proc. 5th Asian Test Symp, pp 22\u201328.","DOI":"10.1109\/ATS.1996.555130"},{"key":"6178_CR27","unstructured":"Su R, Wonham WM (2000, March). Decentralized fault diagnosis for discrete-event systems. In Proc. 2000 CISS, Princeton, New Jersey, pp TP1:1\u20136."},{"key":"6178_CR28","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM (2004, September). A model of component consistency in distributed diagnosis. Proc. 2004 IFAC Workshop on Discrete Event Systems (WODES\u201904), Reims, France, pp 427\u2013432.","DOI":"10.1016\/S1474-6670(17)30782-6"},{"issue":"12","key":"6178_CR29","doi-asserted-by":"crossref","first-page":"1923","DOI":"10.1109\/TAC.2005.860291","volume":"50","author":"R Su","year":"2005","unstructured":"Su R, Wonham WM (2005, December). Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control 50(12): 1923\u20131935.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6178_CR30","unstructured":"Su M-S, Thulasiraman K, Das A (2001, October). A multi-level adaptive distributed diagnosis algorithm for fault detection in a network of processors. Proc. 39th Annual Allerton Conf. on Communication, Control, and Computers, Monticello, IL."},{"key":"6178_CR31","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 6th International Workshop on Discrete Event Systems (WODES\u201902), Zaragoza, Spain, pp 169\u2013174.","DOI":"10.1109\/WODES.2002.1167684"},{"issue":"2","key":"6178_CR32","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(99)00077-6","volume":"115","author":"R Weigel","year":"1999","unstructured":"Weigel R, Faltings B (1999). Compiling constraint satisfaction problems. Artif Intell 115(2): 257\u2013287.","journal-title":"Artif Intell"},{"issue":"1","key":"6178_CR33","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"KC Wong","year":"2004","unstructured":"Wong K C, Wonham WM (2004, January). On the computation of observers in discreteevent systems. Discrete Event Dynamic Systems: Theory and Applications 14(1):55\u2013107.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"6178_CR34","unstructured":"Wonham WM (2004a). Supervisory Control of Discrete-Event Systems. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto.ca\/DES."},{"key":"6178_CR35","unstructured":"Wonham WM (2004b). Design Software. Systems Control Group, Dept. of ECE, University of Toronto. URL: www.control.utoronto.ca\/DES."},{"issue":"5","key":"6178_CR36","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M Yokoo","year":"1998","unstructured":"Yokoo M, Durfee EH, Ishida T, Kuwabara K (1998). The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans Knowl Data Eng 10(5):673\u2013685.","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"6178_CR37","doi-asserted-by":"crossref","unstructured":"Zhang Y, Mackworth A (1991). Parallel and distributed algorithms for finite constraint satisfaction problems. Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, pp 394\u2013397.","DOI":"10.1109\/SPDP.1991.218214"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-6178-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-006-6178-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-6178-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:50Z","timestamp":1559231930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-006-6178-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["6178"],"URL":"https:\/\/doi.org\/10.1007\/s10626-006-6178-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}