A recursive algorithm for diagnosis in hierarchical finite-state machines.

Rasul Mohammadi Shahin Hashtrudi-Zad

Published in: SMC (2007)

Keyphrases

finite state machines
recursive algorithm
finite state automata
hypothesis testing
model checking
upper bound
regular expressions
hidden markov models
model based diagnosis
fault diagnosis
convex hull
query processing
statistical analysis
pattern matching