Markov Monitoring with Unknown States
a survey of design methods for failure detection in dynamic systems .