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

摘要：

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

关键词：基于模型的诊断、主动系统、离散事件系统、时间区间代数、自动机

所属期刊栏目：35

分类号：TP3;TP1

资助基金：国家自然科学基金重大项目基金60496320,60496321;国家自然科学基金60773097,60873148;新世纪优秀人才支持计划项目基金,吉林省科技发展计划项目基金20060532,20080107;欧盟项目基金TH/Asia Link/010111084;吉林大学"985工程"研究生创新基金20080115

在线出版日期：2009-02-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：137-141,177