Filters








809,898 Hits in 5.0 sec

Model-Based Diagnosis with Multiple Observations

Alexey Ignatiev, Antonio Morgado, Georg Weissenbacher, Joao Marques-Silva
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
Nevertheless, the diagnosis of multiple observations raises a number of important computational challenges, which even the corrected algorithms are often unable to cope with.  ...  Existing automated testing frameworks require multiple observations to be jointly diagnosed with the purpose of identifying common fault locations.  ...  Conclusions The emergence of continuous integration frameworks motivates the need for approaches for diagnosing multiple failing observations in model-based diagnosis.  ... 
doi:10.24963/ijcai.2019/155 dblp:conf/ijcai/IgnatievMWM19 fatcat:cgty2gf3wnfbnmgnsnfk4ocg7a

Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets [article]

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
2017 arXiv   pre-print
The proposed approach is based on implicit hitting sets and so is tightly related with the original seminal work on model based diagnosis.  ...  Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years.  ...  MUS of Hi ∪ (S \ ∆) 11 U ← U ∪ {U } 12 ReportExpl(U) # report min explanation tial for highlighting the problems with the accuracy of model-based diagnosis and the diagnosis of multiple failing observations  ... 
arXiv:1707.01972v1 fatcat:6gawa6eh5zeyjlo6wnoylmuowy

Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation

Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
2007 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The first method, based on the principle of single-fault activation and single-output observation, employs a new circuit transformation technique in conjunction with the use of a special type of diagnostic  ...  In this paper, we propose two fault-diagnosis methods for improving multiple-fault diagnosis resolution.  ...  Deterministic SLAT Patterns for SLAT-Based Diagnosis SLAT-based diagnosis approaches make the assumption that, if the observed failures match with the simulation result of a fault, then, the fault is present  ... 
doi:10.1109/tcad.2006.884486 fatcat:ftjt3m3adzchfixcg7qo65yxca

Multiple-Fault Diagnosis Based on Single-Fault Activation and Single-Output Observation

Yung-Chieh Lin, Kwang-Ting Cheng
2006 Proceedings of the Design Automation & Test in Europe Conference  
In this paper, we propose a new circuit transformation technique in conjunction with the use of a special diagnostic test pattern, named SO-SLAT pattern, to achieve higher multiple-fault diagnosis resolutions  ...  Observing the responses to SO-SLAT patterns helps more precisely identify fault candidates.  ...  The multiple-fault has an unknown multiplicity with static and/or dynamic (e.g. delay) fault components. We develop a diagnostic test generation procedure based on a transformed circuit model.  ... 
doi:10.1109/date.2006.243797 dblp:conf/date/LinC06 fatcat:dw225samenbtfhr6sdhzvce2ny

Error Diagnosis of Sequential Circuits Using Region-Based Model

Anand L. D'Souza, Michael S. Hsiao
2005 Journal of electronic testing  
Algorithms to locate multiple design errors using region-based model are studied for both combinational and sequential circuits.  ...  Studies show the effectiveness of the region based model for single and multiple stuck faults and gate connection errors.  ...  The region-based model was extended for diagnosis of sequential circuits by isolating the time frame at which the error was first observed.  ... 
doi:10.1007/s10836-005-6141-6 fatcat:xiqvzy373jhxtpqzlnbizkb5hm

An observation-based model for fault localization

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
2008 Proceedings of the 2008 international workshop on dynamic analysis held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008) - WODA '08  
In this paper we study a dynamic modeling approach to fault localization, which is based on logic reasoning over program traces.  ...  The model shows that our approach unambiguously reveals the actual faults, provided that sufficient test cases are available.  ...  Section 3 presents the basic principles of model-based diagnosis. In Section 4 our observation-based approach for fault diagnosis is described.  ... 
doi:10.1145/1401827.1401841 dblp:conf/issta/AbreuZG08 fatcat:6qgm2jtns5gonatr7qb2amy45u

Approximate Model-Based Diagnosis Using Greedy Stochastic Search [chapter]

Alexander Feldman, Gregory Provan, Arjan van Gemund
2007 Lecture Notes in Computer Science  
Introduction Model-Based Diagnosis (MBD) is an area of abductive or model-based inference in which a system model is used, together with observations about system behavior, to isolate sets of faulty components  ...  MBD provides a sound and complete approach to enumerating multiple-fault diagnoses, and exact algorithms can guarantee finding a diagnosis optimal with respect to the number of faulty components, probabilistic  ...  First, we use small models with observations maximizing the number of faults in a cardinality-minimal diagnosis.  ... 
doi:10.1007/978-3-540-73580-9_13 fatcat:4mrt3p3rsbho5ef2qp7fmljp6e

An Intelligent Planning-Based Modeling Method for Diagnosis and Repair

Chuang Li, Dantong Ouyang, Xiaoyu Wang, Wei Wei
2020 Wireless Communications and Mobile Computing  
Planning and model-based diagnosis are both branches of artificial intelligence. In model-based diagnosis, multiresults may be gotten which lead to an uncertain diagnosis.  ...  A method that uses planning to repair in local results of incremental diagnosis is proposed. Firstly, a model is established on model-based diagnosis and planning.  ...  Model-based diagnosis is a diagnostic method of common reasoning based on the equipment model and behavior.  ... 
doi:10.1155/2020/8887933 fatcat:cswbwnepmvghrhls2vuz2njfvu

Diagnosing Component Interaction Errors from Abstract Event Traces [chapter]

Wolfgang Mayer, Xavier Pucel, Markus Stumptner
2010 Lecture Notes in Computer Science  
This paper presents a model-based diagnosis approach that identifies possible faults based on generic fault models in abstract traces where events may be associated to multiple system components.  ...  We overcome the common limitation that precise fault models are available for each component and leverage generic fault models of classes of faults instead.  ...  Diagnosis Model Our diagnosis model is based on the principle of consistency-based diagnosis [11] , where a model of the nominal behavior of a system is contrasted with the actual behavior exhibited by  ... 
doi:10.1007/978-3-642-17432-2_50 fatcat:d4jf5ar42fboxmnrutcajfjnja

Probability based vehicle fault diagnosis: Bayesian network method

Yingping Huang, Ross McMurran, Gunwant Dhadyalla, R. Peter Jones
2008 Journal of Intelligent Manufacturing  
By using a vehicle infotainment system as a case study, a number of Bayesian diagnostic models have been established for fault cases with single and multiple symptoms.  ...  This paper presents an innovative Bayesian Network based method for guiding off-line vehicle fault diagnosis.  ...  A number of diagnostic models have been established for fault cases with single symptom or with multiple symptoms.  ... 
doi:10.1007/s10845-008-0083-7 fatcat:t76d7dgcfzb65ciitk4bq5dlti

DESIGN OF ADVANCED PSEUDO RANDOM DISCRETE TIME EVEN SYSTEM FOR FAULT DETECTION

P Santhosh, Hyderabad Institute of Technology and Management, Dr. Rahul Vivek Purohit, Kalasapati Bindu Madhavi, Hyderabad Institute of Technology and Management
2022 International Journal of Engineering Applied Sciences and Technology  
Pseudo random multiple input signals are given to DES.  ...  The discrete time even system will take multiple signals and perform its operation. The adaptive MISO (multiple input and single output) controller will controls the speed of the system.  ...  The supervisory problem of the control with partial event observations and introduce a language-based definition of state and observability conditions for the existence of a solution to the supervisory  ... 
doi:10.33564/ijeast.2022.v06i09.033 fatcat:oybv5dvz7rcdpmqyb5kwn2v3ni

Multi-source information fusion based fault diagnosis of ground-source heat pump using Bayesian network

Baoping Cai, Yonghong Liu, Qian Fan, Yunwei Zhang, Zengkai Liu, Shilin Yu, Renjie Ji
2014 Applied Energy  
h i g h l i g h t s A multi-source information fusion based fault diagnosis methodology is proposed. The diagnosis model is obtained by combining two proposed Bayesian networks.  ...  Therefore, the multi-source information fusion based fault diagnosis model using Bayesian network can increase the fault diagnostic accuracy greatly.  ...  Fault diagnosis methodology Fault diagnosis based on sensor data The fault diagnosis model of GSHP system is established by using Bayesian network method.  ... 
doi:10.1016/j.apenergy.2013.09.043 fatcat:ijykeyamqzcdtdjpqbrxrqentu

The Translocation t(4;14) Can Be Present Only in Minor Subclones in Multiple Myeloma

B. Hebraud, D. Caillot, J. Corre, G. Marit, C. Hulin, X. Leleu, L. Lode, M. Wetterwald, M. Dib, P. Rodon, L. Voillat, B. Royer (+18 others)
2013 Clinical Cancer Research  
Purpose: Although the translocation t(4;14) is supposed to be a primary event in multiple myeloma, we have been surprised to observe that in large relapse series of patients, the t(4;14) can be observed  ...  Conclusion: Thus, the conclusion of this study is that the t(4;14) is not a primary event in multiple myeloma and that it can be present in silent subclones at diagnosis, but also at relapse.  ...  This article must therefore be hereby marked advertisement in accordance with 18 U.S.C. Section 1734 solely to indicate this fact.  ... 
doi:10.1158/1078-0432.ccr-12-3866 pmid:23857603 pmcid:PMC4863228 fatcat:jrq4hcgpcra2vp7sfoljgfhc3a

Simultaneous debugging of software faults

Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund
2011 Journal of Systems and Software  
program models and multiple-fault program versions available from the software infrastructure repository (SIR) show that for multiple-fault programs this approach can outperform statistical techniques,  ...  notably spectrum-based fault localization (SFL).  ...  Finally, we acknowledge the feedback from the discussions with our TRADER project partners.  ... 
doi:10.1016/j.jss.2010.11.915 fatcat:cglpjtffbnaexfbeheqzecb6ia

A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models

Antoni Ligęza, Jan Kościelny
2008 International Journal of Applied Mathematics and Computer Science  
A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models.  ...  The Case of Two-Layer Models The diagnosis of multiple faults is significantly more difficult than singular fault diagnosis.  ...  Principles of multiple fault diagnosis The proposed approach follows the ideas of model-based consistency-based diagnostic inference founded on the analysis of the so-called conflict-sets and finding diagnoses  ... 
doi:10.2478/v10006-008-0041-8 fatcat:gu7yu2a4s5gfbkzslaaeivxcrq
« Previous Showing results 1 — 15 out of 809,898 results