ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

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.


[prev] [tofc] [next]


ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.