A fault detection and isolation method for complex industrial systems

A method fur the fault detection in complex industrial systems is presented . The plant devices, the sensors, the actuators, and diagnostic tests are d escribed as discrete-event systems, A formal composition rule of these mode ls is given and an inference procedure fur the identification and isolation of the faults is discussed. Temporal information is also considered to spe ed up the fault isolation procedure and, in some cases, to uniquely identif y faults with the same static fault signature.