Diagnosis and diagnosability analysis using PEPA
Luca Console, Claudia Picardi, Marina Ribaudo · 2000
. In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented models, for characterizing and computing diagnoses, and for analyzing properties such as the diagnosability of the system under investigation. 1 Introduction The definition of frameworks for characterizing diagnosis attracted a lot of attention in the model-based reasoning community (see e.g., chapt. 2 of [7] or [2, 5]). These frameworks have been used to provide a semantics for diagnostic problem solving and to analyze its properties (e.g., its computational complexity). Moreover, they have been used to analyze properties of the system to be diagnosed, e.g., studying the suitability of different types of models [21] or sensor placement for diagnosability [20] or, more generally, diagnosability [18]. Although logic is the formalism most frequently used in AI frameworks for diagnosis [15, 14, 4], the comparis...