[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

This package provides a diagnosis engine. It is infact a model based diagnosis engine meaning it uses model of correct behavior of the robot system and current observations to compute diagnosis. It takes model from model server and observations from the observers to provide diagnosis.

Overview

Diagnosis engine takes observations in the form of FOL sentences and an abstract diagnosis model (system description) to generate a diagnosis, a set of components that are faulty and a set of components that are still working properly. It follows the principles of model-based diagnosis which uses an abstract model that defines correct behavior and some current observations of the system. Diagnosis engine detects a fault if the outcome of the model and the observation lead to a contradiction. Using a hitting set algorithm the approach calculates diagnoses that resolve the contradiction, i.e., explain the misbehavior. The diagnosis engine locates that component or set of components that is the root cause for the contradiction.

Nodes

diagnosis_engine_controller

This is a controller of diagnosis engine. It acts like a client. The server is a java based program that connects client over TCP.


2020-01-18 13:15