| 摘要: |
| 在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统. |
| 关键词: 不完备模型 离散事件系统 基于模型诊断 可诊断性 |
| DOI：10.13328/j.cnki.jos.004585 |
| 分类号: |
| 基金项目:国家自然科学基金(61272208, 61133011, 61003101, 61170092); 国家教育部博士点专项基金(20100061110031); 吉林省科技发展计划(20101501, 20100185, 201101039); 浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12); 浙江省自然科学基金(Y1100191) |
|
| Diagnosability of Discrete Event Systems with an Incomplete Model |
|
WANG Xiao-Yu1,2, OUYANG Dan-Tong1, ZHAO Xiang-Fu3
|
|
1.College of Computer Science and Technology, Jilin University, Changchun 130012, China;2.College of Accouting, Chongqing University of Technology, Chongqing 400050, China;3.College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004, China
|
| Abstract: |
| In modeling a discrete event system, the map from physical system to logic system may be not complete due to the complex behaviors of the system. In this paper, the concept of incomplete model is introduced. Next, a method for judging diagnosability in incomplete model is proposed, and the corresponding on-line version of the method is also presented. Incomplete behaviors can be added to the model, and makes the model complete. Offline diagnosability is judged by classical twin-plant method. According to the ordered observations and prefix of language, the incomplete behaviors are judged and disposed. With an additional method that judge incomplete behaviors, the incomplete behaviors are added into model, and the online diagnosability is judged incrementally in twin-plant by incomplete behaviors. By judging diagnosability online, whether a fault can be found exclusively by limit observations is decided. The proposed methods suit for the systems which is discrete. |
| Key words: incomplete model discrete event system model-based diagnosis diagnosability |
