Anika Schumann, Yannick Pencole, Sylvie Thiebaux
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.
Keywords: failure diagnosis, discrete-event systems, diagnoser, symbolic representations, binary decision diagrams
Citation: Anika Schumann, Yannick Pencole, Sylvie Thiebaux: Diagnosis of Discrete-Event Systems using BDDs. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.1085-1086.