Towards Automated Online Diagnosis of Robot Navigation Software

  • Alexander Kleiner
  • Gerald Steinbauer
  • Franz Wotawa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5325)


Navigation software of autonomous mobile robots comprises a number of software modules that typically interact in a very complex way. Their proper interaction and the robustness of each single module strongly influence the safety during navigation in the field. Particularly in unstructured environments, unforeseen situations are likely to occur causing erroneous behaviors of the robot. The proper handling of such situations requires an understanding of cause and effect within the complex interactions of the system.

In this paper we present a method for the automatic modeling of navigation software components and their interactions by observing their communication patterns. The learned model is used online for model-based reasoning (MBR) in order to increase system robustness during runtime.

We evaluated the approach on three different robot systems whose software components are communicating via the widely used IPC (Inter Process Communication) architecture. Our results demonstrate the systems capability of automatic system learning and diagnosis without a priori knowledge.


System Description Software Module Control Software Communication Graph Autonomous Mobile Robot 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)Google Scholar
  2. 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 (2006)CrossRefGoogle Scholar
  3. 3.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence 111(2), 3–39 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Kleiner, A., Dornhege, C.: Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios. Journal of Field Robotics (2007)Google Scholar
  6. 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)Google Scholar
  7. 7.
  8. 8.
    Simmons, R.: Structured Control for Autonomous Robots. IEEE Transactions on Robotics and Automation 10(1) (1994)Google Scholar
  9. 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)CrossRefzbMATHGoogle Scholar
  10. 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)Google Scholar
  11. 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)Google Scholar
  12. 12.
    Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis. IEEE Robotics & Automation Magazine 11(2), 56–66 (2004)CrossRefGoogle Scholar
  13. 13.
    Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters 29, 1–12 (1988)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Alexander Kleiner
    • 1
  • Gerald Steinbauer
    • 2
  • Franz Wotawa
    • 2
  1. 1.Institut für InformatikAlbert-Ludwigs-Universität FreiburgFreiburgGermany
  2. 2.Institute for Software TechnologyGraz University of TechnologyAustria

Personalised recommendations