基于模型检测的实时模型诊断方法

摘要：

提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、有效.

关键词：模型诊断、可诊断性、有界模型检测、符号模型检测

所属期刊栏目：45

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60496320;60496321;国家高技术研究发展计划863计划2003AA118020;教育部跨世纪优秀人才培养计划;吉林省科技发展计划20060532

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

页数：共5页

页码：948-952