An Approach to Accelerate Diagnosis by Isomorphic Determining

When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic task consists in determining the models compatible with the observations, but the global computation which is needed in synchronization costs exponential time. In this paper we propose a new method to simplify the automaton by isomorphic determining. The cost of computation will be significantly cut down by merging the automatons with the same structure, and the time-complexity of the diagnosis process could be reduced by the method.