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