{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:48:17Z","timestamp":1767034097949},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,12,8]],"date-time":"2006-12-08T00:00:00Z","timestamp":1165536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2007,1,4]]},"DOI":"10.1007\/s10846-006-9102-0","type":"journal-article","created":{"date-parts":[[2006,12,7]],"date-time":"2006-12-07T06:52:01Z","timestamp":1165474321000},"page":"37-54","source":"Crossref","is-referenced-by-count":22,"title":["Improving Robustness of Mobile Robots Using Model-based Reasoning"],"prefix":"10.1007","volume":"48","author":[{"given":"Michael","family":"Hofbaur","sequence":"first","affiliation":[]},{"given":"Johannes","family":"K\u00f6b","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Steinbauer","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,8]]},"reference":[{"issue":"3","key":"9102_CR1","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1109\/TRO.2004.838027","volume":"21","author":"J. Carlson","year":"2005","unstructured":"Carlson, J., Murphy, R.R.: How UGVs physically fail in the field. IEEE Transactions on Robotics 21(3), 423\u2013437 (2005)","journal-title":"IEEE Transactions on Robotics"},{"key":"9102_CR2","unstructured":"Steinbauer, G., Brandst\u00f6tter, M., Buchleitner, M., Galler, S., Jantscher, S., Krammer, G., M\u00f6rth, M., Weber, J., Weiglhofer, M.: Mostly harmless team description 2006 \u2013 robust control of mobile robots. In: Proceedings of the International RoboCup Symposium, Bremen, Germany (2006)"},{"key":"9102_CR3","volume-title":"Introduction to AI Robotics","author":"R.R. Murphy","year":"2002","unstructured":"Murphy, R.R.: Introduction to AI Robotics. MIT Press, Cambridge, MA (2002)"},{"key":"9102_CR4","volume-title":"Introduction to Autonomous Mobile Robots","author":"R. Siegwart","year":"2004","unstructured":"Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. MIT Press, Cambridge, MA (2004)"},{"key":"9102_CR5","first-page":"253","volume-title":"Hybrid Systems: Computation and Control, HSCC, volume 2289 of Lecture Notes in Computer Science","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.) Hybrid Systems: Computation and Control, HSCC, volume 2289 of Lecture Notes in Computer Science, pp. 253\u2013266. Springer, Berlin Heidelberg New York (2002)"},{"key":"9102_CR6","volume-title":"Lecture Notes in Control and Information Sciences, vol. 319","author":"M.W. Hofbaur","year":"2005","unstructured":"Hofbaur, M.W.: Hybrid estimation of complex systems. In: Lecture Notes in Control and Information Sciences, vol. 319. Springer, Berlin Heidelberg New York (2005)"},{"key":"9102_CR7","volume-title":"Robot Motion Planning","author":"J.-C. Latombe","year":"2004","unstructured":"Latombe, J.-C.: Robot Motion Planning, 8th edn. Kluwer, Boston, MA (2004)","edition":"8"},{"key":"9102_CR8","volume-title":"Principles of Robot Motion. Theory, Algorithms and Implementations","author":"H. Choset","year":"2004","unstructured":"Choset, H., Lynch, K.M., Hutchison, S., Kantor, G., Burgard, W., Kavarki, L., Thrun, S.: Principles of Robot Motion. Theory, Algorithms and Implementations. MIT Press, Cambridge, MA (2004)"},{"key":"9102_CR9","volume-title":"Readings in Model-based Diagnosis","year":"1992","unstructured":"Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, CA (1992)"},{"key":"9102_CR10","volume-title":"Qualitative Reasoning About Physical Systems","year":"1990","unstructured":"Weld, D., de\u00a0Kleer, J. (eds.): Qualitative Reasoning About Physical Systems. Morgan Kaufmann, San Mateo, CA (1990)"},{"issue":"1","key":"9102_CR11","doi-asserted-by":"crossref","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."},{"issue":"1","key":"9102_CR12","doi-asserted-by":"crossref","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. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"9102_CR13","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1115\/1.3662552","volume":"82","author":"R. Kalman","year":"1960","unstructured":"Kalman, R.: A new approach to linear filtering and prediction problems. ASME Transactions, J. Basic Eng. 82, 35\u201350 (1960)","journal-title":"ASME Transactions, J. Basic Eng."},{"key":"9102_CR14","volume-title":"Optimal Filtering. Information and System Sciences Series","author":"B. Anderson","year":"1979","unstructured":"Anderson, B., Moore, J.: Optimal Filtering. Information and System Sciences Series. Prentice Hall, Upper Saddle River, NJ (1979)"},{"issue":"5","key":"9102_CR15","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0967-0661(97)00046-4","volume":"5","author":"R. Isermann","year":"1997","unstructured":"Isermann, R.: Supervision, fault-detection and fault-diagnosis methods \u2013 An introduction. Control Eng. Pract. 5(5), 639\u2013652 (1997)","journal-title":"Control Eng. Pract."},{"key":"9102_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5149-2","volume-title":"Robust Model-based Fault Diagnosis for Dynamic Systems","author":"J. Chen","year":"1999","unstructured":"Chen, J., Patton, R.: Robust Model-based Fault Diagnosis for Dynamic Systems. Kluwer, Boston, MA (1999)"},{"key":"9102_CR17","unstructured":"Hofbaur, M.W., Wotawa, F.: A causal analysis method for concurrent hybrid automata. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06), pp. 840\u2013846 (2006)"},{"key":"9102_CR18","unstructured":"K\u00f6b, J.: Modellbasierte Regelung eines Roboterfahrwerkes. Master\u2019s thesis, Institute for Automation and Control, Graz University of Technology (2005)"},{"issue":"2","key":"9102_CR19","first-page":"100","volume":"4","author":"P.E. Hart","year":"1968","unstructured":"Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Man Cybern. 4(2), 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9102_CR20","first-page":"971","volume-title":"Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96)","author":"B.C. Williams","year":"1996","unstructured":"Williams, B.C., Nayak, P.: A model-based approach to reactive self-configuring systems. In: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), pp. 971\u2013978. American Association for Artificial Intelligence, Menlo Park, CA (1996)"},{"issue":"1-2","key":"9102_CR21","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"B.C. Williams","year":"1998","unstructured":"Williams, B.C. et al.: Remote agent: To boldly go where no AI system has gone before. Artif. Intell. 103(1-2), 5\u201348 (1998)","journal-title":"Artif. Intell."},{"issue":"2","key":"9102_CR22","doi-asserted-by":"crossref","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. Artif. Intell. 111(2), 3\u201339 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"9102_CR23","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDT.2006.5","volume":"23","author":"B. Peischl","year":"2006","unstructured":"Peischl, B., Wotawa, F.: Automated source-level error localization in hardware designs. IEEE Des. Test Comput. 23(1), 8\u201319 (2006)","journal-title":"IEEE Des. Test Comput."},{"key":"9102_CR24","volume-title":"Applied Optimal Estimation","author":"A. Gelb","year":"1974","unstructured":"Gelb, A.: Applied Optimal Estimation. MIT Press, Cambridge, MA, (1974), 15th printing, 1999 edn."},{"key":"9102_CR25","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/TAC.1970.1099359","volume":"15","author":"G.A. Ackerson","year":"1970","unstructured":"Ackerson, G.A., Fu, K.S.: On state estimation in switching environments. IEEE Trans. Automat. Contr. 15, 10\u201317 (1970)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"9102_CR26","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1109\/9.1299","volume":"33","author":"H.A.P. Blom","year":"1988","unstructured":"Blom, H.A.P., Bar-Shalom, Y.: The interacting multiple model algorithm for systems with Markovian switching coefficients. IEEE Trans. Automat. Contr. 33, 780\u2013783 (1988)","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"2","key":"9102_CR27","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1109\/7.845216","volume":"36","author":"P. Hanlon","year":"2000","unstructured":"Hanlon, P., Maybeck, P.: Multiple-model adaptive estimation using a residual correlation Kalman filter bank. IEEE Trans. Aerosp. Electron. Syst. 36(2), 393\u2013406 (2000)","journal-title":"IEEE Trans. Aerosp. Electron. Syst."},{"key":"9102_CR28","first-page":"308","volume-title":"Hybrid Systems: Computation and Control, HSCC volume 2289 of Lecture Notes in Computer Science","author":"S. Narasimhan","year":"2002","unstructured":"Narasimhan, S., Biswas, G.: An approach to model-based diagnosis of hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control, HSCC volume 2289 of Lecture Notes in Computer Science, pp. 308\u2013322. Springer, Berlin Heidelberg New York (2002)"},{"key":"9102_CR29","unstructured":"Zhao, F., Koutsoukos, X., Haussecker, H., Reich, J., Cheung, P.: Distributed monitoring of hybrid systems: a model-directed approach. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201901), pp. 557\u2013564 (2001)"},{"key":"9102_CR30","unstructured":"Benazera, E., Trav\u00e9-Massuy\u00e8s, L., Dague, P.: State tracking of uncertain hybrid concurrent systems. In: Proceedings of the 13th International Workshop on Principles of Diagnosis (DX02), pp. 106\u2013114, May 2002"},{"key":"9102_CR31","unstructured":"Lerner, U., Parr, R., Koller, D., Biswas, G.: Bayesian fault detection and diagnosis in dynamic systems. In: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI\u201900) (2000)"},{"key":"9102_CR32","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, pp. 1\u20136 (2002)"},{"issue":"2","key":"9102_CR33","doi-asserted-by":"crossref","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 Robot. Autom. Mag. 11(2), 56\u201366 (2004)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"9102_CR34","unstructured":"Murphy, R.R., Hershberger, D.: Classifying and recovering from sensing failures in autonomous mobile robots. In: AAAI\/IAAI, vol. 2, pp. 922\u2013929. (1996)"},{"key":"9102_CR35","doi-asserted-by":"crossref","unstructured":"Roumeliotis, S.I., Sukhatme, G.S., Bekey, G.A.: Sensor fault detection and identification in a mobile robot. In: IEEE Conf on Intelligent Robots and Systems, pp. 1383\u20131388, Victoria, Canada (1998)","DOI":"10.1109\/IROS.1998.724781"},{"key":"9102_CR36","unstructured":"Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: 19th International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, UK (2005)"},{"key":"9102_CR37","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 of the RoboCup International Symposium, Osaka, Japan (2005)","DOI":"10.1007\/11780519_2"},{"key":"9102_CR38","doi-asserted-by":"crossref","unstructured":"Stumptner, M., Wotawa, F.: Model-based reconfiguration. In: Proceedings Artificial Intelligence in Design, Lisbon, Portugal (1998)","DOI":"10.1007\/978-94-011-5121-4_3"},{"key":"9102_CR39","unstructured":"Grosclaude, I.: Model-based monitoring of component-based software systems. In: 15th International Workshop on Priciples of Diagnosis, pp. 155\u2013160, Carcassonne, France (2004)"},{"key":"9102_CR40","unstructured":"Liu, H., Coghill, G.M.: Qualitative modeling of kinematic robots. In: 18th International Workshop on Qualitative Reasoning, Illinois, USA (2004)"}],"container-title":["Journal of Intelligent and Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-006-9102-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10846-006-9102-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-006-9102-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:19:00Z","timestamp":1559254740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10846-006-9102-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,8]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1,4]]}},"alternative-id":["9102"],"URL":"https:\/\/doi.org\/10.1007\/s10846-006-9102-0","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,8]]}}}