Detectability is to determine the current state of the system according to the event observations and state observations.

• 可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。