Implementation of a fault diagnosis method for timed discrete-event systems

To date, fault diagnosis is more and more studied due to its essential role in equipment availability and human safety. This paper proposes a model-based method for discrete-event systems using the characteristic times in its normal behavior. If these times are not respected, a failure can be detected. Then the failure is isolated using fault signature analysis: a failure can be distinguished from each other by a set of diagnostic variables. The choice of these particular variables is essential to diagnose efficiently a system. Eventually, the diagnosis performance can be quantified through the detection and isolation times.