[Documentation] [TitleIndex] [WordIndex

Only released in EOL distros:  

tug_ist_model_based_diagnosis: tug_ist_diagnosis_board | tug_ist_diagnosis_engine | tug_ist_diagnosis_generator | tug_ist_diagnosis_launch | tug_ist_diagnosis_model | tug_ist_diagnosis_msgs | tug_ist_diagnosis_observers | tug_ist_diagnosis_repair

Package Summary

Diagnosis 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.

Overview

The diagnosis model server is an action server that provides the diagnosis model. The diagnosis model is stored as a YAML file (similar to XML) and contains five sections: (1) a string that denotes the proposition that represents the AB predicate, (2) the same for ~AB, (3) a string for a prefix denoting a negative literal, (4) a set of all propositions, (5) a set of clauses that defines the diagnosis model.

Nodes

diagnosis_model_server.py

This node acts like a action server. It takes diagnosis model in yaml file and publishes the model.

Published Topics

/diagnosis_model (tug_ist_diagnosis_msgs/SystemModelResult)

Parameters

~model (string, default: "diagnosis_modle.yaml")


2019-07-13 13:16