Mode automata and their compilation into fault trees.

Published in: Reliab. Eng. Syst. Saf. (2002)

Keyphrases

tree automata
fault detection
decision trees
fault diagnosis
cellular automata
finite automata
tree structure
binary trees
probabilistic automata
regular expressions
finite state machines
finite state
tree structures
tree models
real time embedded systems