ECAI-2000 Conference Paper

[full paper]

Diagnosis and Diagnosability Analysis Using PEPA

Luca Console, Claudia Picardi, Marina Ribaudo

In this paper we propose the use of process algebras (and specifically PEPA) 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.

Keywords: Diagnosis, Model-based reasoning

Citation: Luca Console, Claudia Picardi, Marina Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.131-135.