Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Communicating sequential processes
Communicating sequential processes
A theory of diagnosis from first principles
Artificial Intelligence
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Abductive inference models for diagnostic problem-solving
Abductive inference models for diagnostic problem-solving
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Qualitative reasoning about physical systems: a return to roots
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
Knowledge-based diagnosis: an important challenge and touchstone for AI
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Characterizing diagnoses and systems
Artificial Intelligence
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
Analysis of notions of diagnosis
Artificial Intelligence
Diagnosis of large active systems
Artificial Intelligence
Model checking
Communication and Concurrency
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Handbook of Process Algebra
Modelling with Generalized Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
AI Communications
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Monitoring, prediction, and fault isolation in dynamic physical systems
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Diagnosis of continuous valued systems in transient operating regions
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
A diagnostic environment for automaton networks
Software—Practice & Experience
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
An overview of AI research in Italy
Artificial intelligence
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
| Hi-index | 0.00 |
In 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.