{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T23:08:14Z","timestamp":1777417694885,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,10,17]],"date-time":"2017-10-17T00:00:00Z","timestamp":1508198400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10626-017-0255-8","type":"journal-article","created":{"date-parts":[[2017,10,17]],"date-time":"2017-10-17T02:31:03Z","timestamp":1508207463000},"page":"183-213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Diagnosability of repairable faults"],"prefix":"10.1007","volume":"28","author":[{"given":"Eric","family":"Fabre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Engel","family":"Lefaucheux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0138-2499","authenticated-orcid":false,"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,17]]},"reference":[{"issue":"4","key":"255_CR1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","volume":"17","author":"E Badouel","year":"2007","unstructured":"Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discrete Event Dyn Syst 17(4):425\u2013446","journal-title":"Discrete Event Dyn Syst"},{"issue":"5","key":"255_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) 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":"255_CR3","unstructured":"Bertrand N, Haddad S, Lefaucheux E (2014) Foundation of diagnosis and predictability in probabilistic systems. In: Raman V, Suresh SP (eds) 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, vol 29 of LIPIcs, pp 417\u2013429. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"},{"key":"255_CR4","unstructured":"Bertrand N, Haddad S, Lefaucheux E (2016) Diagnosis in infinite-state probabilistic systems. In: Desharnais J, Jagadeesan R (eds) 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Qu\u00e9bec City, canada, vol 59 of LIPIcs, pp 37:1\u201337:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"},{"key":"255_CR5","doi-asserted-by":"crossref","unstructured":"Boussif Ab, Liu B, Ghazel M (2016) A twin-plant based approach for diagnosability analysis of intermittent failures. In: 13Th international workshop on discrete event systems, pp 237\u2013244, Xi\u2019an, China","DOI":"10.1109\/WODES.2016.7497854"},{"issue":"6","key":"255_CR6","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"J Bryans","year":"2008","unstructured":"Bryans J, Koutny M, Mazar\u00e9 L, Ryan Peter YA (2008) Opacity generalised to transition systems. Int J Inf Secur 7(6):421\u2013435","journal-title":"Int J Inf Secur"},{"key":"255_CR7","doi-asserted-by":"crossref","unstructured":"Cabasino MP, Giua A, Lafortune S, Seatzu C (2009) Diagnosability analysis of unbounded petri nets. In: Proceedings of the 48th IEEE conference on decision and control, CDC 2009, combined withe the 28th chinese control conference, December 16-18, 2009, Shanghai, China, pp 1267\u20131272. IEEE","DOI":"10.1109\/CDC.2009.5400608"},{"issue":"4","key":"255_CR8","first-page":"497","volume":"88","author":"F Cassez","year":"2008","unstructured":"Cassez F, Tripakis S (2008) Fault diagnosis with static and dynamic diagnosers. Fundamenta Informaticae 88(4):497\u2013540","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"255_CR9","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 (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171\u2013202","journal-title":"Discrete Event Dyn Syst"},{"key":"255_CR10","doi-asserted-by":"crossref","unstructured":"Fabre E, H\u013aouet L, Lefaucheux E, Marchand H (2016) Diagnosability of repairable faults. In: 13Th international workshop on discrete event systems, pp 256\u2013262, Xi\u2019an, China","DOI":"10.1109\/WODES.2016.7497853"},{"key":"255_CR11","doi-asserted-by":"crossref","unstructured":"Genc S, Lafortune S (2003) Distributed diagnosis of discrete-event systems using petri nets. In: Applications and theory of petri nets (ICATPN) 2003, vol 2679 of LNCS, pp 316\u2013336","DOI":"10.1007\/3-540-44919-1_21"},{"issue":"1","key":"255_CR12","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.jcss.2016.04.007","volume":"83","author":"S Haar","year":"2017","unstructured":"Haar S, Haddad S, Melliti T, Schwoon S (2017) Optimal constructions for active diagnosis. J Comput Syst Sci 83(1):101\u2013120","journal-title":"J Comput Syst Sci"},{"key":"255_CR13","doi-asserted-by":"crossref","unstructured":"J\u0117ron T, Marchand H, Pinchinat S, Cordier M-O (2006) Supervision patterns in discrete event systems diagnosis. In: Workshop on discrete event systems, WODES\u201906. Ann-Arbor, USA, pp 262\u2013268","DOI":"10.1109\/WODES.2006.1678440"},{"issue":"8","key":"255_CR14","doi-asserted-by":"crossref","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 time algorithm for diagnosability of discrete event systems. IEEE Trans Autom Control 46 (8):1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"255_CR15","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) Diagnosis of repeated\/intermittent failures in discrete event systems. IEEE Trans Robot Autom 19(2):310\u2013323","journal-title":"IEEE Trans Robot Autom"},{"key":"255_CR16","doi-asserted-by":"crossref","unstructured":"Kozen D (1977) Lower bounds for natural proof systems. In: 18Th annual symposium on foundations of computer science, providence, Rhode Island, USA, 31 October - 1 November 1977, pp 254\u2013266. IEEE Computer Society","DOI":"10.1109\/SFCS.1977.16"},{"issue":"10","key":"255_CR17","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B Lampson","year":"1973","unstructured":"Lampson B (1973) A note on the confinement problem. Commun ACM 16 (10):613\u2013615","journal-title":"Commun ACM"},{"key":"255_CR18","doi-asserted-by":"crossref","unstructured":"Lange K, Rossmanith P (1992) The emptiness problem for intersections of regular languages. In: Mathematical foundations of computer science 1992, 17th international symposium, MFCS\u201992, Prague, Czechoslovakia, August 24\u201328, 1992, proceedings, pp 346\u2013354","DOI":"10.1007\/3-540-55808-X_33"},{"key":"255_CR19","unstructured":"NSA\/NCSC (1993) A guide to understanding covert channel analysis of trusted systems. Technical report, NSA\/NCSC"},{"issue":"8","key":"255_CR20","doi-asserted-by":"crossref","first-page":"2176","DOI":"10.1109\/TAC.2014.2298985","volume":"59","author":"PN Pena","year":"2014","unstructured":"Pena PN, Bravo HJ, Carrilho da Cunha AE, Malik R, Lafortune S, Cury JER (2014) Verification of the observer property in discrete event systems. IEEE Trans Automat Contr 59(8):2176\u20132181","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"255_CR21","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A Prasad Sistla","year":"1985","unstructured":"Prasad Sistla A, Clarke EM (1985) The complexity of propositional linear temporallogics. J ACM 32(3):733\u2013749","journal-title":"J ACM"},{"issue":"9","key":"255_CR22","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinaamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40 (9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"255_CR23","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 Contr Sys Techn 4 (2):105\u2013124","journal-title":"IEEE Trans Contr Sys Techn"},{"issue":"2","key":"255_CR24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"WJ Savitch","year":"1970","unstructured":"Savitch WJ (1970) Relationships between nondeterministic and deterministic tape complexities. J Comput Syst Sci 4(2):177\u2013192","journal-title":"J Comput Syst Sci"},{"issue":"4","key":"255_CR25","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/TAC.2005.844722","volume":"50","author":"D Thorsley","year":"2005","unstructured":"Thorsley D, Teneketzis D (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Automat Contr 50(4):476\u2013492","journal-title":"IEEE Trans Automat Contr"},{"issue":"12","key":"255_CR26","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/362814.362819","volume":"13","author":"JC Tiernan","year":"1970","unstructured":"Tiernan JC (1970) An efficient search algorithm to find the elementary circuits of a graph. Commun ACM 13(12):722\u2013726","journal-title":"Commun ACM"},{"issue":"2","key":"255_CR27","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annu Rev Control 37(2):308\u2013320","journal-title":"Annu Rev Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0255-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0255-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0255-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T15:42:01Z","timestamp":1570203721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0255-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,17]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["255"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0255-8","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,17]]}}}