Diagnosis of discrete-event systems using binary decision diagrams
暂无分享,去创建一个
[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.