暂无分享,去创建一个
[1] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[2] Yannick Pencolé. Diagnosability Analysis of Distributed Discrete Event Systems , 2004, ECAI.
[3] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[4] Christel Baier,et al. Principles of model checking , 2008 .
[5] Farid Nouioua,et al. Diagnosability verification with Petri net unfoldings , 2010, Int. J. Knowl. Based Intell. Eng. Syst..
[6] Laura Brandan Briones,et al. Bounded Predictability for Faulty Discrete Event Systems , 2011, 2011 30th International Conference of the Chilean Computer Science Society.
[7] Yannick Pencolé,et al. Scalable Diagnosability Checking of Event-Driven Systems , 2007, IJCAI.
[8] Philippe Dague,et al. Optimizing the System Observability Level for Diagnosability , 2008, ISoLA.
[9] Jinbo Huang,et al. A Scalable Jointree Algorithm for Diagnosability , 2008, AAAI.
[10] Stéphane Lafortune,et al. Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.
[11] YE Lina,et al. Diagnosability Analysis for Self-observed Distributed Discrete Event Systems , 2013 .
[12] Stéphane Lafortune,et al. Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..