{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:48:09Z","timestamp":1740142089979,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,11,30]],"date-time":"2022-11-30T00:00:00Z","timestamp":1669766400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,30]],"date-time":"2022-11-30T00:00:00Z","timestamp":1669766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2023,9]]},"DOI":"10.1007\/s11334-022-00502-1","type":"journal-article","created":{"date-parts":[[2022,11,30]],"date-time":"2022-11-30T11:04:56Z","timestamp":1669806296000},"page":"303-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Component level diagnosability of discrete event systems based on observations"],"prefix":"10.1007","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0013-9777","authenticated-orcid":false,"given":"S.","family":"Reshmila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Devanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,30]]},"reference":[{"issue":"1","key":"502_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L Console","year":"2002","unstructured":"Console L, Picardi C, Ribaudo M (2002) Process algebras for system diagnosis. Artif Intell 142(1):19\u201351","journal-title":"Artif Intell"},{"issue":"2","key":"502_CR2","doi-asserted-by":"publisher","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 (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171\u2013202","journal-title":"Discrete Event Dyn Syst"},{"key":"502_CR3","doi-asserted-by":"publisher","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 events systems. Discrete Event Dyn Syst 10:33\u201386","journal-title":"Discrete Event Dyn Syst"},{"issue":"7","key":"502_CR4","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"SH Zad","year":"2003","unstructured":"Zad SH, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199\u20131212","journal-title":"IEEE Trans Autom Control"},{"key":"502_CR5","unstructured":"Jiang S, Kumar R (2002) Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. In: Proceedings of the 2002 American control conference, Anchorage, AK, USA, vol 1, pp 128\u2013133"},{"key":"502_CR6","doi-asserted-by":"crossref","unstructured":"Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001) Failure diagnosis of dynamic systems: an approach based on discrete event systems. In: Proceedings of the 2001 American control conference, Arlington, VA, USA pp 2058\u20132071","DOI":"10.1109\/ACC.2001.946047"},{"key":"502_CR7","doi-asserted-by":"crossref","unstructured":"Lamperti G, Zanella M (2003) Diagnosis of active systems: principles and techniques, vol 741. Kluwer International Series in Engineering and Computer Science","DOI":"10.1007\/978-94-017-0257-7"},{"issue":"2","key":"502_CR8","doi-asserted-by":"publisher","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 Dyn Syst 4(2):197\u2013212","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"502_CR9","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1142\/S0218213002000927","volume":"11","author":"Y Pencole","year":"2002","unstructured":"Pencole Y, Cordier MO, Roze 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":"502_CR10","doi-asserted-by":"crossref","unstructured":"Sampath M (2001) A hybrid approach to failure diagnosis of industrial systems. In: Proc. 2001 American control conference-ACC\u201901, Arlington, VA, USA, vol 3, pp 2077\u20132082","DOI":"10.1109\/ACC.2001.946050"},{"key":"502_CR11","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis DC (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40:1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"502_CR12","doi-asserted-by":"publisher","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 DC (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":"502_CR13","doi-asserted-by":"publisher","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 Autom Control 43(7):908\u2013929","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"502_CR14","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"S Yoo","year":"2002","unstructured":"Yoo S, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491\u20131495","journal-title":"IEEE Trans Autom Control"},{"issue":"10","key":"502_CR15","doi-asserted-by":"publisher","first-page":"4613","DOI":"10.1109\/TIE.2011.2109335","volume":"58","author":"V Calderaro","year":"2011","unstructured":"Calderaro V, Hadjicostis CN, Piccolo A, Siano P (2011) Failure identification in smart grids based on petri net modeling. IEEE Trans Industr Electron 58(10):4613\u20134623","journal-title":"IEEE Trans Industr Electron"},{"key":"502_CR16","doi-asserted-by":"crossref","unstructured":"Lin Z, Wen F, Chung CY, Wong KP (2006) A survey on the applications of Petri net theory in power systems. In: 2006 IEEE power engineering society general meeting, Montreal, p 7","DOI":"10.1109\/PES.2006.1709115"},{"issue":"8","key":"502_CR17","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans Autom Control 46(8):1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"key":"502_CR18","unstructured":"Pencole Y (2000) Decentralized diagnoser approach: application to telecommunication networks. In: Provan G Darwiche A (eds) Proc. of the 11th international workshop on principles of diagnosis\u2014DX\u201900, Morelia, Mexico, pp 185\u2013192"},{"key":"502_CR19","unstructured":"Pencole Y (2004) Diagnosability analysis of distributed discrete event systems. In: Proc. international workshop on principles of diagnosis (DX\u201904), pp 173\u2013178"},{"key":"502_CR20","doi-asserted-by":"publisher","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, 2002, Las Vegas, NV, USA, vol 1, pp 417\u2013422. https:\/\/doi.org\/10.1109\/CDC.2002.1184530","DOI":"10.1109\/CDC.2002.1184530"},{"key":"502_CR21","doi-asserted-by":"crossref","unstructured":"Su R, Wonham WM, Kurien J, Koutsoukos X (2002) Distributed diagnosis for qualitative systems. In: Proc. 2002 IFAC international workshop on discrete event systems\u2014WODES\u201902, Zaragoza, Spain, pp 169\u2013174","DOI":"10.1109\/WODES.2002.1167684"},{"key":"502_CR22","doi-asserted-by":"publisher","unstructured":"Debouk R (2003) Diagnosis of discrete event systems: a modular approach. In: IEEE International conference on systems, man and cybernetics, Washington, vol 1, pp 306\u2013311. https:\/\/doi.org\/10.1109\/ICSMC.2003.1243833","DOI":"10.1109\/ICSMC.2003.1243833"},{"issue":"1","key":"502_CR23","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10626-006-6177-5","volume":"16","author":"O Contant","year":"2006","unstructured":"Contant O, Lafortune S, Teneketzis D (2006) Diagnosability of discrete event systems with modular architecture. Discrete Event Dyn Syst 16(1):9\u201337","journal-title":"Discrete Event Dyn Syst"},{"key":"502_CR24","doi-asserted-by":"crossref","unstructured":"Reshmila S, Devanathan R (2015) Modeling a system using observations in discrete event system for failure diagnosis. In: IEEE recent advances in intelligent computational systems (RAICS), Trivandrum, pp 280\u2013284","DOI":"10.1109\/RAICS.2015.7488428"},{"key":"502_CR25","doi-asserted-by":"crossref","unstructured":"Reshmila S, Devanathan R (2016) Diagnosis of power system failures using observer based discrete event system. In: IEEE 1st international conference on control, measurement and instrumentation (CMI), Kolkata, pp 131\u2013135","DOI":"10.1109\/CMI.2016.7413725"},{"key":"502_CR26","doi-asserted-by":"crossref","unstructured":"Reshmila S, Devanathan R (2015) Robust diagnosis of power system failures using discrete event system approach. In: TENCON 2015\u20142015 IEEE region 10 conference, Macao, pp 1\u20136","DOI":"10.1109\/TENCON.2015.7373116"},{"key":"502_CR27","doi-asserted-by":"crossref","unstructured":"Reshmila S, Devanathan R (2016) Modeling and robust diagnosis of power system protection failures using observations in discrete event system. In: 2016 Indian control conference (ICC), Hyderabad, pp 170\u2013175","DOI":"10.1109\/INDIANCC.2016.7441124"},{"key":"502_CR28","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11768-019-7298-3","volume":"17","author":"S Reshmila","year":"2019","unstructured":"Reshmila S, Rajagopalan D (2019) Diagnosability of a class of discrete event systems based on observations. Control Theory Technol 17:265\u2013275. https:\/\/doi.org\/10.1007\/s11768-019-7298-3","journal-title":"Control Theory Technol"},{"key":"502_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York","edition":"2"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-022-00502-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-022-00502-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-022-00502-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T18:49:59Z","timestamp":1728499799000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-022-00502-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,30]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["502"],"URL":"https:\/\/doi.org\/10.1007\/s11334-022-00502-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2022,11,30]]},"assertion":[{"value":"22 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}