{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:55:23Z","timestamp":1742946923483,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031684159"},{"type":"electronic","value":"9783031684166"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68416-6_2","type":"book-chapter","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T07:02:40Z","timestamp":1724828560000},"page":"19-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis of Stochastic Systems: Optimising Costs and Delays"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7538-8826","authenticated-orcid":false,"given":"Marie","family":"Duflot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0875-300X","authenticated-orcid":false,"given":"Engel","family":"Lefaucheux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3264-7892","authenticated-orcid":false,"given":"Isaline","family":"Plaid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4) (2011)","DOI":"10.1145\/2000799.2000800"},{"key":"2_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). https:\/\/doi.org\/10.1007\/978-3-642-54830-7_2"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bertrand, N., Haddad, S., Lefaucheux, E.: A tale of two diagnoses in probabilistic systems. Inf. Comput. 104441 (2019)","DOI":"10.1016\/j.ic.2019.104441"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10626-020-00320-2","volume":"30","author":"N Bertrand","year":"2020","unstructured":"Bertrand, N., Haddad, S., Lefaucheux, E.: Diagnosis and degradation control for probabilistic systems. Discret. Event Dyn. Syst. 30(4), 695\u2013723 (2020)","journal-title":"Discret. Event Dyn. Syst."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Borodin, A., von zur Gathem, J., Hopcroft, J.: Fast parallel matrix and GCD computations. Inf. Control 52(3), 241\u2013256 (1982)","DOI":"10.1016\/S0019-9958(82)90766-5"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Cassez, F., Tripakis, S., Altisen, K.: Synthesis of optimal-cost dynamic observers for fault diagnosis of discrete-event systems. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE \u201907), pp. 316\u2013325 (2007)","DOI":"10.1109\/TASE.2007.51"},{"key":"2_CR7","unstructured":"Duflot, M., Lefaucheux, E., Plaid, I.: Diagnosis of Stochastic Systems: Optimising Costs and Delays (long version). https:\/\/inria.hal.science\/hal-04617663"},{"issue":"8","key":"2_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.: A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Autom. Control 46(8), 1318\u20131321 (2001)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Lefaucheux, E.: Accurate approximate diagnosis of (Controllable) stochastic systems. In: Abate, A., Marin, A. (eds.) Quantitative Evaluation of Systems. QEST 2021. LNCS, vol. 12846, pp. 413\u2013434. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_22","DOI":"10.1007\/978-3-030-85172-9_22"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0022-0000(81)90038-6","volume":"22","author":"WL Ruzzo","year":"1981","unstructured":"Ruzzo, W.L.: On uniform circuit complexity. J. Comput. Syst. Sci. 22(3), 365\u2013383 (1981)","journal-title":"J. Comput. Syst. Sci."},{"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. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"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 Trans. Autom. Control 50(4), 476\u2013492 (2005)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"2_CR13","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. Trans. Autom. Control 50(4), 476\u2013492 (2005)","journal-title":"Trans. Autom. Control"},{"key":"2_CR14","unstructured":"Yoo, T.S., Lafortune, S.: On the computational complexity of some problems arising in partially-observed discrete-event systems. In: Proceedings of the 2001 American Control Conference, vol. 1, pp. 307\u2013312 (2001). vol. 1"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68416-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T07:05:44Z","timestamp":1724828744000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68416-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031684159","9783031684166"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68416-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST+FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Calgary, AB","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest-formats.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}