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 reasoningProcess algebrasCharacterization of diagnosisComponent-centered qualitative models
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
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.