Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking
暂无分享,去创建一个
[1] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[2] Alessandro Cimatti,et al. Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.
[3] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[4] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[5] H. Garcia,et al. Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays , 2004, Proceedings of the 2004 American Control Conference.
[6] Alban Grastien,et al. Symbolic Testing of Diagnosability , 2009 .
[7] Jussi Rintanen,et al. Diagnosability Testing with Satisfiability Algorithms , 2007, IJCAI.
[8] Ratnesh Kumar,et al. Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[9] Hugh F. Durrant-Whyte,et al. On the role of process models in autonomous land vehicle navigation systems , 2003, IEEE Trans. Robotics Autom..
[10] Farid Nouioua,et al. Diagnosability of Input Output Symbolic Transition Systems , 2009, 2009 First International Conference on Advances in System Testing and Validation Lifecycle.
[11] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..
[12] Stéphane Lafortune,et al. Overview of fault diagnosis methods for Discrete Event Systems , 2013, Annu. Rev. Control..
[13] Piergiorgio Bertoli,et al. A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis , 2007, MoChArt.
[14] Samik Basu,et al. Generation of All Counter-Examples for Push-Down Systems , 2003, FORTE.
[15] Shengbing Jiang,et al. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.
[16] Alban Grastien,et al. Incremental Diagnosis of DES by Satisfiability , 2008, ECAI.
[17] Stéphane Lafortune,et al. Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..
[18] Marco Bozzano,et al. Symbolic Synthesis of Observability Requirements for Diagnosability , 2012, AAAI.
[19] Marco Bozzano,et al. A Formal Framework for the Specification, Verification and Synthesis of Diagnosers , 2013, AAAI.
[20] Shengbing Jiang,et al. Diagnosis of repeated/intermittent failures in discrete event systems , 2003, IEEE Trans. Robotics Autom..
[21] Mohamed Ghazel,et al. Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets , 2014, 2014 European Control Conference (ECC).
[22] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.