{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T06:21:50Z","timestamp":1776666110727,"version":"3.51.2"},"reference-count":34,"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-6177-5","type":"journal-article","created":{"date-parts":[[2006,2,19]],"date-time":"2006-02-19T03:18:54Z","timestamp":1140319134000},"page":"9-37","source":"Crossref","is-referenced-by-count":85,"title":["Diagnosability of Discrete Event Systems with Modular Structure"],"prefix":"10.1007","volume":"16","author":[{"given":"Olivier","family":"Contant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Demosthenis","family":"Teneketzis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,2,24]]},"reference":[{"issue":"2","key":"6177_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, Jard C (1998, June). Fault detection and diagnosis in distributed system: an approach by partially stochastic Petri nets. Discret Event Dyn. Syst. Theory Appl. 8(2):203\u2013231.","journal-title":"Discret Event Dyn. Syst. Theory Appl."},{"issue":"5","key":"6177_CR2","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Fabre E, Haar S, Jard C (2003, May). Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Autom Contr 48(5):714\u2013727.","journal-title":"IEEE Trans Autom Contr"},{"issue":"2\/3\/4","key":"6177_CR3","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/TCOMM.1994.577079","volume":"42","author":"AT Bouloutas","year":"1994","unstructured":"Bouloutas AT, Calo S, Finkel A (1994, Feb\/Mar\/Apr). Alarm correlation and fault identification in communication networks. IEEE Trans Commun 42(2\/3\/4):523\u2013533.","journal-title":"IEEE Trans Commun"},{"key":"6177_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4757-4070-7"},{"issue":"1","key":"6177_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L Console","year":"2002","unstructured":"Console L, Picarsi C, Ribaudo M (2002). Process algebras for system diagnosis. Artif Intell 142(1):19\u201351.","journal-title":"Artif Intell"},{"key":"6177_CR6","unstructured":"Contant O, Lafortune S, Teneketzis D (2004a, November). Diagnosis of distributed discrete event systems: architecture and modular cerification approach. Technical Report CGR 04-04, College of Engineering Control Group Reports, University of Michigan, April. Revised."},{"issue":"2","key":"6177_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/B:DISC.0000018570.20941.d2","volume":"14","author":"O Contant","year":"2004","unstructured":"Contant O, Lafortune S, Teneketzis D (2004b, April). Diagnosis of intermittent faults. Discret Event Dyn Syst Theory Appl 14(2):171\u2013202.","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"6177_CR8","unstructured":"Coolen R, Luiijf H (2002, January). Intrusion detection: generics and state-of-the-art. Technical Report RTO-TR-049, Research and Technology Organisation, NATO, Neuilly-sur-Seine, France."},{"issue":"1\u20132","key":"6177_CR9","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 events systems. Discret Event Dyn Syst Theory Appl 10(1\u20132):33\u201386.","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"6177_CR10","doi-asserted-by":"crossref","unstructured":"Debouk R, Malik R, Brandin B (2002, December). A modular architecture for diagnosis of discrete event systems. Proc. 41st IEEE Conf. on Decision and Control\u2014CDC'02, Las Vegas, NV, USA, pp 417\u2013422.","DOI":"10.1109\/CDC.2002.1184530"},{"key":"6177_CR11","unstructured":"Garcia E, Morant F, Blasco-Gim\u00e9nez R, Correcher A, Quiles E (2002, October). Centralized modular diagnosis and the phenomenon of coupling. Proc. 2002 IFAC International Workshop on Discrete Event Systems\u2014WODES'02, Zaragoza, Spain, pp 161\u2013168."},{"key":"6177_CR12","doi-asserted-by":"crossref","unstructured":"Genc S, Lafortune S (2003, June). Distributed diagnosis of discrete-event systems using Petri nets. Proc. 2003 International Conf. on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, pp 316\u2013336.","DOI":"10.1007\/3-540-44919-1_21"},{"issue":"7","key":"6177_CR13","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, July). Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Trans Autom Contr 48(7):1199\u20131212.","journal-title":"IEEE Trans Autom Contr"},{"key":"6177_CR14","unstructured":"Holloway LE, Chand S (1994, June). Time templates for discrete event fault monitoring in manufacturing systems. Proc. 1994 American Control Conference\u2014ACC'94, Baltimore, MD, USA, pp 701\u2013706."},{"key":"6177_CR15","unstructured":"Jiang S, Kumar R (2002, May). Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. Proc. 2002 American Control Conference\u2014ACC'02, Anchorage, AK, USA, pp 128\u2013133."},{"issue":"2","key":"6177_CR16","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1109\/TRA.2003.809590","volume":"19","author":"S Jiang","year":"2003","unstructured":"Jiang S, Kumar R, Garcia HE (2003, April). Diagnosis of repeated\/intermittent failures in discrete event systems. IEEE Trans Robot Autom 19(2):310\u2013323.","journal-title":"IEEE Trans Robot Autom"},{"key":"6177_CR17","unstructured":"Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001, June). Failure diagnosis of dynamis systems: an approach based on discrete event systems. Proc. 2001 American Control Conference\u2014ACC'01, Arlington, VA, USA, pp 2058\u20132071."},{"key":"6177_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of active systems: principles and techniques, volume 741 of the Kluwer International Series in Engineering and Computer Science","author":"G Lamperti","year":"2003","unstructured":"Lamperti G, Zanella M (2003). Diagnosis of active systems: principles and techniques, volume 741 of the Kluwer International Series in Engineering and Computer Science. Dordrecht, NL: Kluwer Academic Publishers."},{"issue":"5","key":"6177_CR19","doi-asserted-by":"crossref","first-page":"2222","DOI":"10.1109\/TSMCB.2004.835008","volume":"34","author":"G Lamperti","year":"2004","unstructured":"Lamperti G, Zanella M (2004, October). A bridged diagnosis method for the monitoring of polymorphic discrete-event systems. IEEE Trans Syst Man Cybern, Part B 34(5):2222\u20132244.","journal-title":"IEEE Trans Syst Man Cybern, Part B"},{"issue":"2","key":"6177_CR20","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin F (1994, May). Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(2):197\u2013212.","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"3","key":"6177_CR21","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/3468.844356","volume":"30","author":"J Lunze","year":"2000","unstructured":"Lunze J (2000). Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans Syst Man Cybern, Part A 30(3):322\u2013335.","journal-title":"IEEE Trans Syst Man Cybern, Part A"},{"issue":"5","key":"6177_CR22","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/9.855548","volume":"45","author":"DN Pandalai","year":"2000","unstructured":"Pandalai DN, Holloway LE (2000, May). Template languages for fault monitoring of discrete event processes. IEEE Trans Autom Contr 45(5):868\u2013882.","journal-title":"IEEE Trans Autom Contr"},{"key":"6177_CR23","unstructured":"Pencol\u00e9 Y (2000). Decentralized diagnozer approach: application to telecommunication networks. In: Provan G, Darwiche A (eds) Proc. of the 11th International Workshop on Principles of Diagnosis\u2014DX'00, Morelia, Mexico, pp 185\u2013192."},{"issue":"3","key":"6177_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). 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":"6177_CR25","doi-asserted-by":"crossref","unstructured":"Ricker LS, Fabre E (2000, December). On the construction of modular observers and diagnosers for discrete event systems. Proc. 39th IEEE Conf. on Decision and Control\u2014CDC'00, Sydney, Australia, pp 2240\u20132244.","DOI":"10.1109\/CDC.2000.914130"},{"key":"6177_CR26","doi-asserted-by":"crossref","unstructured":"Sampath M (2001, June). A hybrid approach to failure diagnosis of industrial systems. In Proc. 2001 American Control Conference\u2014ACC'01, Arlington, VA, USA.","DOI":"10.1109\/ACC.2001.946050"},{"issue":"9","key":"6177_CR27","first-page":"1555","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1995, September). Diagnosability of discrete ecent models. IEEE Trans Contr Syst Technol 40(9):1555\u20131575.","journal-title":"IEEE Trans Contr Syst Technol"},{"issue":"2","key":"6177_CR28","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Sinnamohideen K, Lafortune S, Teneketzis D (1996, March). Failure diagnosis using discrete event systems. IEEE Trans Contr Syst Technol 4(2):105\u2013124.","journal-title":"IEEE Trans Contr Syst Technol"},{"issue":"7","key":"6177_CR29","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, July). Active diagnosis of discrete event systems. IEEE Trans Autom Contr 43(7):908\u2013929.","journal-title":"IEEE Trans Autom Contr"},{"key":"6177_CR30","unstructured":"Sengupta R (2001, June). Discrete-event diagnostics of automated vehicles and highways. Proc. 2001 American Control Conference\u2014ACC'01. Arlington, VA, USA, pp 25\u201327."},{"key":"6177_CR31","doi-asserted-by":"crossref","unstructured":"Sinnamohideen K (2001, June). Discrete-event diagnostics of haeting, ventilation, and air-conditoning systems. Proc. 2001 American Control Conference\u2014ACC'01, Arlington, VA, USA.","DOI":"10.1109\/ACC.2001.946049"},{"key":"6177_CR32","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM (2004, September). Hierarchical distributed diagnosis under global consistency. In Proc. 2004 IFAC International Workshop on Discrete Event Systems\u2014WODES'04. Reims, France, pp 157\u2013162.","DOI":"10.1016\/S1474-6670(17)30738-3"},{"key":"6177_CR33","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM, Kurien J, Koutsoukos X (2002, October). Distributed diagnosis for qualitative systems. Proc. 2002 IFAC International Workshop on Discrete Event Systems\u2014WODES'02, Zaragoza, Spain, pp 169\u2013174.","DOI":"10.1109\/WODES.2002.1167684"},{"key":"6177_CR34","doi-asserted-by":"crossref","unstructured":"Yoo T-S, Garcia HE (2004, June). Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. Proc. 2004 American Control Conference\u2014ACC'04. Boston, MA, USA, pp 5102\u20135107.","DOI":"10.23919\/ACC.2004.1384660"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-6177-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-006-6177-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-006-6177-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T20:20:13Z","timestamp":1736281213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-006-6177-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["6177"],"URL":"https:\/\/doi.org\/10.1007\/s10626-006-6177-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}