An Approach to Accelerate Diagnosis by Isomorphic Determining

Xiaoyu Wang,Dantong Ouyang,YuXuan Feng,Jian Zhao
DOI: https://doi.org/10.1109/ICIECS.2009.5366318
2009-01-01
Abstract: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.
What problem does this paper attempt to address?