{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:35:28Z","timestamp":1776839728931,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548291","type":"print"},{"value":"9783642548307","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_2","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:30:31Z","timestamp":1395408631000},"page":"29-42","source":"Crossref","is-referenced-by-count":24,"title":["Active Diagnosis for Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Nathalie","family":"Bertrand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2108242.2108243","volume":"59","author":"C. Baier","year":"2012","unstructured":"Baier, C., Bertrand, N., Gr\u00f6sser, M.: Probabilistic \u03c9-automata. Journal of the ACM\u00a059(1), 1\u201352 (2012)","journal-title":"Journal of the ACM"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bertrand, N., Genest, B., Gimbert, H.: Qualitative determinacy and decidability of stochastic games with signals. In: Proceedings of LICS 2009, pp. 319\u2013328. IEEE Computer Society (2009)","DOI":"10.1109\/LICS.2009.31"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Cabasino, M., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proceedings of CDC 2009, pp. 1267\u20131272. IEEE (2009)","DOI":"10.1109\/CDC.2009.5400608"},{"key":"2_CR4","first-page":"497","volume":"88","author":"F. Cassez","year":"2008","unstructured":"Cassez, F., Tripakis, S.: Fault diagnosis with static and dynamic observers. Fundamenta Informaticae\u00a088, 497\u2013540 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Chanthery, E., Pencol\u00e9, Y.: Monitoring and active diagnosis for discrete-event systems. In: Proceedings of SP 2009, pp. 1545\u20131550. Elsevier (2009)","DOI":"10.3182\/20090630-4-ES-2003.00252"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-15155-2_23","volume-title":"Mathematical Foundations of Computer Science 2010","author":"K. Chatterjee","year":"2010","unstructured":"Chatterjee, K., Doyen, L., Gimbert, H., Henzinger, T.A.: Randomness for free. In: Hlin\u011bn\u00fd, P., Ku\u010dera, A. (eds.) MFCS 2010. LNCS, vol.\u00a06281, pp. 246\u2013257. Springer, Heidelberg (2010)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Fabre, E., Jezequel, L.: On the construction of probabilistic diagnosers. In: Proceeeding of WODES 2010, pp. 229\u2013234. Elsevier (2010)","DOI":"10.3182\/20100830-3-DE-4013.00039"},{"key":"2_CR8","unstructured":"Haar, S., Haddad, S., Melliti, T., Schwoon, S.: Optimal constructions for active diagnosis. In: Proceedings of FSTTCS 2013. LIPIcs, vol.\u00a024, pp. 527\u2013539. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2013)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-19237-1_6","volume-title":"Hardware and Software: Verification and Testing","author":"C. Morvan","year":"2011","unstructured":"Morvan, C., Pinchinat, S.: Diagnosability of pushdown systems. In: Namjoshi, K., Zeller, A., Ziv, A. (eds.) HVC 2009. LNCS, vol.\u00a06405, pp. 21\u201333. Springer, Heidelberg (2011)"},{"issue":"7","key":"2_CR10","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.: Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control\u00a043(7), 908\u2013929 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"2_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, D.: Diagnosability of discrete-event systems. IEEE Trans. Aut. Cont.\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Aut. Cont."},{"issue":"4","key":"2_CR12","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 Transactions on Automatic Control\u00a050(4), 476\u2013492 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-007-0027-y","volume":"17","author":"D. Thorsley","year":"2007","unstructured":"Thorsley, D., Teneketzis, D.: Active acquisition of information for diagnosis and supervisory control of discrete-event systems. Journal of Discrete Event Dynamic Systems\u00a017, 531\u2013583 (2007)","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of FOCS 1985, pp. 327\u2013338. IEEE Computer Society Press (1985)","DOI":"10.1109\/SFCS.1985.12"},{"issue":"9","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T.-S. Yoo","year":"2002","unstructured":"Yoo, T.-S., Lafortune, S.: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Automat. Contr.\u00a047(9), 1491\u20131495 (2002)","journal-title":"IEEE Trans. Automat. Contr."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T12:16:12Z","timestamp":1558872972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}