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

Realtime Model-based Diagnostic Method Based on Model Checking

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

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.