Fault trees on a diet: automated reduction by graph rewriting.
Sebastian JungesDennis GuckJoost-Pieter KatoenArend RensinkMariëlle StoelingaPublished in: Formal Aspects Comput. (2017)
Keyphrases
- rewriting systems
- rewriting rules
- graph theory
- fault diagnosis
- tree structure
- semi automated
- connected components
- graph structure
- decision trees
- graphical representation
- graph representation
- root node
- directed graph
- random walk
- graph mining
- graph model
- graph based algorithm
- maximal cliques
- weighted graph
- spanning tree
- fault detection
- structured data
- shortest path
- query processing
- expert systems