How to avoid the generation of logic loops in the construction of fault trees.
Micaela DemichelaNorberto PiccininiItalo CiarambinoSergio ContiniPublished in: Reliab. Eng. Syst. Saf. (2004)
Keyphrases
- fault diagnosis
- decision trees
- generation process
- construction process
- classical logic
- multiple faults
- asynchronous circuits
- generation method
- multi valued
- automated reasoning
- modal logic
- tree structures
- database
- search algorithm
- fault detection
- set theory
- predicate logic
- tree automata
- tree nodes
- proof theory
- tree structure