Diagnosis and Diagnosability Analysis Using PEPA

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.

• Type: Conference
• Year: 2000
• Where: ECAI
• Authors: Luca Console, Claudia Picardi, Marina Ribaudo
• Keywords: Artificial Intelligence, ECAI 2000, Model-based Diagnosis, Powerful Frameworks, Process Algebras