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

Realtime Model-based Diagnostic Method Based on Model Checking

作　　者：廉智超[1] 欧阳丹彤[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（理学版）》2007年第6期948-952,共5页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金重大项目基金(批准号:60496320;60496321);国家高技术研究发展计划项目基金(批准号:2003AA118020);新世纪优秀人才支持计划项目基金;吉林省科技发展计划项目基金(批准号:20060532)

摘　　要：提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、有效.We proposed a real-time method to diagnose dynamic systems with model checking. This method utilizes the efficiency of verification of model checking on a large state space to diagnose. It enhances real time diagnosis in AI region. We built a platform based model checking to integrate modeling, testing diagnosability and performing diagnosis, the result proves that our method is feasible.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]