{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:08:45Z","timestamp":1742958525191,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030229986"},{"type":"electronic","value":"9783030229993"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22999-3_13","type":"book-chapter","created":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T23:04:56Z","timestamp":1561676696000},"page":"137-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Rule-Based Smart Control for Fail-Operational Systems"],"prefix":"10.1007","author":[{"given":"Georg","family":"Engel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Schweiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,15]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference 2011, pp. 173\u2013184 (2009)","DOI":"10.3384\/ecp11063105"},{"key":"13_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":"13_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511780929","volume-title":"Computational Principles of Mobile Robotics","author":"G Dudek","year":"2010","unstructured":"Dudek, G., Jenkin, M.: Computational Principles of Mobile Robotics. Cambridge University Press, Cambridge (2010)"},{"key":"13_CR4","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-030-01470-4_19","volume-title":"Simulation and Modeling Methodologies, Technologies and Applications","author":"G Engel","year":"2019","unstructured":"Engel, G., Chakkaravarthy, A.S., Schweiger, G.: A general method to compare different co-simulation interfaces: demonstration on a case study. In: Obaidat, M.S., \u00d6ren, T., Rango, F.D. (eds.) SIMULTECH 2017. AISC, vol. 873, pp. 351\u2013365. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-01470-4_19"},{"key":"13_CR5","volume-title":"Object-Oriented Modeling and Simulation with Modelica 3.3 - A Cyber-Physical Approach","author":"P Fritzson","year":"2014","unstructured":"Fritzson, P.: Object-Oriented Modeling and Simulation with Modelica 3.3 - A Cyber-Physical Approach, 2nd edn. Wiley-IEEE Press, New York (2014)","edition":"2"},{"key":"13_CR6","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. CoRR abs\/1702.0, February 2017"},{"key":"13_CR7","unstructured":"Hern\u00e1ndez-Cabrera, J.J., \u00c9vora-G\u00f3mez, J., Roncal-Andr\u00e9s, O.: javaFMI. https:\/\/bitbucket.org\/siani\/javafmi\/wiki\/Home. Accessed 25 Jan 2019"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10846-006-9102-0","volume":"48","author":"MW Hofbaur","year":"2007","unstructured":"Hofbaur, M.W., K\u00f6b, J., Steinbauer, G., Wotawa, F.: Improving robustness of mobile robots using model-based reasoning. J. Intell. Rob. Syst. 48(1), 37\u201354 (2007)","journal-title":"J. Intell. Rob. Syst."},{"key":"13_CR9","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-1-4020-9823-9_13","volume-title":"Intelligent Technical Systems","author":"W Krenn","year":"2009","unstructured":"Krenn, W., Wotawa, F.: Intelligent, fault adaptive control of autonomous systems. In: Madrid, N.M., Seepold, R.E.D. (eds.) Intelligent Technical Systems. Lecture Notes in Electrical Engineering, vol. 38, pp. 175\u2013188. Springer, Dordrecht (2009). https:\/\/doi.org\/10.1007\/978-1-4020-9823-9_13"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BFb0057636","volume-title":"Evolvable Systems: From Biology to Hardware","author":"JM Moreno","year":"1998","unstructured":"Moreno, J.M., Madrenas, J., Faura, J., Cant\u00f3, E., Cabestany, J., Insenser, J.M.: Feasible evolutionary and self-repairing hardware by means of the dynamic reconfiguration capabilities of the FIPSOC devices. In: Sipper, M., Mange, D., P\u00e9rez-Uribe, A. (eds.) ICES 1998. LNCS, vol. 1478, pp. 345\u2013355. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0057636"},{"issue":"4","key":"13_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/5254.784081","volume":"14","author":"D Musliner","year":"1999","unstructured":"Musliner, D., Goldman, R., Pelican, M., Krebsbach, K.: Self-adaptive software for hard real-time environments. Intell. Syst. Appl. 14(4), 23\u201329 (1999)","journal-title":"Intell. Syst. Appl."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Pell, B., et al.: A remote-agent prototype for spacecraft autonomy. In: Proceedings of the SPIE Conference on Optical Science, Engineering, and Instrumentation, Volume on Space Sciencecraft Control and Tracking in the New Millennium, Bellingham, Waschington, U.S.A., Society of Professional Image Engineers (1996)","DOI":"10.1117\/12.255150"},{"key":"13_CR13","unstructured":"Rajan, K., et al.: Remote agent: an autonomous control system for the new millennium. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000"},{"issue":"1","key":"13_CR14","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":"13_CR15","unstructured":"Rincon, F., Teres, L.: Reconfigurable hardware systems. In: Proceedings of the International Semiconductor Conference, New York, NY, USA, vol. 1, pp. 45\u201354 (1998)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Schweiger, G., Gomes, C., Engel, G., Hafner, I., Schoeggl, J.P., Nouidui, T.S.: Functional mockup-interface : an empirical survey identifies research challenges and current barriers. In: American Modelica Conference 2018 (2018)","DOI":"10.3384\/ecp18154138"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-16576-4_4","volume-title":"Autonomic and Trusted Computing","author":"H Seebach","year":"2010","unstructured":"Seebach, H., et al.: Designing self-healing in automotive systems. In: Xie, B., Branke, J., Sadjadi, S.M., Zhang, D., Zhou, X. (eds.) ATC 2010. LNCS, vol. 6407, pp. 47\u201361. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16576-4_4"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11780519_2","volume-title":"RoboCup 2005: Robot Soccer World Cup IX","author":"G Steinbauer","year":"2006","unstructured":"Steinbauer, G., M\u00f6rth, M., Wotawa, F.: Real-time diagnosis and repair of faults of robot control software. In: Bredenfeld, A., Jacoff, A., Noda, I., Takahashi, Y. (eds.) RoboCup 2005. LNCS (LNAI), vol. 4020, pp. 13\u201323. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11780519_2"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-36249-1_7","volume-title":"Assurances for Self-Adaptive Systems","author":"G Steinbauer","year":"2013","unstructured":"Steinbauer, G., Wotawa, F.: Model-based reasoning for self-adaptive systems \u2013 theory and practice. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 187\u2013213. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_7"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Zimmermann, M.: Adaptive system for autonomous driving. In: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 519\u2013525, July 2018","DOI":"10.1109\/QRS-C.2018.00093"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-030-05645-2_15","volume-title":"Predictive Maintenance in Dynamic Systems","author":"F Wotawa","year":"2019","unstructured":"Wotawa, F.: Reasoning from first principles for self-adaptive and autonomous systems. In: Lughofer, E., Sayed-Mouchaweh, M. (eds.) Predictive Maintenance in Dynamic Systems, pp. 427\u2013460. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05645-2_15"}],"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-22999-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T22:07:05Z","timestamp":1620770825000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-22999-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030229986","9783030229993"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22999-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 June 2019","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":"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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ieaaie2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ieaaie2019.ist.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"151","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":"41","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":"32","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":"27% - 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","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}