Formal approach to fault diagnosis in distributed discrete event systems with OBDD

This paper proves the distributed diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm and introduces the ordered binary decision diagrams (OBDD) in order to manage the state explosion problem in state estimation of the system.