期刊
AUTOMATICA
卷 49, 期 8, 页码 2373-2383出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2013.04.041
关键词
Petri nets; Place/transition nets; Discrete event systems; Fault diagnosis
资金
- Sardinia Regional Government
- Division Of Computer and Network Systems
- Direct For Computer & Info Scie & Enginr [0930081] Funding Source: National Science Foundation
This paper studies the problem of optimal static sensor selection for ensuring diagnosability in labeled bounded and unbounded Petri nets. Starting from a non-diagnosable labeled Petri net system, we present a systematic procedure to design a new labeling function that makes the system diagnosable and optimizes a given objective function. This procedure employs a particular net, called Verifier Net, that is built from the original Petri net and provides necessary and sufficient conditions for diagnosability. We exploit the system structure captured in the verifier net to guide the search for the desired new labeling function. The search is performed over an unfolding of the reachability/coverability tree of the verifier net and follows a set of rules that capture the relabeling strategy. We allow for unobservable transitions that cannot be labeled as well as for multiple fault classes. We formulate an integer linear programming problem that finds an optimal labeling function when numerical costs are associated with transition relabeling. (C) 2013 Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据