{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T14:59:36Z","timestamp":1777733976731,"version":"3.51.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,1,29]],"date-time":"2012-01-29T00:00:00Z","timestamp":1327795200000},"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":[[2012,9]]},"DOI":"10.1007\/s10626-012-0129-z","type":"journal-article","created":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T05:34:01Z","timestamp":1327728841000},"page":"249-292","source":"Crossref","is-referenced-by-count":40,"title":["Computation of minimal event bases that ensure diagnosability"],"prefix":"10.1007","volume":"22","author":[{"given":"Jo\u00e3o Carlos","family":"Basilio","sequence":"first","affiliation":[]},{"given":"Saulo Telles Souza","family":"Lima","sequence":"additional","affiliation":[]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[]},{"given":"Marcos Vicente","family":"Moreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,29]]},"reference":[{"key":"129_CR1","unstructured":"Basilio JC, Lafortune S (2009) Robust codiagnosability of discrete event systems. In: Proceedings of the American control conference, pp 2202\u20132209"},{"key":"129_CR2","doi-asserted-by":"crossref","unstructured":"Boel RK, van Schuppen JH (2002) Decentralized failure diagnosis with costly communication between diagnosers. In: Proceedings of the 6th international workshop on discrete event systems, pp 175\u2013181","DOI":"10.1109\/WODES.2002.1167685"},{"issue":"9","key":"129_CR3","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino MP, Giua A, Seatzu C (2010) Fault detection for discrete event systems using petri nets with unobservable transitions. Automatica 46(9):1531\u20131539","journal-title":"Automatica"},{"key":"129_CR4","doi-asserted-by":"crossref","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, Boston","edition":"2"},{"issue":"4","key":"129_CR5","first-page":"497","volume":"88","author":"F Cassez","year":"2008","unstructured":"Cassez F, Tripakis S (2008) Fault diagnosis with static and dynamic observers. Fundam Inform 88(4):497\u2013540","journal-title":"Fundam Inform"},{"key":"129_CR6","doi-asserted-by":"crossref","unstructured":"Dallal E, Lafortune S (2010) On most permissive observers in dynamic sensor optimization problems for discrete event systems. In: Proceedings of the 48th annual allerton conference on communication, control, and computing, pp\u00a0318\u2013324","DOI":"10.1109\/ALLERTON.2010.5706923"},{"issue":"4","key":"129_CR7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1023\/A:1019770124060","volume":"12","author":"R Debouk","year":"2002","unstructured":"Debouk R, Lafortune S, Teneketzis D (2002) On an optimization problem in sensor selection. Discrete Event Dynamic Systems: Theory and Applications 12(4):417\u2013445","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"1","key":"129_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E Fabre","year":"2005","unstructured":"Fabre E, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dyn Syst: Theory Appl 15(1):33\u201384","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"issue":"4","key":"129_CR9","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/j.automatica.2004.10.002","volume":"41","author":"HE Garcia","year":"2005","unstructured":"Garcia HE, Yoo TS (2005) Model-based detection of routing events in discrete flow networks. Automatica 41(4):583\u2013594","journal-title":"Automatica"},{"key":"129_CR10","unstructured":"Genc S (2008) Formal methods for intrusion detection of windows nt attacks. In: 3rd annual symposium on information assurance (ASIA \u201908) & 11th annual NYS cyber security conference, vol\u00a01, pp 71\u201379"},{"key":"129_CR11","doi-asserted-by":"crossref","unstructured":"Haar S (2010) What topology tells us about diagnosability in partial order semantics. In: Proceedings of the 10th international workshop on discrete event systems, pp 221\u2013226","DOI":"10.3182\/20100830-3-DE-4013.00036"},{"issue":"4","key":"129_CR12","doi-asserted-by":"crossref","first-page":"746","DOI":"10.1137\/0210058","volume":"10","author":"A Itai","year":"1981","unstructured":"Itai A, Lipton RJ, Papadimitriou CH, Rodeh M (1981) Covering graphs by simple circuits. SIAM J Comput 10(4):746\u2013750","journal-title":"SIAM J Comput"},{"key":"129_CR13","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Genc S, Lafortune S (2008) Predictability of sequence patterns in discrete event systems. In: Proceedings of the 17th IFAC world congress, pp 537\u2013543","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"issue":"8","key":"129_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 algorithm for testing diagnosability of discrete-event systems. IEEE Trans Automat Contr 46(8):1318\u20131321","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"129_CR15","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TAC.2003.809144","volume":"48","author":"S Jiang","year":"2003","unstructured":"Jiang S, Kumar R, Garcia H (2003) Optimal sensor selection for discrete-event systems with partial observation. IEEE Trans Automat Contr 48(3):369\u2013381","journal-title":"IEEE Trans Automat Contr"},{"issue":"6","key":"129_CR16","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"SB Jiang","year":"2004","unstructured":"Jiang SB, Kumar R (2004) Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans Automat Contr 49(6):934\u2013945","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"129_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"DB Johnson","year":"1975","unstructured":"Johnson DB (1975) Finding all the elementary circuits of a directed graph. SIAM J Comput 4(1):77\u201384","journal-title":"SIAM J Comput"},{"issue":"3","key":"129_CR18","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1109\/TASE.2009.2021330","volume":"6","author":"R Kumar","year":"2009","unstructured":"Kumar R, Takai S (2009) Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete-event systems. IEEE Trans Autom Sci Eng 6(3):479\u2013491","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"129_CR19","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 American control conference, vol\u00a03, pp\u00a02058\u20132071","DOI":"10.1109\/ACC.2001.946047"},{"issue":"2","key":"129_CR20","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 applications. Discrete Event Dyn Syst: Theory Appl 4(2):197\u2013212","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"issue":"2","key":"129_CR21","doi-asserted-by":"crossref","first-page":"1096","DOI":"10.1109\/TSMCB.2003.820593","volume":"34","author":"J Lunze","year":"2004","unstructured":"Lunze J, Schroder J (2004) Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans Syst Man Cybern, Part B, Cybern 34(2):1096\u20131107","journal-title":"IEEE Trans Syst Man Cybern, Part B, Cybern"},{"issue":"7","key":"129_CR22","doi-asserted-by":"crossref","first-page":"1679","DOI":"10.1109\/TAC.2011.2124950","volume":"56","author":"MV Moreira","year":"2011","unstructured":"Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Automat Contr 56(7):1679\u20131684","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"129_CR23","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) Template languages for fault monitoring of timed discrete event processes. IEEE Trans Automat Contr 45(5):868\u2013882","journal-title":"IEEE Trans Automat Contr"},{"issue":"1\u20132","key":"129_CR24","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y, Cordier MO (2005) A formal framework for the decentralized diagnosis of large scale discrete event systems and its applications to telecommunication networks. Artif Intell 164(1\u20132):121\u2013170","journal-title":"Artif Intell"},{"issue":"1","key":"129_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"key":"129_CR26","doi-asserted-by":"crossref","unstructured":"Sampath M (2001) A hybrid approach to failure diagnosis of industrial systems. In: Proceedings of the American control conference, vol\u00a03, pp 2077\u20132082","DOI":"10.1109\/ACC.2001.946050"},{"issue":"9","key":"129_CR27","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, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"129_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, 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":"129_CR29","doi-asserted-by":"crossref","unstructured":"Sengupta R (2001) A discrete event approach for vehicle failure diagnostics. In: Proceedings of the American control conference, vol\u00a03, pp 2083\u20132086","DOI":"10.1109\/ACC.2001.946051"},{"key":"129_CR30","doi-asserted-by":"crossref","unstructured":"Sinnamohideen K (2001) Discrete-event diagnostics of heating, ventilation, and air-conditioning systems. In: Proceedings of the American control conference, vol\u00a03, pp 2072\u20132076","DOI":"10.1109\/ACC.2001.946049"},{"issue":"4","key":"129_CR31","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":"4","key":"129_CR32","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s10626-007-0027-y","volume":"17","author":"D Thorsley","year":"2007","unstructured":"Thorsley D, Teneketzis D (2007) Active acquisition of information for diagnosis and supervisory control of discrete event systems. Discrete Event Dyn Syst: Theory Appl 17(4):531\u2013583","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"129_CR33","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","volume-title":"Formal techniques in real time and fault tolerant systems (FTRTFT). Lecture notes in computer sciences, vol 2469","author":"S Tripakis","year":"2002","unstructured":"Tripakis S (2002) Fault diagnosis for timed automata. In: Formal techniques in real time and fault tolerant systems (FTRTFT). Lecture notes in computer sciences, vol 2469, pp 205\u2013222. Springer-Verlag, New York"},{"issue":"7","key":"129_CR34","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1016\/j.automatica.2010.04.004","volume":"46","author":"W Wang","year":"2010","unstructured":"Wang W, Lafortune S, Girard AR, Lin F (2010) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165\u20131175","journal-title":"Automatica"},{"issue":"2","key":"129_CR35","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10626-006-0006-8","volume":"17","author":"Y Wang","year":"2007","unstructured":"Wang Y, Yoo TS, Lafortune S (2007) Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn Syst: Theory Appl 17(2):233\u2013263","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"issue":"9","key":"129_CR36","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1109\/TAC.2002.802762","volume":"47","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) NP-completeness of sensor selection problems arising in partially observed discrete-event systems. IEEE Trans Automat Contr 47(9):1495\u20131499","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"129_CR37","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Automat Contr 47(9):1491\u20131495","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0129-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0129-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0129-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:24:49Z","timestamp":1561249489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0129-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,29]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["129"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0129-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,29]]}}}