Qualitative diagnosis of condition systems (Q702194)

A condition system is a collection of Petri nets that interact with each other and the external environment through condition signals. Some of these condition signals may be unobservable. In the paper, a system default is defined in terms of observed behavior versus expected behavior, where the expected bvehavior is defined through condition system models. A diagnosis of this fault localizes the subsystem that is the source of the discrepancy between output and expected observations. The authors show that the structure of the interacting subsystems defines a diagnostic causal model that captures the causal structure of subsystem dependencies. The diagnostic causal model can then be used to determine a set of subsystems that might be the source of a fault.