HyDE
HyDE is a model-based diagnosis engine for stochastic hybrid systems. HyDE uses transitional and behavioral models of the system to diagnose the occurrence of unobserved events (a subset of which could be faults). More details can be found on the HyDE webpage …