DocumentCode
3163602
Title
Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming
Author
Basile, Francesco ; De Tommasi, Gianmaria ; Sterle, Claudio
Author_Institution
Dipt. di Ing. dell´Inf., Ing. Elettr. e Mat. Appl., Univ. degli Studi di Salerno, Fisciano, Italy
fYear
2015
fDate
16-19 June 2015
Firstpage
168
Lastpage
175
Abstract
This paper studies the problem of static sensor selection for ensuring K-diagnosability in bounded Petri nets. An integer linear programming problem is formulated to determine the minimal number of randomly selected sensors that make K-diagnosable net system with respect to a fault. This value is an estimate of the minimum number of sensors that assures the K-diagnosability of a given fault, which can be further improved taking into account some elements of the net structures.
Keywords
Petri nets; discrete event systems; fault diagnosis; integer programming; linear programming; sensors; K-diagnosability improvement; K-diagnosable net system; bounded Petri nets; integer linear programming problem; minimum sensor estimation; net structures; randomly selected sensors; static sensor selection; Artificial neural networks; Diamonds; Estimation; Integer linear programming; Petri nets; Sensor systems; Diagnosability; Discrete event system; ILP problems; Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
Control and Automation (MED), 2015 23th Mediterranean Conference on
Conference_Location
Torremolinos
Type
conf
DOI
10.1109/MED.2015.7158746
Filename
7158746
Link To Document