api_documentation: http://docs.ros.org/fuerte/api/tug_ist_diagnosis_model/html
authors: Safdar Zaman, Gerald Steinbauer
brief: Diagnosis Model provides model of the system
bugtracker: ''
depends:
- actionlib
- rospy
- tug_ist_diagnosis_msgs
depends_on: []
description: "\n\nDiagnosis Model Server is an action server that provides diagnosis\
  \ model of the system. It reads this model from YAML file which is a description\
  \ of the correct behavior of the robot system. Diagnosis Model description contains\
  \ three strings AB for Abnormal, NAB for Not Abnormal, neg_prefix for a prefix denoting\
  \ a negative literal, and two sets each for propositions and rules. Propositions\
  \ are first order logic sentences while rules use these propositions to define rules.\n\
  \n  "
doc_job: doc-fuerte-tug-ist-ros-pkg
license: GPLv3
maintainers: ''
metapackages:
- tug_ist_model_based_diagnosis
msgs: []
package_type: package
repo_name: tug_ist_model_based_diagnosis
repo_url: ''
srvs: []
timestamp: 1389009081.547266
url: http://ros.org/wiki/tug_ist_diagnosis_model
vcs: git
vcs_uri: git://robotics.ist.tugraz.at/tug_ist_model_based_diagnosis.git
vcs_version: null
