Compositional Synthesis of Temporal Fault Trees from State Machines.

Nidhal Mahmud Martin Walker Yiannis Papadopoulos

Published in: ARES (2011)

Keyphrases

state machines
state machine
petri net
fault diagnosis
decision trees
temporal information
recurrent networks
fault detection
training data
expert systems
artificial neural networks
temporal logic
recurrent neural networks
reverse engineering
sequence diagrams
reactive systems