Symbolic models for diagnosing discrete-event systems
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux · 2004
Abstract. We improve the efficiency of Sampath’s diagnoser ap-proach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application. 1