ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Diagnosis of Discrete-Event Systems using BDDs

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.


[prev] [tofc] [next]


ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).