{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:30Z","timestamp":1740099150323,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003586"},{"type":"electronic","value":"9783030003593"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00359-3_8","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:08:28Z","timestamp":1535609308000},"page":"114-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["How to Be Sure a Faulty System Does Not Always Appear Healthy?"],"prefix":"10.1007","author":[{"given":"Lina","family":"Ye","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Dague","sequence":"additional","affiliation":[]},{"given":"Delphine","family":"Longuet","sequence":"additional","affiliation":[]},{"given":"Laura Brand\u00e1n","family":"Briones","sequence":"additional","affiliation":[]},{"given":"Agnes","family":"Madalinski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, A., Madalinski, A., Haar, S.: Effective verification of weak diagnosability. In: Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2012), pp. 636\u2013641. IFAC (2012)","DOI":"10.3182\/20120829-3-MX-2028.00083"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-54830-7_2","volume-title":"Foundations of Software Science and Computation Structures","author":"N Bertrand","year":"2014","unstructured":"Bertrand, N., Fabre, \u00c9., Haar, S., Haddad, S., H\u00e9lou\u00ebt, L.: Active diagnosis for probabilistic systems. In: Muscholl, A. (ed.) FoSSaCS 2014. LNCS, vol. 8412, pp. 29\u201342. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54830-7_2"},{"key":"8_CR3","unstructured":"Bertrand, N., Haddad, S., Lefaucheux, E.: Foundation of diagnosis and predictability in probabilistic systems. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, 15\u201317 December 2014, New Delhi, India, pp. 417\u2013429 (2014)"},{"key":"8_CR4","unstructured":"Bertrand, N., Haddad, S., Lefaucheux, E.: Diagnosis in infinite-state probabilistic systems. In: 27th International Conference on Concurrency Theory, CONCUR 2016, 23\u201326 August 2016, Qu\u00e9bec City, Canada, pp. 37:1\u201337:15 (2016)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Pous, D.: Checking NFA Equivalence with Bisimulations up to Congruence. In: Proceedings of 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-2013), pp. 457\u2013468. ACM (2013)","DOI":"10.1145\/2429069.2429124"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"JR B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. Z. Math. Logik Grundlag. Math 6, 66\u201392 (1960)","journal-title":"Z. Math. Logik Grundlag. Math"},{"key":"8_CR7","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, C.G., Lafortune, S.: Introduction To Discrete Event Systems, 2nd edn. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-0-387-68612-7","edition":"2"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2832910","volume":"14","author":"V Germanos","year":"2015","unstructured":"Germanos, V., Haar, S., Khomenko, V., Schwoon, S.: Diagnosability under weak fairness. ACM Trans. Embed. Comput. Syst. 14(4), 69 (2015)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","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.: Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83(1), 101\u2013120 (2017)","journal-title":"J. Comput. Syst. Sci."},{"issue":"8","key":"8_CR10","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.: A polynomial time algorithm for testing diagnosability of discrete event systems. Trans. Autom. Control 46(8), 1318\u20131321 (2001)","journal-title":"Trans. Autom. Control"},{"key":"8_CR11","volume-title":"Philosophical Naturalism","author":"D Papineau","year":"1993","unstructured":"Papineau, D.: Philosophical Naturalism. Blackwell Publishers, Hoboken (1993)"},{"key":"8_CR12","unstructured":"Pencol\u00e9, Y.: Diagnosability analysis of distributed discrete event systems. In: Proceedings of the 16th European Conference on Articifial Intelligent (ECAI 2004), pp. 43\u201347. IOS Press, Nieuwe Hemweg (2004)"},{"issue":"9","key":"8_CR13","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, D.: Diagnosability of discrete event system. Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"Trans. Autom. Control"},{"key":"8_CR14","unstructured":"Schumann, A., Huang, J.: A scalable jointree algorithm for diagnosability. In: Proceedings of the 23rd American National Conference on Artificial Intelligence (AAAI 2008), pp. 535\u2013540. AAAI Press, Menlo Park (2008)"},{"key":"8_CR15","unstructured":"Schumann, A., Pencol\u00e9, Y.: Scalable diagnosability checking of event-driven system. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 575\u2013580. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2007)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.sysconle.2009.11.001","volume":"59","author":"S Shu","year":"2010","unstructured":"Shu, S., Lin, F.: Detectability of discrete event systems with dynamic event observation. Syst. Control Lett. 59(1), 9\u201317 (2010)","journal-title":"Syst. Control Lett."},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TASE.2012.2215959","volume":"10","author":"S Shu","year":"2013","unstructured":"Shu, S., Lin, F.: I-detectability of discrete-event systems. IEEE Trans. Autom. Sci. Eng. 10(1), 187\u2013196 (2013)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"2\u20133","key":"8_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"AP Sistla","year":"1987","unstructured":"Sistla, A.P., Vardi, M.Y., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic. Theor. Comput. Sci. 49(2\u20133), 217\u2013237 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/TAC.2005.844722","volume":"50","author":"D Thorsley","year":"2005","unstructured":"Thorsley, D., Teneketzis, D.: Diagnosability of stochastic discrete-event systems. IEEE Trans. Autom. Control 50(4), 476\u2013492 (2005)","journal-title":"IEEE Trans. Autom. Control"},{"key":"8_CR20","unstructured":"Ye, L., Dague, P.: Diagnosability analysis of discrete event systems with autonomous components. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 105\u2013110. IOS Press, Nieuwe Hemweg (2010)"},{"key":"8_CR21","unstructured":"Ye, L., Dague, P., Longuet, D., Briones, L.B., Madalinski, A.: Fault manifestability verification for discrete event systems. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 1718\u20131719. IOS Press (2016)"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00359-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:13:32Z","timestamp":1535609612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00359-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003586","9783030003593"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00359-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}