Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Computational geometry: an introduction
Computational geometry: an introduction
A formal model of diagnostic inference. I. Problem formulation and decomposition
Information Sciences: an International Journal - Special issue on expert systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Distributed revision of composite beliefs
Artificial Intelligence
On the Complexity of Single Fault Set Diagnosability and Diagnosis Problems
IEEE Transactions on Computers
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Expected-Value Analysis of Two Single Fault Diagnosis Algorithms
IEEE Transactions on Computers
On Parallel Algorithms for Single-Fault Diagnosis in Fault Propagation Graph Systems
IEEE Transactions on Parallel and Distributed Systems
Operative diagnosis algorithms for single-fault in graph-based systems
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Expected-Value Analysis of Two Single Fault Diagnosis Algorithms
IEEE Transactions on Computers
Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks
IEEE Transactions on Computers
Efficient sensor network design for continuous monitoring of moving objects
Theoretical Computer Science
Sensor deployment for failure diagnosis in networked aerial robots: a satisfiability-based approach
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Fault detection and localization scheme for multiple failures in optical network
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Rollout strategy-based probabilistic causal model approach for the multiple fault diagnosis
Robotics and Computer-Integrated Manufacturing
Efficient sensor network design for continuous monitoring of moving objects
ALGOSENSORS'07 Proceedings of the 3rd international conference on Algorithmic aspects of wireless sensor networks
Survey on dependable IP over fiber networks
Dependable Systems
Minimal monitor activation and fault localization in optical networks
Optical Switching and Networking
Resiliency in exascale systems and computations using chaotic-identity maps
Euro-Par'12 Proceedings of the 18th international conference on Parallel processing workshops
Fault detection in multi-core processors using chaotic maps
Proceedings of the 3rd Workshop on Fault-tolerance for HPC at extreme scale
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 14.99 |
Systems that can be modeled as graphs, such that nodes represent the components and the edges represent the fault propagation between the components, are considered. Some components are equipped with alarms that ring in response to faulty conditions. In these systems, two types of problem are studies: fault diagnosis and alarm placement. The fault diagnosis problems deal with computing the set of all potential failure sources that correspond to a set of ringing alarms. Single faults, where exactly one component can become faulty at any time, are primarily considered. Systems are classified into zero-time and non-zero-time systems on the basis of fault propagation time. The latter are further classified on the basis of knowledge of propagation times. For each of these classes algorithms are presented for single fault diagnosis. The problem of detecting multiple faults is shown to be NP-complete. An alarm placement problem that requires a single fault to be uniquely diagnosed is examined