High-Level Decision Diagram based Fault Models for Targeting FSMs.

Jaan Raik Raimund Ubar Taavi Viilukas

Published in: DSD (2006)

Keyphrases

high level
fault models
decision diagrams
model based diagnosis
digital circuits
finite state machines
efficient computation
fault model
fault management
markov decision processes
multi valued
horn clauses
databases
binary decision diagrams