An integrated model-based diagnosis and repair architecture for ROS-based robot systems.
Safdar ZamanGerald SteinbauerJohannes MaurerPeter LepejSuzana UranPublished in: ICRA (2013)
Keyphrases
- model based diagnosis
- discrete event systems
- physical systems
- model based reasoning
- dynamic systems
- repair actions
- hardware designs
- complex systems
- digital circuits
- diagnostic systems
- fault models
- diagnostic reasoning
- mobile robot
- multi agent
- model checking
- fault tolerant
- first order logic
- knowledge based systems
- computer systems
- fault localization
- distributed systems