{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T07:46:03Z","timestamp":1766043963665,"version":"3.48.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032054340"},{"type":"electronic","value":"9783032054357"}],"license":[{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05435-7_24","type":"book-chapter","created":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T01:30:28Z","timestamp":1757727028000},"page":"438-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Compositional Approach to\u00a0Diagnosing Faults in\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1376-0741","authenticated-orcid":false,"given":"Josefine B.","family":"Graebener","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7933-692X","authenticated-orcid":false,"given":"Inigo","family":"Incer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5785-7481","authenticated-orcid":false,"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,12]]},"reference":[{"key":"24_CR1","unstructured":"Beard, R.V.: Failure accomodation in linear systems through self-reorganization. Ph.D. thesis, Massachusetts Institute of Technology (1971)"},{"key":"24_CR2","doi-asserted-by":"publisher","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de\u00a0Boer, F.S., Bonsangue, M.M., Graf, S., de\u00a0Roever, W.P. (eds.) Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. pp. 200\u2013225. Springer Berlin Heidelberg, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9, https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"24_CR3","unstructured":"Boteanu, A., Arkin, J., Patki, S., Howard, T., Kress-Gazit, H.: Robot-initiated specification repair through grounded language interaction. arXiv preprint arXiv:1710.01417 (2017)"},{"key":"24_CR4","doi-asserted-by":"publisher","DOI":"10.21236\/ADA475519","volume-title":"Sensing, navigation and reasoning technologies for the DARPA urban challenge","author":"JW Burdick","year":"2007","unstructured":"Burdick, J.W., DuToit, N., Howard, A., Looman, C., Ma, J., Murray, R.M., Wongpiromsarn, T.: Sensing, navigation and reasoning technologies for the DARPA urban challenge. Tech. Rep, DARPA Urban Challenge Final Report (2007)"},{"key":"24_CR5","unstructured":"Chen, J., Patton, R.J.: Robust model-based fault diagnosis for dynamic systems, vol.\u00a03. Springer Science & Business Media (2012)"},{"issue":"15","key":"24_CR6","doi-asserted-by":"publisher","first-page":"12886","DOI":"10.1109\/JIOT.2022.3163606","volume":"9","author":"Y Chi","year":"2022","unstructured":"Chi, Y., Dong, Y., Wang, Z.J., Yu, F.R., Leung, V.C.: Knowledge-based fault diagnosis in industrial internet of things: a survey. IEEE Internet Things J. 9(15), 12886\u201312900 (2022)","journal-title":"IEEE Internet Things J."},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-031-77382-2_5","volume-title":"Software Engineering and Formal Methods","author":"A Cimatti","year":"2025","unstructured":"Cimatti, A., Grosen, T.M., Larsen, K.G., Tonetta, S., Zimmermann, M.: Exploiting assumptions for effective monitoring of real-time properties under partial observability. In: Madeira, A., Knapp, A. (eds.) Software Engineering and Formal Methods, pp. 70\u201388. Springer Nature Switzerland, Cham (2025)"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-030-32079-9_10","volume-title":"Runtime Verification","author":"A Cimatti","year":"2019","unstructured":"Cimatti, A., Tian, C., Tonetta, S.: Assumption-based runtime verification with partial observability and resets. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification, pp. 165\u2013184. Springer International Publishing, Cham (2019)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0102s\u0102reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 331\u2013346. Springer Berlin Heidelberg, Berlin, Heidelberg (2003)","DOI":"10.1007\/3-540-36577-X_24"},{"issue":"1","key":"24_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J De Kleer","year":"1987","unstructured":"De Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial intelligence 32(1), 97\u2013130 (1987)","journal-title":"Diagnosing multiple faults. Artificial intelligence"},{"issue":"8","key":"24_CR11","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"issue":"6","key":"24_CR12","doi-asserted-by":"publisher","first-page":"3757","DOI":"10.1109\/TIE.2015.2417501","volume":"62","author":"Z Gao","year":"2015","unstructured":"Gao, Z., Cecati, C., Ding, S.X.: A survey of fault diagnosis and fault-tolerant techniques\u2013part i: Fault diagnosis with model-based and signal-based approaches. IEEE Trans. Industr. Electron. 62(6), 3757\u20133767 (2015)","journal-title":"IEEE Trans. Industr. Electron."},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-031-77382-2_25","volume-title":"Software Engineering and Formal Methods","author":"S Goyal","year":"2025","unstructured":"Goyal, S., Griggio, A., Tonetta, S.: Leveraging contracts for failure monitoring and identification in automated driving systems. In: Madeira, A., Knapp, A. (eds.) Software Engineering and Formal Methods, pp. 441\u2013460. Springer Nature Switzerland, Cham (2025)"},{"key":"24_CR14","unstructured":"Graebener, J.B.M.: Formal Methods for Test and Evaluation: Reasoning over Tests, Automated Test Synthesis, and System Diagnostics. Ph.D. thesis, California Institute of Technology (2024)"},{"key":"24_CR15","first-page":"3","volume-title":"Runtime Verification","author":"TA Henzinger","year":"2020","unstructured":"Henzinger, T.A., Sara\u00e7, N.E.: Monitorability under assumptions. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) Runtime Verification, pp. 3\u201318. Springer International Publishing, Cham (2020)"},{"key":"24_CR16","unstructured":"Incer, I.: The Algebra of Contracts. Ph.D. thesis, EECS Department, University of California, Berkeley (2022)"},{"key":"24_CR17","unstructured":"Incer, I.: An adjunction between Boolean algebras and a subcategory of stone algebras. Theory Appl. Categ. 41, Paper No. 57, 2041\u20132057 (2024)"},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3704736","volume":"9","author":"I Incer","year":"2025","unstructured":"Incer, I., Badithela, A., Graebener, J.B., Mallozzi, P., Pandey, A., Rouquette, N., Yu, S.J., Benveniste, A., Caillaud, B., Murray, R.M., et al.: Pacti: Assume-guarantee contracts for efficient compositional analysis and design. ACM Transactions on Cyber-Physical Systems 9(1), 1\u201335 (2025)","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"issue":"3","key":"24_CR19","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/78969.78970","volume":"12","author":"L Lamport","year":"1990","unstructured":"Lamport, L.: win and sin: Predicate transformers for concurrency. ACM Transactions on Programming Languages and Systems (TOPLAS) 12(3), 396\u2013428 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Mallozzi, P., Incer, I., Nuzzo, P., Sangiovanni-Vincentelli, A.: Contract-based specification refinement and repair for mission planning. In: 2023 IEEE\/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE). pp. 29\u201338. IEEE (2023)","DOI":"10.1109\/FormaliSE58978.2023.00011"},{"issue":"10","key":"24_CR21","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"issue":"9","key":"24_CR22","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1109\/TAC.2006.878724","volume":"51","author":"H Niemann","year":"2006","unstructured":"Niemann, H.: A setup for active fault diagnosis. IEEE Trans. Autom. Control 51(9), 1572\u20131578 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"11","key":"24_CR23","doi-asserted-by":"publisher","first-page":"2104","DOI":"10.1109\/JPROC.2015.2453253","volume":"103","author":"P Nuzzo","year":"2015","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A.L., Bresolin, D., Geretti, L., Villa, T.: A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proc. IEEE 103(11), 2104\u20132132 (2015)","journal-title":"Proc. IEEE"},{"issue":"1","key":"24_CR24","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TRO.2012.2214558","volume":"29","author":"V Raman","year":"2012","unstructured":"Raman, V., Kress-Gazit, H.: Explaining impossible high-level robot behaviors. IEEE Trans. Rob. 29(1), 94\u2013104 (2012)","journal-title":"IEEE Trans. Rob."},{"issue":"1","key":"24_CR25","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"24_CR26","doi-asserted-by":"publisher","unstructured":"Sangiovanni-Vincentelli, A.L., Damm, W., Passerone, R.: Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012). https:\/\/doi.org\/10.3166\/ejc.18.217-238, https:\/\/doi.org\/10.3166\/ejc.18.217-238","DOI":"10.3166\/ejc.18.217-238"},{"issue":"18","key":"24_CR27","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1016\/S1474-6670(17)42524-9","volume":"30","author":"D van Schrick","year":"1997","unstructured":"van Schrick, D.: Remarks on terminology in the field of supervision, fault detection and diagnosis. IFAC Proceedings Volumes 30(18), 959\u2013964 (1997)","journal-title":"IFAC Proceedings Volumes"},{"key":"24_CR28","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-031-93706-4_22","volume-title":"NASA Formal Methods","author":"SC Varanasi","year":"2025","unstructured":"Varanasi, S.C., Meng, B., Lorch, R., Moitra, A., Siu, K., Paul, S., Durling, M., Beniwal, N., Visnevski, N.: Trace: Toolkit for requirements analysis, capture, and elicitation. In: Dutle, A., Humphrey, L., Titolo, L. (eds.) NASA Formal Methods, pp. 380\u2013399. Springer Nature Switzerland, Cham (2025)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05435-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T07:43:18Z","timestamp":1766043798000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05435-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,12]]},"ISBN":["9783032054340","9783032054357"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05435-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,12]]},"assertion":[{"value":"12 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv25.isec.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}