A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Model-Based Diagnosis with Multiple Observations
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Preserved Fulltext
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the Design Automation & Test in Europe Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2005
Journal of electronic testing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Wireless Communications and Mobile Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2008
Journal of Intelligent Manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2022
International Journal of Engineering Applied Sciences and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Applied Energy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Clinical Cancer Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Journal of Applied Mathematics and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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