Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Diagnosis of large active systems
Artificial Intelligence
Database System Concepts
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Discrete Event Dynamic Systems
Process algebras for systems diagnosis
Artificial Intelligence
Diagnosis of quantized systems based on a timed discrete-eventmodel
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Diagnosis of a class of distributed discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A diagnostic environment for automaton networks
Software—Practice & Experience
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
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
A spectrum of symbolic on-line diagnosis approaches
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A Decentralised Symbolic Diagnosis Approach
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |
Diagnosis of discrete-event systems (DESs) may be improved by knowledge-compilation techniques, where a large amount of model-based reasoning is anticipated off-line, by simulating the behavior of the system and generating suitable data structures (compiled knowledge) embedding diagnostic information. This knowledge is exploited on-line, based on the observation of the system behavior, so as to generate the set of candidate diagnoses (problem solution). This paper makes a step forward: the solution of a diagnostic problem is supported by the solution of another problem, provided the two problems are somewhat similar. Reuse of model-based reasoning is thus achieved by exploiting the diagnostic knowledge yielded for solving previous problems. The technique still works when the available knowledge does not fit the extent of the system, but only a partition of it, that is, when solutions are available for subsystems only. In this case, the fragmented knowledge is exploited in a modular way, where redundant computation is avoided. Similarity-based diagnosis is meant for large-scale DESs, where the degree of similarity among subsystems is high and stringent time constraints on the diagnosis response is a first-class requirement.