Diagnosability of Input Output Symbolic Transition Systems
暂无分享,去创建一个
[1] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[2] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[3] Shengbing Jiang,et al. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.
[4] Pascale Le Gall,et al. Symbolic Execution Techniques for Refinement Testing , 2007, TAP.
[5] W. Qiu,et al. Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[6] Jussi Rintanen. Diagnosers and Diagnosability of Succinct Transition Systems , 2007, IJCAI.
[7] Jussi Rintanen,et al. Diagnosability Testing with Satisfiability Algorithms , 2007, IJCAI.
[8] Yannick Pencolé,et al. Scalable Diagnosability Checking of Event-Driven Systems , 2007, IJCAI.
[9] Nicolas Rapin,et al. Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables , 2009, TAP@TOOLS.
[10] Alessandro Cimatti,et al. Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.
[11] William Pugh,et al. The Omega Library interface guide , 1995 .
[12] James C. King,et al. A new approach to program testing , 1974, Programming Methodology.
[13] Shengbing Jiang,et al. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[14] Christophe Gaston,et al. Symbolic Execution Techniques for Test Purpose Definition , 2006, TestCom.