摘要
针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。
The construction methodology of partially observed system realizing unambiguous fault diagnosis was studied. The observable places determination algorithm OPD was proposed, and the necessary and sufficient condition for solution existence of the algorithm with polynomial time complexity was presented, then it is proved that all transitions in the modeled system could be distinguished by setting SO. The system operating state determination algorithm SOSD was presented based on the OPD algorithm. The proposed SOSD algorithm was realized by 1-step forward marking computation of observable places setOS, it doesn't rely on the initial marking 0M of the controlled system while judging system status. It is proved that the proposed construction method for partially observed system satisfies the optimum supervisory condition, which achieves the optimal supervisory purpose.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2015年第3期470-479,共10页
Journal of System Simulation
基金
国家自然科学基金项目(61070220
61472003
61272153
61340003
61402011)
国家"863"计划项目(2011AA060406)
安徽省高等学校自然科学研究重点项目(KJ2014A067)
