Possible conflicts: a compilation technique for consistency-based diagnosis
暂无分享,去创建一个
[1] Pieter J. Mosterman,et al. Derivative Estimation for Diagnosis , 1999 .
[2] Janos J. Gertler,et al. Analytical Redundancy Methods in Fault Detection and Isolation , 1991 .
[3] Olayiwola Oluwemimo Oyeleye. Qualitative modeling of continuous chemical processes and applications to fault diagnosis , 1989 .
[4] Giovanni Guida,et al. Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis , 1993, IEEE Trans. Syst. Man Cybern..
[5] Paul M. Frank,et al. Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.
[6] Patrick Taillibert. Residual Evaluation without Derivative Computation , 2000 .
[7] Erik Frisk,et al. Residual Generator Design for Non-linear, Polynomial Systems - A Gröbner Basis Approach , 2000 .
[8] Philippe Dague,et al. When Oscillators Stop Oscillating , 1991, IJCAI.
[9] Claude Berge,et al. Hypergraphs - combinatorics of finite sets , 1989, North-Holland mathematical library.
[10] Gregory ProvanRockwell. Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems , 1996 .
[11] Masaharu Kitamura,et al. A New Approach to Quantitative and Credible Diagnosis for Multiple Faults of Components and Sensors , 1997, Artif. Intell..
[12] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[13] A. Misra,et al. Robust diagnostic system: structural redundancy approach , 1994, Defense, Security, and Sensing.
[14] Jean-Philippe Cassar,et al. A STRUCTURAL APPROACH FOR THE DESIGN OF FAILURE DETECTION AND IDENTIFICATION SYSTEMS , 1997 .
[15] Carlos Alonso González,et al. Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models , 2001, IEA/AIE.
[16] Vasant Honavar,et al. Intelligent Diagnosis Systems , 1998 .
[17] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[18] Michel Minoux,et al. Graphs and Algorithms , 1984 .
[19] P. J. Monsterman. Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis , 1997 .
[20] W. Kunz,et al. AND / OR Graphs , 1995 .
[21] Raymond Reiter,et al. Characterizing Diagnoses and Systems , 1992, Artif. Intell..
[22] Brian C. Williams,et al. Decompositional, Model-based Learning and its Analogy to Diagnosis , 1998, AAAI/IAAI.
[23] Marcel Staroswiecki,et al. A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis , 2000, ECAI.
[24] Randall Davis,et al. Model-based reasoning: troubleshooting , 1988 .
[25] Gisela Schäfer-Richter,et al. SIDIA: Extending Prediction Based Diagnosis to Dynamic Models , 1990, Expert Systems in Engineering.
[26] Janos Gertler,et al. Fault detection and diagnosis in engineering systems , 1998 .
[27] P. Nooteboom,et al. Focusing Based on the Structure of a Model in Model-Based Diagnosis , 1993, Int. J. Man Mach. Stud..
[28] K. Murota. Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability , 1987 .
[29] Peter Struss,et al. Fundamentals of Model-Based Diagnosis of Dynamic Systems , 1997, IJCAI.
[30] Hartmut Freitag,et al. Prediction Sharing Across Time and Contexts , 1994, AAAI.
[31] Kazuo Murota,et al. Systems Analysis by Graphs and Matroids , 1987 .
[32] Adnan Darwiche,et al. Model-Based Diagnosis using Structured System Descriptions , 1998, J. Artif. Intell. Res..
[33] Mattias Krysander,et al. Structural Analysis Utilizing MSS Sets with Application to a Paper Plant , 2002 .
[34] Johan de Kleer,et al. Fundamentals of model-based diagnosis , 2003 .
[35] Winfried K. Grassmann,et al. Matemática discreta y lógica , 2003 .
[36] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[37] Patrick Taillibert,et al. Polynomial Temporal Band Sequences for Analog Diagnosis , 1997, IJCAI.
[38] Linda Rattfält. A comparative study of two structural methods for fault isolation analysis , 2004 .
[39] M. Staroswiecki,et al. ANALYTICAL REDUNDANCY IN NON LINEAR INTERCONNECTED SYSTEMS BY MEANS OF STRUCTURAL ANALYSIS , 1989 .
[40] Antoni Ligęza,et al. Systematic Conflict Generation in Model-Based Diagnosis , 2000 .
[41] R. Isermann,et al. Parameter estimation triggered by continuous-time parity equations , 1995, Proceedings of 1995 American Control Conference - ACC'95.
[42] J. Lunze,et al. LOGIC-BASED PROCESS DIAGNOSIS UTILISING THE CAUSAL STRUCTURE OF DYNAMICAL SYSTEMS , 1993 .
[43] Bill Millar,et al. Automated Decomposition of Model-based Learning Problems , 1996 .
[44] Mattias Nyberg,et al. A General Framework for Fault Diagnosis Based on Statistical Hypothesis Testing , 2001 .
[45] Oskar Dressler. On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines , 1996, ECAI.
[46] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[47] Carlos J. Alonso,et al. An alternative approach to dependency-recording engines in consistency-based diagnosis , 2000 .
[48] Peter Fröhlich,et al. A Static Model-Based Engine for Model-Based Reasoning , 1997, IJCAI.
[49] Donal O'Shea,et al. Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.
[50] Johan de Kleer,et al. Problem Solving with the ATMS , 1986, Artif. Intell..
[51] J. Gertler. Fault detection and isolation using parity relations , 1997 .