This package provides a set of observers like DOBs, GObs, NObs, QObs, BiQObs, MObs, PObs and HObs. An observer is a software entity actin like ROS node that observers particular property of the system or part of the system. Observation is a First Order Logic (FOL) sentence.
model_based_diagnosis is ...