Symbolic Synthesis of Observability Requirements for Diagnosability
暂无分享,去创建一个
Marco Bozzano | Alessandro Cimatti | Xavier Olive | Benjamin Bittner | A. Cimatti | M. Bozzano | X. Olive | Benjamin Bittner
[1] Stéphane Lafortune,et al. Optimal sensor activation in controlled discrete event systems , 2008, 2008 47th IEEE Conference on Decision and Control.
[2] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[3] A. Martelli,et al. ON-BOARD AUTONOMY VIA SYMBOLIC MODEL-BASED REASONING ∗ , 2008 .
[4] Xavier Olive,et al. Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis , 2008, ECAI.
[5] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[6] Alexander Feldman,et al. Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework , 2010 .
[7] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[8] Piergiorgio Bertoli,et al. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.
[9] Marco Pistore,et al. Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.
[10] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[11] Marie-Odile Cordier,et al. Comparing diagnosability in continuous and discrete-events systems , 2006 .
[12] Teresa Escobet,et al. Model-based diagnosability and sensor placement , 2003 .
[13] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[14] Alban Grastien,et al. Symbolic Testing of Diagnosability , 2009 .
[15] Philippe Dague,et al. Optimizing the System Observability Level for Diagnosability , 2008, ISoLA.
[16] Jussi Rintanen,et al. Diagnosability Testing with Satisfiability Algorithms , 2007, IJCAI.
[17] Marco Bozzano,et al. A Comprehensive Approach to On-board Autonomy Verification and Validation , 2011, IJCAI.
[18] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[19] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[20] Alessandro Cimatti,et al. Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.
[21] Shengbing Jiang,et al. A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..
[22] Stéphane Ploix,et al. A Method for Sensor Placement Taking into Account Diagnosability Criteria , 2008, Int. J. Appl. Math. Comput. Sci..
[23] Marco Bozzano,et al. Symbolic Fault Tree Analysis for Reactive Systems , 2007, ATVA.
[24] Olivier Coudert,et al. Fault Tree Analysis: 1020 Prime Implicants and Beyond , 1993 .
[25] Stavros Tripakis,et al. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
[26] Christoforos N. Hadjicostis,et al. Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets , 2010, IEEE Trans. Autom. Control..