2002 · 55 citations · 10 references
EngineeringComputer EngineeringSystems EngineeringFormal MethodsSystems AnalysisSystems ModelingDiagnosisDiagnosticsFault DetectionFault DiagnosisFault IsolationFault ModelingCause-effect RelationsCause-effect RelationshipsDependency ModelingDirected GraphsFault Diagnosis ModelsModel-based Fault DiagnosisSystem-level Fault IsolationTestability
In this paper, we present a comprehensive methodology for a formal, but intuitive, cause-effect dependency modeling using multi-signal directed graphs that correspond closely to hierarchical system schematics and develop diagnostic strategies to isolate faults in the shortest possible time without making the unrealistic single fault assumption. A key feature of our methodology is that our models lend naturally to real-world necessities, such as system integration and hierarchical troubleshooting.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
10
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations
A theory of diagnosis from first principles
Raymond Reiter · Artificial Intelligence · 1987 · 2.9K citations
Qualitative reasoning: Modeling and simulation with incomplete knowledge
Benjamin Kuipers · Automatica · 1989 · 678 citations