1,721,013 research outputs found
Efficient processing of queries and assertions about qualitative and quantitative temporal constraints
No full textDiagnosis and Diagnosability Analysis Using PEPA
No full textIn 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
On the automatic synthesis of functional dependency graphs from libraries of component models
No full text
Process algebras for systems diagnosis
No full textAbstractIn this paper we propose a new characterization of model-based diagnosis based on process algebras, a framework which is widely used in several areas of computer science. We show that process algebras provide a powerful modelling language which allows us to capture, in an uniform way, different types of models of physical systems, including models of time-varying and dynamic behavior. Then we provide a characterization of diagnosis which is equivalent to the “classical” abductive one. This suggests new interesting opportunities for research on relations between model-based reasoning and process algebras
- …
