Abstract:

A method of searching diagnosis path in model based diagnosis of discrete events system is proposed by using an easy coding theory. Timecomplexity in the synchronization of discrete events system and redundancy trajectory in diagnosis could be reduced via the method of state coding, by which diagnosis trajectory could be extracted more effetely on a given observation set. The method is more suitable for less observation events systems. Based on the assumption of a complete model, except the exponential time needed in the first time running, the following diagnosis time was reduced to polynomial level. The experimental results illustrate the validity, completeness and correctness of the method.

Key words: modelbased diagnosis, discrete event system, fault propagation