Diagnosing tree-structured systems

DOI10.1016/S0004-3702(01)00054-6MaRDI QIDQ5940958zbMATH OpenFDO

Authors M. Stumptner, Franz Wotawa

Publication date 20 August 2001

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(01)00054-6

zbMATH Keywords

efficient diagnosis algorithmsmodel-based diagnosis

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Diagnosis of Faults in Linear Tree Networks
• scientific article; zbMATH DE number 139791
• A Generalized Theory for System Level Diagnosis
• scientific article; zbMATH DE number 1168533
• Self-Implicating Structures for Diagnosable Systems
• Arborescent architecture for decentralized diagnosis of discrete event systems

Cites work

• A comparison of structural CSP decomposition methods
• A correction to the algorithm in Reiter's theory of diagnosis
• A theory of diagnosis from first principles
• Constraint satisfaction from a deductive viewpoint
• Diagnosing multiple faults
• Focusing on independent diagnosis problems
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 1168533 (Why is no real title available?)
• scientific article; zbMATH DE number 4185069 (Why is no real title available?)
• Model-based diagnosis of hardware designs
• Structure-driven algorithms for truth maintenance
• Tree clustering for constraint networks

Cited in

(5)

• A variant of Reiter's hitting-set algorithm
• A method of combining SE-tree to compute all minimal hitting sets
• Approximate model-based diagnosis using greedy stochastic search
• Diagnosis of deep discrete-event systems
• Consistency-based diagnosis of configuration knowledge bases

This page was built for publication: Diagnosing tree-structured systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940958)