{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:52:23Z","timestamp":1725486743395},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719854"},{"type":"electronic","value":"9783540719861"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71986-1_25","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T22:39:16Z","timestamp":1183070356000},"page":"431-445","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hofbaur","sequence":"first","affiliation":[]},{"given":"Johannes","family":"K\u00d6b","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Steinbauer","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1_Ref","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1109\/TRO.2004.838027","volume":"21","author":"J Carlson","year":"2005","unstructured":"Carlson, J., Murphy, R.: How UGVs physically fail in the field. IEEE Transac-tions on Robotics 21 (June 2005) 423-437","journal-title":"IEEE Transac-tions on Robotics"},{"unstructured":"Steinbauer, G., Faschinger, M., Fraser, G., M\u00fchlenfeld, A., Richter, S., W\u00f6ber, G., Wolf, J.: Mostly Harmless Team Description. In: Proceedings of the International RoboCup Symposium. (2003)","key":"25_CR2_Ref"},{"unstructured":"Murphy, R.: Introduction to AI Robotics. MIT Press (2002)","key":"25_CR3_Ref"},{"unstructured":"Siegwart, R., Nourbakhsh, I.: Introduction to Autonomous Mobile Robots. MIT Press (2004)","key":"25_CR4_Ref"},{"unstructured":"Latombe, J.C.: Robot Motion Planning. Eight reprint edn. Kluwer Academic Publisher (2004)","key":"25_CR5_Ref"},{"unstructured":"Choset, H., Lynch, K., Hutchison, S., Kantor, G., Burgard, W., Kavarki, L., Thrun, S.: Principles of Robot Motion. Theory, Algorithms and Implementa-tions. MIT Press (2004)","key":"25_CR6_Ref"},{"key":"25_CR7_Ref","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 32 (1987) 57-95","journal-title":"Artificial Intelligence"},{"key":"25_CR8_Ref","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., Wilkerson, R.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence 41 (1989) 79-88","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Hypothesis classification, abductive diag-nosis and therapy. In: Proceedings of the International Workshop on Expert Systems in Engineering, Vienna, Springer Verlag, Lecture Notes in Artificial Intelligence, Vo. 462 (1990)","key":"25_CR9_Ref","DOI":"10.1007\/3-540-53104-1_32"},{"key":"25_CR10_Ref","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., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation 1 (1991) 661-690","journal-title":"Journal of Logic and Computation"},{"unstructured":"Struss, P., Dressler, O.: Physical negation - Integrating fault models into the general diagnostic engine. In: International Joint Conference on Artificial Intelligence (IJCAI), Detroit (1989) 1318-1323","key":"25_CR11_Ref"},{"unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: National Conference on Artificial Intelligence (AAAI), Boston (1990) 331-336. Also appears in Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992).","key":"25_CR12_Ref"},{"unstructured":"Hamscher, W., Console, L., de Kleer, J., eds.: Readings in Model-Based Diag-nosis. Morgan Kaufmann Publishers, Inc. (1992)","key":"25_CR13_Ref"},{"doi-asserted-by":"crossref","unstructured":"Hofbaur, M., Williams, B.: Mode estimation of probabilistic hybrid systems. In Tomlin, C., Greenstreet, M., eds.: Hybrid Systems: Computation and Control, HSCC 2002. Volume 2289 of Lecture Notes in Computer Science. Springer Verlag (2002) 253-266","key":"25_CR14_Ref","DOI":"10.1007\/3-540-45873-5_21"},{"unstructured":"Hofbaur, M.: Hybrid Estimation of Complex Systems. Volume 319 of Lecture Notes in Control and Information Sciences. Springer Verlag (2005)","key":"25_CR15_Ref"},{"unstructured":"Hofbaur, M., Wotawa, F.: A causal analysis method for concurrent hybrid automata. In: Proceedings of the 21st National Conference on Artificial Intelli-gence (AAAI-06). (2006) 840-846","key":"25_CR16_Ref"},{"unstructured":"Li, X., Bar-Shalom, Y.: Multiple-model estimation with variable structure. In: IEEE Trans. Automatic Control. Volume 41. (1996) 478-494","key":"25_CR17_Ref"},{"unstructured":"K\u00f6b, J.: Modellbasierte Regelung eines Roboterfahrwerkes. Master\u2019s thesis, Institute for Automation and Control, Graz University of Technology (2005)","key":"25_CR18_Ref"},{"key":"25_CR19_Ref","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"B. Williams","year":"1998","unstructured":"Williams et al., B.: Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence 103 (1998) 5-48","journal-title":"Artificial Intelligence"},{"unstructured":"Dearden, R., Clancy, D.: Particle filters for real-time fault detection in planetary rovers. In: Proceedings of the Thirteenth International Workshop on Principles of Diagnosis. (2002) 1-6","key":"25_CR20_Ref"},{"key":"25_CR21_Ref","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MRA.2004.1310942","volume":"11","author":"V Verma","year":"2004","unstructured":"Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis. IEEE Robotics & Automation Magazine 11 (2004) 56-66","journal-title":"IEEE Robotics & Automation Magazine"},{"unstructured":"Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control soft-ware of autonomous mobile robots. In: 19th International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, UK (2005)","key":"25_CR22_Ref"},{"doi-asserted-by":"crossref","unstructured":"Stumptner, M., Wotawa, F.: Model-based reconfiguration. In: Proceedings Arti-ficial Intelligence in Design, Lisbon, Portugal (1998)","key":"25_CR23_Ref","DOI":"10.1007\/978-94-011-5121-4_3"},{"unstructured":"Anglano, C., Montani, S.: Achieving self-healing in autonomic software systems: A case-based approach. In Czap, H., Unland, R., Branki, C., Tianfield, H., eds.: Self-Organization and Autonomic Informatics (I). Volume 135 of Frontiers in Artificial Intelligence and Applications. IOS Press (2005) 267-281","key":"25_CR24_Ref"},{"doi-asserted-by":"crossref","unstructured":"Higuchi, T., Liu, Y., Yao, X., eds.: Evolvable Hardware. Springer (2006)","key":"25_CR25_Ref","DOI":"10.1007\/0-387-31238-2"},{"key":"25_CR26_Ref","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.769884","volume":"14","author":"J Sztipanovits","year":"1999","unstructured":"Sztipanovits, J., Karsai, G.: A model-based approach to self-adaptive software. IEEE Intelligent Systems 14 (1999) 46-53","journal-title":"IEEE Intelligent Systems"},{"key":"25_CR27_Ref","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 111 (1999) 3-39","journal-title":"Artificial Intelligence"},{"key":"25_CR28_Ref","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDT.2006.5","volume":"23","author":"B Peischl","year":"2005","unstructured":"Peischl, B., Wotawa, F.: Automated source level error localization in hardware designs. IEEE Design & Test of Computers 23 (2005) 8-9","journal-title":"IEEE Design & Test of Computers"}],"container-title":["Studies in Computational Intelligence","Model-Based Reasoning in Science, Technology, and Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71986-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:03:00Z","timestamp":1619517780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71986-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540719854","9783540719861"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71986-1_25","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}