{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:52Z","timestamp":1745986792963,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362484"},{"type":"electronic","value":"9783642362491"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36249-1_7","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:59:05Z","timestamp":1358211545000},"page":"187-213","source":"Crossref","is-referenced-by-count":12,"title":["Model-Based Reasoning for Self-Adaptive Systems \u2013 Theory and Practice"],"prefix":"10.1007","author":[{"given":"Gerald","family":"Steinbauer","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1716.001.0001","volume-title":"Cambrian Intelligence","author":"R. Brooks","year":"1999","unstructured":"Brooks, R.: Cambrian Intelligence. MIT Press, Cambridge (1999)"},{"key":"7_CR2","volume-title":"Proceedings of the 2nd International Workshop on Principles of Diagnosis (DX 2011)","author":"I. Pill","year":"2011","unstructured":"Pill, I., Quaritsch, T., Wotawa, F.: From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms. In: Proceedings of the 2nd International Workshop on Principles of Diagnosis (DX 2011), Murnau, Germany (October 2011)"},{"issue":"4","key":"7_CR3","first-page":"17","volume":"24","author":"P. Struss","year":"2004","unstructured":"Struss, P., Price, C.: Model-based systems in the automotive industry. AI Mag.\u00a024(4), 17\u201334 (2004)","journal-title":"AI Mag."},{"unstructured":"Gat, E.: On three-layer architectures. In: Artificial Intelligence and Mobile Robots. MIT Press (1998)","key":"7_CR4"},{"key":"7_CR5","first-page":"259","volume-title":"2007 Future of Software Engineering, FOSE 2007","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: 2007 Future of Software Engineering, FOSE 2007, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput.\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"unstructured":"Lussier, B., Lampe, A., Chatila, R., Guiochet, J., Ingrand, F., Killijian, M.O., Powell, D.: Fault Tolerance in Autonomous Systems: How and How Much? In: 4th IARP - IEEE\/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Nagoya, Japan (2005)","key":"7_CR7"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"RoboCup-2012: Robot Soccer World Cup XVI","author":"G. Steinbauer","year":"2013","unstructured":"Steinbauer, G.: A Survey about Faults of Robots used in RoboCup. In: Chen, X., Stone, P., Sucar, L.E., der Zant, T.V. (eds.) RoboCup-2012: Robot Soccer World Cup XVI. LNCS (LNAI). Springer, Berlin (2013)"},{"unstructured":"Cascio, F., Console, L., Guagliumi, M., Osella, M., Panati, A., Sottano, S., Dupr\u00e9, D.T.: Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Communications\u00a012(1\/2) (1999)","key":"7_CR9"},{"unstructured":"Malik, A., Struss, P., Sachenbacher, M.: Case studies in model-based diagnosis and fault analysis of car-subsystems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI) (1996)","key":"7_CR10"},{"unstructured":"Milde, H., Guckenbiehl, T., Malik, A., Neumann, B., Struss, P.: Integrating Model-based Diagnosis Techniques into Current Work Processes \u2013 Three Case Studies from the INDIA Project. AI Communications\u00a013 (2000); Special Issue on Industrial Applications of Model-Based Reasoning","key":"7_CR11"},{"unstructured":"Sachenbacher, M., Struss, P., Carl\u00e9n, C.M.: A Prototype for Model-based On-board Diagnosis of Automotive Systems. AI Communications\u00a013 (2000); Special Issue on Industrial Applications of Model-Based Reasoning","key":"7_CR12"},{"unstructured":"Picardi, C., Bray, R., Cascio, F., Console, L., Dague, P., Dressler, O., Millet, D., Rehfus, B., Struss, P., Vall\u00e9e, C.: Idd: Integrating diagnosis in the design of automotive systems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Lyon, France, pp. 628\u2013632. IOS Press (2002)","key":"7_CR13"},{"unstructured":"Weld, D., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann (1989)","key":"7_CR14"},{"doi-asserted-by":"crossref","unstructured":"Pell, B., Bernard, D., Chien, S., Gat, E., Muscettola, N., Nayak, P., Wagner, M., Williams, B.: A remote-agent prototype for spacecraft autonomy. In: Proc. of the SPIE Conference on Optical Science, Engineering, and Instrumentation, New Millennium, Bellingham, Waschington, U.S.A. Space Sciencecraft Control and Tracking, Society of Professional Image Engineers (1996)","key":"7_CR15","DOI":"10.1117\/12.255150"},{"unstructured":"Williams, B.C., Nayak, P.P.: Immobile robots \u2013 ai in the new millennium. AI Magazine, 16\u201335 (1996)","key":"7_CR16"},{"unstructured":"Williams, B.C., Nayak, P.P.: A Model-based Approach to Reactive Self-Configuring Systems. In: Proceedings of the Seventh International Workshop on Principles of Diagnosis, pp. 267\u2013274 (1996)","key":"7_CR17"},{"unstructured":"Williams, B.C., Nayak, P.P.: A reactive planner for a model-based executive. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, pp. 1178\u20131185 (1997)","key":"7_CR18"},{"key":"7_CR19","first-page":"836","volume-title":"Proceedings AAAI","author":"J. Crow","year":"1991","unstructured":"Crow, J., Rushby, J.: Model-based reconfiguration: Toward an integration with diagnosis. In: Proceedings AAAI, pp. 836\u2013841. Morgan Kaufmann, Los Angeles (1991)"},{"doi-asserted-by":"crossref","unstructured":"Stumptner, M., Wotawa, F.: Model-based reconfiguration. In: Proceedings Artificial Intelligence in Design, Lisbon, Portugal (1998)","key":"7_CR20","DOI":"10.1007\/978-94-011-5121-4_3"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1109\/ICIW.2008.8","volume-title":"Proc. of 3rd Conference on Internet and Web Applications and Services (ICIW 2008)","author":"L. Ardissono","year":"2008","unstructured":"Ardissono, L., Furnari, R., Goy, A., Petrone, G., Segnan, M.: A soa-based model supporting adaptive web-based applications. In: Proc. of 3rd Conference on Internet and Web Applications and Services (ICIW 2008), pp. 708\u2013713. IEEE, Athens (2008)"},{"unstructured":"Cordier, M.O., Pencol\u00e9, Y., Trav\u00e9-Massuy\u00e9s, L., Vidal, T.: Characterizing and checking self-healability. In: Proc. of 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Grece (July 2008)","key":"7_CR22"},{"doi-asserted-by":"crossref","unstructured":"Karsai, G., Abdelwahed, S., Biswas, G.: Integrated diagnosis and control for hybrid dynamic systems. In: AIAA Guidance, AIAA Guidance, Navigation and Control Conference, Austin, Texas (August 2003)","key":"7_CR23","DOI":"10.2514\/6.2003-5673"},{"unstructured":"Narasimhan, S., Biswas, G., Karsai, G., Szemetzy, T., Bowman, T., Kay, M., Keller, K.: Hybrid modeling and diagnosis in the real world: A case study. Working Papers Thirteenth Int Workshop Principles of Diagnosis (June 2002)","key":"7_CR24"},{"issue":"9","key":"7_CR25","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1177\/0037549710366824","volume":"87","author":"H. Giese","year":"2011","unstructured":"Giese, H., Henkler, S., Hirsch, M.: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation\u00a087(9), 775\u2013808 (2011)","journal-title":"Simulation"},{"unstructured":"Davis, R., Shrobe, H., Hamscher, W., Wieckert, K., Shirley, M., Polit, S.: Diagnosis based on structure and function. In: Proceedings AAAI, Pittsburgh, pp. 137\u2013142 (August 1982)","key":"7_CR26"},{"key":"7_CR27","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. Artificial Intelligence\u00a024, 347\u2013410 (1984)","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Davis, R., Hamscher, W.: Model-based reasoning: Troubleshooting. In: Shrobe, H.E. (ed.) Exploring Artificial Intelligence, pp. 297\u2013346. Morgan Kaufmann (1988)","key":"7_CR28","DOI":"10.1016\/B978-0-934613-67-5.50012-5"},{"issue":"1","key":"7_CR29","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. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"7_CR30","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"7_CR31","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-34781-8_6","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Wotawa","year":"2012","unstructured":"Wotawa, F.: Adaptive Autonomous Systems \u2013 From the System\u2019s Architecture to Testing. In: H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011 Workshops 2011. CCIS, vol.\u00a0336, pp. 76\u201390. Springer, Heidelberg (2012)"},{"unstructured":"Steinbauer, G., Weber, J., Wotawa, F.: From the real-world to its qualitative representation\u2013practical lessons learned. In: International Workshop on Qualitative Reasoning, pp. 186\u2013191 (2005)","key":"7_CR32"},{"doi-asserted-by":"crossref","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnosis and systems. Artificial Intelligence\u00a056 (1992)","key":"7_CR33","DOI":"10.1016\/0004-3702(92)90027-U"},{"issue":"5","key":"7_CR34","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Dupr\u00e9, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation\u00a01(5), 661\u2013690 (1991)","journal-title":"Journal of Logic and Computation"},{"unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 331-336, Boston (August 1990)","key":"#cr-split#-7_CR35.1"},{"unstructured":"Also appears in Readings in Model-Based Diagnosis. Morgan Kaufmann (1992)","key":"#cr-split#-7_CR35.2"},{"issue":"1","key":"7_CR36","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028, 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"unstructured":"Fr\u00f6hlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)","key":"7_CR38"},{"unstructured":"Fattah, Y.E., Dechter, R.: Diagnosing tree-decomposable circuits. In: Proceedings 14th International Joint Conf. on Artificial Intelligence, pp. 1742\u20131748 (1995)","key":"7_CR39"},{"issue":"1","key":"7_CR40","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. Artificial Intelligence\u00a0127(1), 1\u201329 (2001)","journal-title":"Artificial Intelligence"},{"unstructured":"Sachenbacher, M., Williams, B.C.: Diagnosis as semiring-based constraint optimization. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, pp. 873\u2013877 (2004)","key":"7_CR41"},{"issue":"2","key":"7_CR42","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S.: Recent advances in ai planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"},{"unstructured":"Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall (2010)","key":"7_CR43"},{"unstructured":"Sun, Y., Weld, D.S.: Beyond simple observation: Planning to diagnose. In: Third International Workshop on Principles of Diagnosis, Rosario, (WA) (October 1992)","key":"7_CR44"},{"key":"7_CR45","series-title":"LNAI","volume-title":"Proceedings of the Portuguese Conference on Artificial Intelligence","author":"G. Friedrich","year":"1991","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Towards a theory of the repair process. In: Proceedings of the Portuguese Conference on Artificial Intelligence. LNCS (LNAI), Springer, Albufeira (1991); Also appeared at the Model-Based Reasoning Workshop (AAAI 1991), Anaheim (July 1991)"},{"unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Formalizing the repair process. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 709-713. John Wiley & Sons, Vienna (1992)","key":"#cr-split#-7_CR46.1"},{"unstructured":"Also appeared in the Proceedings of the Second International Workshop on Principles of Diagnosis, Milano (1991)","key":"#cr-split#-7_CR46.2"},{"unstructured":"Friedrich, G., Nejdl, W.: Choosing observations and actions in model-based diagnosis-repair systems. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (October1992)","key":"7_CR47"},{"doi-asserted-by":"crossref","unstructured":"Wotawa, F., Nica, M., Aichernig, B.K.: Generating distinguishing tests using the minion constraint solver. In: CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis. IEEE (2010)","key":"7_CR48","DOI":"10.1109\/ICSTW.2010.11"},{"doi-asserted-by":"crossref","unstructured":"Steinbauer, G., M\u00f6rth, M., Wotawa, F.: Real-time diagnosis and repair of faults of robot control software. In: Proceedings RoboCup International Symposium (2005)","key":"7_CR49","DOI":"10.1007\/11780519_2"},{"issue":"2","key":"7_CR50","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence\u00a0111(2), 3\u201339 (1999)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"7_CR51","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/S0004-3702(01)00161-8","volume":"135","author":"F. Wotawa","year":"2002","unstructured":"Wotawa, F.: On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence\u00a0135(1-2), 124\u2013143 (2002)","journal-title":"Artificial Intelligence"},{"issue":"7","key":"7_CR52","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"unstructured":"Mayer, W.: Static and hybrid analysis in model-based debugging. PhD Thesis, School of Computer and Information Science, University of South Australia (2007)","key":"7_CR53"},{"doi-asserted-by":"crossref","unstructured":"Nica, M., Nica, S., Wotawa, F.: On the use of mutations and testing for debugging. In: Software: practice & experience (in Press, 2012), http:\/\/dx.doi.org\/10.1002\/spe.1142","key":"7_CR54","DOI":"10.1002\/spe.1142"},{"doi-asserted-by":"crossref","unstructured":"Wotawa, F., Nica, M., Moraru, I.D.: Automated debugging based on a constraint model of the program and a test case. The Journal of Logic and Algebraic Programming (in Press, 2012)","key":"7_CR55","DOI":"10.1016\/j.jlap.2012.03.002"},{"key":"7_CR56","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-89076-8_18","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"A. Kleiner","year":"2008","unstructured":"Kleiner, A., Steinbauer, G., Wotawa, F.: Towards Automated Online Diagnosis of Robot Navigation Software. In: Carpin, S., Noda, I., Pagello, E., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2008. LNCS (LNAI), vol.\u00a05325, pp. 159\u2013170. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Brandst\u00f6tter, M., Hofbaur, M.W., Steinbauer, G., Wotawa, F.: Model-based fault diagnosis and reconfiguration of robot drives. In: 2007 IEEE\/RSJ International Conference on Intelligent Robots and System, pp. 1203\u20131209 (2007)","key":"7_CR57","DOI":"10.1109\/IROS.2007.4399092"},{"key":"7_CR58","volume-title":"Introduction to AI Robotics","author":"R.R. Murphy","year":"2002","unstructured":"Murphy, R.R.: Introduction to AI Robotics, 2nd edn. MIT Press, Cambridge (2002)","edition":"2"},{"key":"7_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45873-5_21","volume-title":"Hybrid Systems: Computation and Control","author":"M.W. Hofbaur","year":"2002","unstructured":"Hofbaur, M.W., Williams, B.C.: Mode Estimation of Probabilistic Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 253\u2013266. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Assurances for Self-Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36249-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:08:53Z","timestamp":1745946533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36249-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362484","9783642362491"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36249-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}