An Improved Approach to Test Diagnosability of Bounded Petri Nets |
| |
Authors: | Ran Ning Su Hongye Wang Shouguang |
| |
Affiliation: | 1.State Laboratory of Industrial Control Technology, Institute of Cyber-Systems and Control, Zhejiang University, Yuquan Campus, Hangzhou 310027, China2.School of Information & Electronic Engineering, Zhejiang Gongshang University, Hangzhou 310018, China |
| |
Abstract: | For bounded Petri nets, Cabasino et al. propose a diagnosability test method that is based on the analysis of a modified basis reachability graph and a basis reachability diagnoser. However, its complexity is exponential in the number of nodes of the basis reachability diagnoser. In order to reduce the complexity of their method, this paper presents a new diagnosability test approach for bounded Petri nets. We present the concept of an extended basis reachability graph and prove that our approach is of polynomial complexity in the number of nodes of extended basis reachability graphs. An example is given to illustrate the application of the presented approach. |
| |
Keywords: | Diagnosability discrete event systems (DES) fault diagnosis Petri nets |
|
| 点击此处可从《》浏览原始摘要信息 |
|
点击此处可从《》下载全文 |
|