1.Can a given diagnostic model be implemented on the basis of the available sensors? This problem is commonly referred to as diagnosability,and had been studied in a variety of works.
2.We see diagnosability as a disambiguation problem for sets of states that don't necessarily partition the states space ,generalizing the usual fault detection and identification case.
3.Definition 1. A plant is a structure P=<X,U,Y,δ,λ>,where X,U,Y are finite sets,respectively called the state,input space,and output space,δ (包含于)X × U × X is the transition relation, and λ (包含于)X × Y is the observation relation. We require that (任意的)x.(存在)y.λ(x, y).
4.Twin plant construction
5.FTA-based synthesis(Fault Tree Analysis)
6.Trace-based synthsis