Process algebras for systems diagnosis.

DOI10.1016/S0004-3702(02)00292-8zbMath1043.68076MaRDI QIDQ1852861

Luca Console, Claudia Picardi, Marina Ribaudo

Publication date: 21 January 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Model-based reasoningProcess algebrasCharacterization of diagnosisComponent-centered qualitative models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Diagnosability of discrete event systems with modular structure ⋮ Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques ⋮ A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks ⋮ Knowledge transformation and fusion in diagnostic systems

Uses Software

• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of diagnosis from first principles
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• The computational complexity of abduction
• Characterizing diagnoses and systems
• A spectrum of definitions for temporal model-based diagnosis
• Analysis of notions of diagnosis
• Diagnosis of large active systems
• Consistency-based and abductive diagnoses as generalised stable models
• Explanatory diagnoses and their characterization by circumscription
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference
• Diagnosability of discrete-event systems

This page was built for publication: Process algebras for systems diagnosis.