Diagnosis of discrete-event systems using binary decision diagrams

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.

[1]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[2]  Luca Console,et al.  Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining , 1999, IJCAI.

[3]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[4]  Hervé Marchand,et al.  Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques Fault Diagnosing in Discrete Event Systems: A symbolic State-Based Approach , 2002 .

[5]  Marie-Odile Cordier,et al.  Using model-checking techniques for diagnosing discrete-event systems , 2001 .

[6]  Piergiorgio Bertoli,et al.  Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking , 2002, ECAI.

[7]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[8]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[9]  Marie-Odile Cordier,et al.  A Decentralized Model-Based Diagnostic Tool for Complex Systems , 2002, Int. J. Artif. Intell. Tools.

[10]  Stephan Merz,et al.  Model Checking , 2000 .

[11]  Fabio Somenzi,et al.  CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .

[12]  J. Sztipanovits,et al.  Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams , 1998 .

[13]  Stéphane Lafortune,et al.  Failure diagnosis of discrete event systems: the case of intermittent faults , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[14]  Alessandro Cimatti,et al.  Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.