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
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;
Conference_Titel :
Control and Automation (MED), 2015 23th Mediterranean Conference on
Conference_Location :
Torremolinos
DOI :
10.1109/MED.2015.7158746
