Statecharts: A visual formalism for complex systems
Science of Computer Programming
Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Artificial Intelligence
A Hierarchical Adaptive Distributed System-Level Diagnosis Algorithm
IEEE Transactions on Computers
Diagnosis of large active systems
Artificial Intelligence
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
Degrees of acyclicity for hypergraphs and relational database schemes
Journal of the ACM (JACM)
Compiling constraint satisfaction problems
Artificial Intelligence
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
Hierarchical Test Generation with Built-In Fault Diagnosis
ATS '96 Proceedings of the 5th Asian Test Symposium
Distributed Diagnosis for Qualitative Systems
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
In previous work the authors proposed a distributed diagnosis approach consisting of two phases--preliminary diagnosis in each local diagnoser and inter-diagnoser communication. The objective of communication is to achieve either global or local consistency among local diagnoses, where global consistency is captured by the equilibrium concept of supremal global support. To achieve this equilibrium, an algorithm called Computational Procedure for Global Consistency (CPGC) was proposed. But it turns out that CPGC has high time complexity and weak scalability. To rectify these shortcomings, we propose a hierarchical computational procedure. A further advantage of this procedure is demonstrated, based on multiresolutional diagnosis. With the latter, fault detection is conducted at each hierarchical level, so that computation can be confined to those modules likely to possess faults, while fault-free modules are safely disregarded. A simplified industrial example is provided in illustration.