Fault Detection in Acyclic Petri Net Models

摘要：

This paper proposes an approach for fault detection in a system that is modeled as an acyclic Petri net. Places in the net can be either observable or unobservable, and faulty behavior in the system are modeled as faulty transitions in the net. Our goal is to determine whether faulty transitions occur or not based on the observation of system state (marking) changes. We develop an algorithm that is able to determine the possible occurrences of faulty transitions in the net. An example is also provided to illustrate our approach.

关键词： Petri nets fault detection matrix analysis

作者: Yizhi Qu Lingxi Li Yaobin Chen Yaping Dai

作者单位: Department of Electrical and Computer Engineering, Indiana University-Purdue University Indianapolis Department of Electrical and Computer Engineering, Indiana University-Purdue University Indianapolis Department of Automation, Beijing Institute of Technology, Beijing, China

会议类型: 国际会议

会议名称: The 22nd China Control and Decision Conference(2010年中国控制与决策会议)

会议地点: 徐州

会议语种:英文

页码: 4059-4063

在线出版日期: 2010-05-26（万方平台首次上网日期，不代表论文的发表时间）