{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:42:24Z","timestamp":1743118944921,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030794620"},{"type":"electronic","value":"9783030794637"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-79463-7_37","type":"book-chapter","created":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T23:03:07Z","timestamp":1626649387000},"page":"441-452","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Diagnosis of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0462-2283","authenticated-orcid":false,"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Tazl","sequence":"additional","affiliation":[]},{"given":"David","family":"Kaufmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,19]]},"reference":[{"key":"37_CR1","doi-asserted-by":"publisher","unstructured":"Azam, M., Pattipati, K., Allanach, J., Poll, S., Patterson-Hine, A.: In-flight fault detection and isolation in aircraft flight control systems. In: IEEE Aerospace Conference Proceedings, vol. 2005, pp. 3555\u20133565 (2005). https:\/\/doi.org\/10.1109\/AERO.2005.1559659","DOI":"10.1109\/AERO.2005.1559659"},{"key":"37_CR2","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347\u2013410 (1984)","journal-title":"Artif. Intell."},{"key":"37_CR3","unstructured":"Diedrich, A., Niggemann, O.: Diagnosing hybrid cyber-physical systems using state-space models and satisfiability modulo theory. In: Trave-Massuyes, L., S.A. (ed.) CEUR Workshop Proceedings, vol. 2289. CEUR-WS (2018)"},{"key":"37_CR4","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston, pp. 331\u2013336, August 1990. also appears in Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)"},{"issue":"2","key":"37_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.2514\/1.54964","volume":"9","author":"D Iverson","year":"2012","unstructured":"Iverson, D., et al.: General purpose data-driven system monitoring for space operations. J. Aerosp. Comput. Inf. Commun. 9(2), 26\u201344 (2012). https:\/\/doi.org\/10.2514\/1.54964","journal-title":"J. Aerosp. Comput. Inf. Commun."},{"issue":"5","key":"37_CR6","doi-asserted-by":"publisher","first-page":"2000218","DOI":"10.1002\/aisy.202000218","volume":"3","author":"D Kaufmann","year":"2021","unstructured":"Kaufmann, D., Nica, I., Wotawa, F.: Intelligent agents diagnostics - enhancing cyber-physical systems with self-diagnostic capabilities. Adv. Intell. Syst. 3(5), 2000218 (2021). https:\/\/doi.org\/10.1002\/aisy.202000218","journal-title":"Adv. Intell. Syst."},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J de Kleer","year":"1992","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnosis and systems. Artif. Intell. 56, 197\u2013222 (1992)","journal-title":"Artif. Intell."},{"issue":"1","key":"37_CR8","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. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-030-59491-6_25","volume-title":"Foundations of Intelligent Systems","author":"E Mu\u0161kardin","year":"2020","unstructured":"Mu\u0161kardin, E., Pill, I., Wotawa, F.: CatIO - a framework for model-based diagnosis of cyber-physical systems. In: Helic, D., Leitner, G., Stettinger, M., Felfernig, A., Ra\u015b, Z.W. (eds.) ISMIS 2020. LNCS (LNAI), vol. 12117, pp. 267\u2013276. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59491-6_25"},{"issue":"1","key":"37_CR10","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":"37_CR11","doi-asserted-by":"publisher","unstructured":"Schwabacher, M., Aguilar, R., Figueroa, F.: Using decision trees to detect and isolate simulated leaks in the J-2X rocket engine. In: IEEE Aerospace Conference Proceedings (2009). https:\/\/doi.org\/10.1109\/AERO.2009.4839691","DOI":"10.1109\/AERO.2009.4839691"},{"key":"37_CR12","unstructured":"Schwabacher, M., Goebel, K.: A survey of artificial intelligence for prognostics. In: AAAI Fall Symposium - Technical Report, pp. 107\u2013114 (2007)"},{"key":"37_CR13","doi-asserted-by":"publisher","unstructured":"Schwabacher, M., Waterman, R.: Pre-launch diagnostics for launch vehicles. In: IEEE Aerospace Conference Proceedings (2008). https:\/\/doi.org\/10.1109\/AERO.2008.4526645","DOI":"10.1109\/AERO.2008.4526645"},{"key":"37_CR14","unstructured":"Struss, P., Dressler, O.: Physical negation \u2013 integrating fault models into the general diagnostic engine. In: Proceedings $$11^{\\rm th}$$ International Joint Conference on Artificial Intelligence, Detroit, pp. 1318\u20131323, August 1989"},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1989","key":"37_CR15","unstructured":"Weld, D., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, Burlington (1989)"},{"key":"37_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05645-2","volume-title":"Predictive Maintenance in Dynamic Systems","year":"2019","unstructured":"Lughofer, E., Sayed-Mouchaweh, M. (eds.): Predictive Maintenance in Dynamic Systems. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05645-2"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-030-55789-8_45","volume-title":"Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices","author":"F Wotawa","year":"2020","unstructured":"Wotawa, F.: On the use of answer set programming for model-based diagnosis. In: Fujita, H., Fournier-Viger, P., Ali, M., Sasaki, J. (eds.) IEA\/AIE 2020. LNCS (LNAI), vol. 12144, pp. 518\u2013529. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55789-8_45"},{"issue":"21","key":"37_CR18","doi-asserted-by":"publisher","first-page":"1096","DOI":"10.1016\/j.ifacol.2015.09.673","volume":"28","author":"A Zolghadri","year":"2015","unstructured":"Zolghadri, A., et al.: Signal and model-based fault detection for aircraft systems. IFAC-PapersOnLine 28(21), 1096\u20131101 (2015). https:\/\/doi.org\/10.1016\/j.ifacol.2015.09.673","journal-title":"IFAC-PapersOnLine"}],"container-title":["Lecture Notes in Computer Science","Advances and Trends in Artificial Intelligence. From Theory to Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-79463-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T23:25:23Z","timestamp":1626650723000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-79463-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030794620","9783030794637"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-79463-7_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IEA\/AIE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kuala Lumpur","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaysia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"34","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ieaaie2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ieeecomputer.my\/ieaaie2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Microsoft CMT","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"145","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"87","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4.35","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}