一种结合时间区间代数建模的主动系统的故障诊断方法

研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断,在原有主动系统的自动机建模的基础上,引入时间区间代数表达更为详细的时间约束信息,构成带有时间的自动机对系统组件建模;同样在所得观测中也加入相应的更为详细的时间信息。由于加上了时间的约束,可使得诊断的解释空间进一步缩小,从而在一定情况下可提高诊断效率。最后讨论了非线性不确定观测或并发等一般情形下的处理方法。