On algorithms for operative diagnosis of systems

We consider systems whose fault propagation properties can be modeled as directed graphs where the nodes represent components, and the edges represent fault propagation between the components. Some of the components are equipped with alarms that ring in response to an abnormal condition. Let n be the number of nodes of the graph, and k be the number of alarms. We first consider the diagnosis problems. We deal with the problem of computing the set of all potential failure sources that correspond to a set of ringing alarms A_R. For single faults, we present diagnosis algorithms in zero-time and non-zero-time systems.