Process algebras for systems diagnosis.
From MaRDI portal
Publication:1852861
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)
Model-based reasoning; Process algebras; Characterization of diagnosis; Component-centered qualitative models
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
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