Parametric abstraction of behavioral modes for model-based diagnosis
Gianluca Torta, Pietro Torasso · AI Communications · 2009
In the present paper we address the problem of automatically abstracting the behavioral modes of system components on the basis of their indiscriminability in a diagnostic setting. Our goal is to abstract the original model in such a way as to provid