Recent feedback obtained while applying Model-based diagnosis (MBD) in industry suggests that the costs involved in behavioral modeling (both expertise and labor) can outweigh the benefits of MBD as a high-performance diagnosis approach. In this paper, we propose an automatic approach, called Antares, that completely avoids behavioral modeling. Decreasing modeling sacrifices diagnostic accuracy, as the size of the ambiguity group (i.e., components which cannot be discriminated because of the lack of information) increases, which in turn increases misdiagnosis penalty. Antares further breaks the ambiguity group size by considering the component's false negative rate (FNR), which is estimated using an analytical expression. Furthermore, we study the performance of Antares for a number of logic circuits taken from the 74XXX/ISCAS benchmark suite. Our results clearly indicate that sacrificing modeling information degrades the diagnosis quality. However, considering FNR information improves the quality, attaining the diagnostic performance of an MBD approach.
Automatic systems diagnosis without behavioral models
2014-03-01
329254 byte
Conference paper
Electronic Resource
English
Behavioral travel-demand models
Elsevier | 1978
93AT165 Evaluation of Parking Information Systems Using Behavioral Choice Models
British Library Conference Proceedings | 1993
|Integrating Behavioral Models in Network Operations
Transportation Research Record | 2014
|New Behavioral Paradigms for Virtual Human Models
SAE Technical Papers | 2005
|AUTOMATIC DIAGNOSIS OPERATION DEVICE OF ELEVATOR ROPE AND AUTOMATIC DIAGNOSIS OPERATION METHOD
European Patent Office | 2020
|