{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:08Z","timestamp":1740122708188,"version":"3.37.3"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T00:00:00Z","timestamp":1591920000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T00:00:00Z","timestamp":1591920000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["FP7-308087"],"award-info":[{"award-number":["FP7-308087"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s10626-020-00320-2","type":"journal-article","created":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T16:02:47Z","timestamp":1591977767000},"page":"695-723","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Diagnosis and Degradation Control for Probabilistic Systems"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9957-5394","authenticated-orcid":false,"given":"Nathalie","family":"Bertrand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Engel","family":"Lefaucheux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,12]]},"reference":[{"key":"320_CR1","unstructured":"Baier C, Katoen J-Ps (2008) Principles of model checking. MIT Press"},{"key":"320_CR2","doi-asserted-by":"crossref","unstructured":"Bertrand N, Genest B, Gimbert H (2009) Qualitative determinacy and decidability of stochastic games with signals. In: Proceedings of LICS\u201909. IEEE Computer Society, pp 319\u2013328","DOI":"10.1109\/LICS.2009.31"},{"key":"320_CR3","doi-asserted-by":"crossref","unstructured":"Bertrand N, Fabre E, Haar S, Haddad S, H\u00e9lou\u00ebt L (2014a) Active diagnosis for probabilistic systems. In: Proceedings of FoSSaCS\u201914, volume 8412 of lecture notes in computer science. Springer, pp 29\u201342","DOI":"10.1007\/978-3-642-54830-7_2"},{"key":"320_CR4","unstructured":"Bertrand N, Haddad S, Lefaucheux E (2014b) Foundation of diagnosis and predictability in probabilistic systems. In: Proceedings of FSTTCS\u201914, volume 29 of Leibniz international proceedings in informatics. Leibniz-Zentrum f\u00fcr Informatik, pp 417\u2013429"},{"issue":"2","key":"320_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10703-012-0164-2","volume":"43","author":"K Chatterjee","year":"2013","unstructured":"Chatterjee K, Doyen L, Henzinger TA (2013) A survey of partial-observation stochastic parity games. Formal Methods Syst Des 43(2):268\u2013284","journal-title":"Formal Methods Syst Des"},{"key":"320_CR6","doi-asserted-by":"crossref","unstructured":"Gimbert H, Oualhadj Y (2010) Probabilistic automata on finite words: decidable and undecidable problems. In: ICALP 2010, volume 6199 of lecture notes in computer science. Springer, pp 527\u2013538","DOI":"10.1007\/978-3-642-14162-1_44"},{"issue":"1","key":"320_CR7","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 (2017) Optimal constructions for active diagnosis. J Comput Syst Sci 83(1):101\u2013120","journal-title":"J Comput Syst Sci"},{"issue":"8","key":"320_CR8","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":"320_CR9","unstructured":"Papadimitriou CH (1994) Computational complexity. Addison-Wesley"},{"key":"320_CR10","unstructured":"Paz A (1971) Introduction to probabilistic automata. Academic Press"},{"issue":"7","key":"320_CR11","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":"4","key":"320_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 (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Autom Control 50(4):476\u2013492","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00320-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-020-00320-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00320-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T23:11:21Z","timestamp":1623453081000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-020-00320-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["320"],"URL":"https:\/\/doi.org\/10.1007\/s10626-020-00320-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2020,6,12]]},"assertion":[{"value":"22 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 June 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}