Symbolic synthesis of obserability requirements for diagnosability B.Bittner,M.Bozzano,A.Cimatti,and X.Olive--笔记4.16

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