Diagnosability Analysis of Labeled Time Petri Net Systems

被引:49
作者
Basile, Francesco [1 ]
Cabasino, Maria Paola [2 ]
Seatzu, Carla [2 ]
机构
[1] Univ Salerno, Dept Comp Engn, Dept Elect Engn & Applied Math, I-84084 Salerno, Italy
[2] Univ Cagliari, Dept Elect & Elect Engn, I-09124 Cagliari, Italy
关键词
Discrete event systems; fault diagnosis; Petri nets (PNs); DISCRETE-EVENT SYSTEMS; FAULT-DIAGNOSIS;
D O I
10.1109/TAC.2016.2588736
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN) systems: K-diagnosability implies that any fault occurrence can be detected after at most K observations, while (T)-diagnosability implies that any fault occurrence can be detected after at most (T) time units. A procedure to analyze such properties is provided. The proposedapproach uses the Modified State Class Graph, a graph the authors recently introduced for the marking estimation of labeled Time PN systems, which providesan exhaustive description of the system behavior. A preliminary diagnosabilty analysis of the underlying logic system based on classical approaches taken from the literature is required. Then, the solution of some linear programming problems should be performed to take into account the timing constraints associated with transitions.
引用
收藏
页码:1384 / 1396
页数:13
相关论文
共 50 条
  • [31] Decidability of opacity verification problems in labeled Petri net systems
    Tong, Yin
    Li, Zhiwu
    Seatzu, Carla
    Giua, Alessandro
    AUTOMATICA, 2017, 80 : 48 - 53
  • [32] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
  • [33] Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers
    Ramirez-Trevino, Antonio
    Ruiz-Beltran, Elvia
    Aramburo-Lizarraga, Jesus
    Lopez-Mellado, Ernesto
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (02): : 416 - 429
  • [34] Diagnosability Analysis of Unbounded Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1267 - 1272
  • [35] Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions"
    He, Zhou
    Li, Zhiwu
    Giua, Alessandro
    Basile, Francesco
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (12) : 5253 - 5259
  • [36] State estimation in labeled time Petri net systems using observed modified state class graph
    Li, Liang
    Deng, Mingxi
    Liu, Bin
    Lib, Zhiwu
    INFORMATION SCIENCES, 2024, 656
  • [37] Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs
    Zhang, Kuize
    Giva, Alessandro
    IFAC PAPERSONLINE, 2018, 51 (07): : 167 - 171
  • [38] Marking Estimation in a Class of Time Labeled Petri Nets
    Ma, Ziyue
    Li, Zhiwu
    Giua, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (02) : 493 - 506
  • [39] Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
    Ran, Ning
    Giua, Alessandro
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (07) : 2997 - 3004
  • [40] Diagnosability analysis of real time hybrid systems
    Biswas, S.
    Sarkar, D.
    Mukhopadhyay, S.
    Patra, A.
    2006 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-6, 2006, : 107 - +