Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -.
Sebastian JungesDennis GuckJoost-Pieter KatoenArend RensinkMariëlle StoelingaPublished in: SETTA (2015)
Keyphrases
- rewriting systems
- rewriting rules
- fault diagnosis
- tree structure
- semi automated
- graph theory
- weighted graph
- graph theoretic
- fault detection
- graph model
- decision trees
- structured data
- graph structure
- connected components
- fully automated
- bipartite graph
- rewrite rules
- graph based algorithm
- bounded degree
- directed graph
- graph partitioning
- computer aided
- transformation rules
- attributed graphs
- random walk
- special case