Diagnosis of Discrete-Event Systems Using Binary Decision Diagrams
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux · 2004
We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of binary decision diagrams. We present an algorithm for synthesising the symbolic diagnoser with promising results on test cases derived from a telecommunication application.