{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T14:40:09Z","timestamp":1751812809193,"version":"3.41.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319997391"},{"type":"electronic","value":"9783319997407"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-99740-7_4","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:44:08Z","timestamp":1535017448000},"page":"43-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Lamperti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Zanella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangfu","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1002\/cplx.20045","volume":"10","author":"F Atay","year":"2004","unstructured":"Atay, F., Jost, J.: On the emergence of complex systems on the basis of the coordination of complex behaviors of their elements: synchronization and complexity. Complexity 10(1), 17\u201322 (2004)","journal-title":"Complexity"},{"key":"4_CR2","volume-title":"Complex Systems","author":"T Bossomaier","year":"2007","unstructured":"Bossomaier, T., Green, D.: Complex Systems. Cambridge University Press, Cambridge (2007)"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"issue":"12","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1872","DOI":"10.1093\/comjnl\/bxw044","volume":"59","author":"S Brognoli","year":"2016","unstructured":"Brognoli, S., Lamperti, G., Scandale, M.: Incremental determinization of expanding automata. Comput. J. 59(12), 1872\u20131899 (2016)","journal-title":"Comput. J."},{"key":"4_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-68612-7","edition":"2"},{"issue":"1\u20132","key":"4_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.artint.2003.06.003","volume":"155","author":"L Chittaro","year":"2004","unstructured":"Chittaro, L., Ranon, R.: Hierarchical model-based diagnosis based on structural abstraction. Artif. Intell. 155(1\u20132), 147\u2013182 (2004)","journal-title":"Artif. Intell."},{"key":"4_CR7","series-title":"The Morgan Kaufmann Series in Artificial Intelligence","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. The Morgan Kaufmann Series in Artificial Intelligence. Morgan Kaufmann Publishers Inc., San Francisco (2003)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0920-1","volume-title":"Complex Systems","year":"2001","unstructured":"Goles, E., Martinez, S. (eds.): Complex Systems. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-010-0920-1"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"4_CR10","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"2006","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading (2006)","edition":"3"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0888-613X(96)00069-2","volume":"15","author":"C Huang","year":"1996","unstructured":"Huang, C., Darwiche, A.: Inference in belief networks: A procedural guide. Int. J. Approx. Reason. 15(3), 225\u2013263 (1996)","journal-title":"Int. J. Approx. Reason."},{"key":"4_CR12","unstructured":"Huang, J., Darwiche, A.: On compiling system models for faster and more scalable diagnosis. In: 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, PA, pp. 300\u2013306 (2005)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Idghamishi, A., Zad, S.: Fault diagnosis in hierarchical discrete-event systems. In: 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, pp. 63\u201368 (2004)","DOI":"10.1109\/CDC.2004.1428607"},{"key":"4_CR14","unstructured":"J\u00e9ron, T., Marchand, H., Pinchinat, S., Cordier, M.: Supervision patterns in discrete event systems diagnosis. In: Seventeenth International Workshop on Principles of Diagnosis (DX 2006), Pe\u00f1aranda de Duero, Spain, pp. 117\u2013124 (2006)"},{"issue":"8","key":"4_CR15","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":"4_CR16","unstructured":"Kan John, P., Grastien, A.: Local consistency and junction tree for diagnosis of discrete-event systems. In: Eighteenth European Conference on Artificial Intelligence (ECAI 2008), pp. 209\u2013213. IOS Press, Amsterdam (2008)"},{"key":"4_CR17","series-title":"Smart Innovation, Systems and Technologies","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-39630-9_18","volume-title":"Intelligent Decision Technologies 2016","author":"G Lamperti","year":"2016","unstructured":"Lamperti, G., Quarenghi, G.: Intelligent monitoring of complex discrete-event systems. In: Czarnowski, I., Caballero, A.M., Howlett, R.J., Jain, L.C. (eds.) Intelligent Decision Technologies 2016. SIST, vol. 56, pp. 215\u2013229. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39630-9_18"},{"key":"4_CR18","series-title":"Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of Active Systems: Principles and Techniques","author":"G Lamperti","year":"2003","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of Active Systems: Principles and Techniques. Springer International Series in Engineering and Computer Science, vol. 741. Springer, Dordrecht (2003). https:\/\/doi.org\/10.1007\/978-94-017-0257-7"},{"key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92733-6","volume-title":"Introduction to Diagnosis of Active Systems","author":"G Lamperti","year":"2018","unstructured":"Lamperti, G., Zanella, M., Zhao, X.: Introduction to Diagnosis of Active Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92733-6"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-40511-2_12","volume-title":"Availability, Reliability, and Security in Information Systems and HCI","author":"G Lamperti","year":"2013","unstructured":"Lamperti, G., Zhao, X.: Diagnosis of higher-order discrete-event systems. In: Cuzzocrea, A., Kittl, C., Simos, D.E., Weippl, E., Xu, L. (eds.) CD-ARES 2013. LNCS, vol. 8127, pp. 162\u2013177. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40511-2_12"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lamperti, G., Zhao, X.: Specification and model-based diagnosis of higher-order discrete event systems. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), Manchester, United Kingdom, pp. 2342\u20132347 (2013)","DOI":"10.1109\/SMC.2013.400"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-45507-5_4","volume-title":"Availability, Reliability, and Security in Information Systems","author":"G Lamperti","year":"2016","unstructured":"Lamperti, G., Zhao, X.: Diagnosis of complex active systems with uncertain temporal observations. In: Buccafurri, F., Holzinger, A., Kieseberg, P., Tjoa, A.M., Weippl, E. (eds.) CD-ARES 2016. LNCS, vol. 9817, pp. 45\u201362. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45507-5_4"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Lamperti, G., Zhao, X.: Viable diagnosis of complex active systems. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Budapest, pp. 457\u2013462 (2016)","DOI":"10.1109\/SMC.2016.7844282"},{"key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1142\/6692","volume-title":"Physics of Emergence and Organization","author":"I Licata","year":"2008","unstructured":"Licata, I., Sakaji, A.: Physics of Emergence and Organization. World Scientific, Singapore (2008)"},{"key":"4_CR25","unstructured":"Mozeti\u010d, I.: Hierarchical diagnosis. In: Hamscher, W., Console, L., de Kleer, J. (eds.) Readings in Model-Based Diagnosis. Morgan Kaufmann (1992)"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10626-008-0044-5","volume":"18","author":"A Paoli","year":"2008","unstructured":"Paoli, A., Lafortune, S.: Diagnosability analysis of a class of hierarchical state machines. J. Discrete Event Dyn. Syst. Theory Appl. 18(3), 385\u2013413 (2008)","journal-title":"J. Discrete Event Dyn. Syst. Theory Appl."},{"issue":"9","key":"4_CR27","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"},{"key":"4_CR28","unstructured":"Schumann, A., Huang, J.: A scalable jointree algorithm for diagnosability. In: Twenty-Third National Conference on Artificial Intelligence (AAAI 2008), Chicago, IL, pp. 535\u2013540 (2008)"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MEX.1986.4306979","volume":"1","author":"P Shenoy","year":"1986","unstructured":"Shenoy, P., Shafer, G.: Propagating belief functions with local computations. IEEE Expert 1(3), 43\u201352 (1986)","journal-title":"IEEE Expert"},{"key":"4_CR30","unstructured":"Siddiqi, S., Huang, J.: Hierarchical diagnosis of multiple faults. In: 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 581\u2013586 (2007)"},{"issue":"1","key":"4_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00054-6","volume":"127","author":"M Stumptner","year":"2001","unstructured":"Stumptner, M., Wotawa, F.: Diagnosing tree-structured systems. Artif. Intell. 127(1), 1\u201329 (2001)","journal-title":"Artif. Intell."},{"key":"4_CR32","volume-title":"Scale: The Universal Laws of Growth, Innovation, Sustainability, and the Pace of Life in Organisms, Cities, Economies, and Companies","author":"G West","year":"2017","unstructured":"West, G.: Scale: The Universal Laws of Growth, Innovation, Sustainability, and the Pace of Life in Organisms, Cities, Economies, and Companies. Penguin Press, New York (2017)"},{"issue":"9","key":"4_CR33","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T Yoo","year":"2002","unstructured":"Yoo, T., Lafortune, S.: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Autom. Control 47(9), 1491\u20131495 (2002)","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Machine Learning and Knowledge Extraction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99740-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T13:58:30Z","timestamp":1751810310000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-99740-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319997391","9783319997407"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99740-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"24 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CD-MAKE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Cross-Domain Conference for Machine Learning and Knowledge Extraction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hamburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cd-make2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cd-make.net\/about\/","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":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45","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":"25","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":"0","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":"56% - 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":"3","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)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}