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 reasoning; Process algebras; Characterization of diagnosis; Component-centered qualitative models

Mathematics Subject Classification ID

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

Related Items

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