5、扩展有限状态机的可诊断性属性

扩展有限状态机的可诊断性属性

1. 参数化定义

在研究有限状态机（FSM）的可诊断性时，引入了额外的参数来描述系统在执行过程中推断出状态属于关键集Ω的能力。这些参数包括：

• τ（初始间隔） ：在该时间段内，交叉事件不需要被检测。
• δ（最大延迟） ：交叉事件检测的最大延迟。
• γ（不确定性半径） ：重建交叉事件发生步骤时的不确定性。
• T（观察窗口） ：定义了一个窗口，在此窗口内需要检测交叉事件。

这些参数使得我们能够在更复杂的场景中评估和设计诊断器，确保系统在特定条件下的可诊断性。例如，图5.1展示了不同参数设置下的交叉事件检测需求和可能性。

graph TD;
    A[首次交叉事件发生] --> B{是否在蓝色区间};
    B -- 是 --> C[无需检测];
    B -- 否 --> D{是否在品红色区间};
    D -- 是 --> E[必须检测];
    D -- 否 --> F[无需检测];

2. 参数的作用

通过图5.1，我们可以更直观地理解这些参数的作用。图中展示了三种不同执行情况下的交叉事件检测需求：

• 情况一 ：在初始间隔τ内，交叉事件不需要检测。