Fault diagnosis of distributed discrete event systems using OBDD | |
Xue, F ; Zheng, DZ ; Yan, L | |
2010-05-06 ; 2010-05-06 | |
关键词 | fault diagnosis discrete event system Petri net OBDD Computer Science, Information Systems Mathematics, Applied |
中文摘要 | In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components that are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component's own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sampath et al, a distributed fault diagnosis algorithm with communication is presented. The distributed algorithm assumes that the local diagnosis process can exchange messages upon the occurrence of observable events. We prove the distribute diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm. And then, the OBDD (Ordered Binary Decision Diagrams) is introduced to manage the state explosion problem in state estimation of the system. |
语种 | 英语 ; 英语 |
出版者 | INST MATHEMATICS & INFORMATICS ; VILNIUS ; AKADEMIJOS 4, VILNIUS 2600, LITHUANIA |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/9121] ![]() |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | Xue, F,Zheng, DZ,Yan, L. Fault diagnosis of distributed discrete event systems using OBDD[J],2010, 2010. |
APA | Xue, F,Zheng, DZ,&Yan, L.(2010).Fault diagnosis of distributed discrete event systems using OBDD.. |
MLA | Xue, F,et al."Fault diagnosis of distributed discrete event systems using OBDD".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论