Towards automated online diagnosis of robot navigation software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5325 LNAI, Issue , 2008, Pages 159-170

  Kleiner, Alexander ^a   Steinbauer, Gerald ^b   Wotawa, Franz ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

MOBILE ROBOTS; NAVIGATION;

AUTOMATIC MODELING; AUTONOMOUS MOBILE ROBOT; COMMUNICATION PATTERN; INTERPROCESS COMMUNICATION; MODEL-BASED REASONING; NAVIGATION SOFTWARE; SOFTWARE COMPONENT; UNSTRUCTURED ENVIRONMENTS;

ROBOT PROGRAMMING;

EID: 58049107146     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89076-8_18     Document Type: Conference Paper

References (14)

1. Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: 16th International Workshop on Principles of Diagnosis (DX 2005), Monetrey, USA, pp. 13-18 (2005)
2. Steinbauer, G., Mörth, 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-23. Springer, Heidelberg (2000)
3. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
4. Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111(2), 3-39 (1999)
5. Kleiner, A., Dornhege, C.: Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios. Journal of Field Robotics (2007)
6. Ziparo, V., Kleiner, A., Nebel, B., Nardi, D.: RFID-based exploration for large robot teams. In: Conference on Robotics and Automation, pp. 4606-4613 (2007)
7. DTSA: Techx challenge (2008), http://www.dsta.gov.sg/index.php/TechX- Challenge
8. Simmons, R.: Structured Control for Autonomous Robots. IEEE Transactions on Robotics and Automation 10(1) (1994)
9. Muscettola, N., Nayak, P.P., Pell, B., Williams, B.C.: Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence 103(1-2), 5-48 (1998)
10. Micalizio, R., Torasso, P., Torta, G.: On-line monitoring and diagnosis of a team of service robots: A model-based approach. AI Communications 19(4) (2006)
11. Grosclaude, I.: Model-based monitoring of component-based software systems. In: 15th International Workshop on Principles of Diagnosis. Carcassonne, France, pp. 155-160 (2004)
12. Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis. IEEE Robotics &z Automation Magazine 11(2), 56-66 (2004)
13. Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters 29, 1-12 (1988)
14. Balakirsky, S., Carpin, S., Kleiner, A., Lewis, M., Visser, A., Wang, J., Ziparo, V.A.: Towards heterogeneous robot teams for disaster mitigation: Results and Performance Metrics from RoboCup Rescue. Journal of Field Robotics 24(11-12), 943-967 (2007)