Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net
Abstract This paper addresses the problem of optimal sensor selection for ensuring diagnosability of discrete event systems. Given a nondiagnosable discrete event system modeled with labeled Petri nets, a new labeling function can be designed to enforce the system to be diagnosable. An ad‐hoc parall...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2024-11-01
|
| Series: | IET Control Theory & Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/cth2.12480 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1846156400819961856 |
|---|---|
| author | Shaopeng Hu Jiafeng Zhang Jianzhou Wang Naiqi Wu Zhiwu Li |
| author_facet | Shaopeng Hu Jiafeng Zhang Jianzhou Wang Naiqi Wu Zhiwu Li |
| author_sort | Shaopeng Hu |
| collection | DOAJ |
| description | Abstract This paper addresses the problem of optimal sensor selection for ensuring diagnosability of discrete event systems. Given a nondiagnosable discrete event system modeled with labeled Petri nets, a new labeling function can be designed to enforce the system to be diagnosable. An ad‐hoc parallel composition of non‐deterministic finite automata (derived from the original labeled Petri net model) that are observed at multiple observation sites is employed. In order to optimize a given labeling function as well as a sensor selection, an integer linear programming problem is formulated to associate numerical sensor costs with transition relabelings. In a multi‐fault system, this method can determine the type of faults that occur and the fault sequences pertaining to this fault type if multiple faults occur. Examples are presented to demonstrate the proposed method. |
| format | Article |
| id | doaj-art-99484d6a4c484befa636837f5f18516d |
| institution | Kabale University |
| issn | 1751-8644 1751-8652 |
| language | English |
| publishDate | 2024-11-01 |
| publisher | Wiley |
| record_format | Article |
| series | IET Control Theory & Applications |
| spelling | doaj-art-99484d6a4c484befa636837f5f18516d2024-11-26T06:31:41ZengWileyIET Control Theory & Applications1751-86441751-86522024-11-0118172307232110.1049/cth2.12480Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri netShaopeng Hu0Jiafeng Zhang1Jianzhou Wang2Naiqi Wu3Zhiwu Li4School of Electro‐Mechanical Engineering Xidian University Xi'an ChinaSchool of Electro‐Mechanical Engineering Xidian University Xi'an ChinaInstitute of Systems Engineering Macau University of Science and Technology Taipa MacauInstitute of Systems Engineering Macau University of Science and Technology Taipa MacauInstitute of Systems Engineering Macau University of Science and Technology Taipa MacauAbstract This paper addresses the problem of optimal sensor selection for ensuring diagnosability of discrete event systems. Given a nondiagnosable discrete event system modeled with labeled Petri nets, a new labeling function can be designed to enforce the system to be diagnosable. An ad‐hoc parallel composition of non‐deterministic finite automata (derived from the original labeled Petri net model) that are observed at multiple observation sites is employed. In order to optimize a given labeling function as well as a sensor selection, an integer linear programming problem is formulated to associate numerical sensor costs with transition relabelings. In a multi‐fault system, this method can determine the type of faults that occur and the fault sequences pertaining to this fault type if multiple faults occur. Examples are presented to demonstrate the proposed method.https://doi.org/10.1049/cth2.12480discrete event systemsdistributed sensorsfault diagnosispetri nets |
| spellingShingle | Shaopeng Hu Jiafeng Zhang Jianzhou Wang Naiqi Wu Zhiwu Li Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net IET Control Theory & Applications discrete event systems distributed sensors fault diagnosis petri nets |
| title | Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| title_full | Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| title_fullStr | Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| title_full_unstemmed | Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| title_short | Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| title_sort | optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net |
| topic | discrete event systems distributed sensors fault diagnosis petri nets |
| url | https://doi.org/10.1049/cth2.12480 |
| work_keys_str_mv | AT shaopenghu optimalsensorselectionfordiagnosabilityenforcementofdiscreteeventsystemsusinglabeledpetrinet AT jiafengzhang optimalsensorselectionfordiagnosabilityenforcementofdiscreteeventsystemsusinglabeledpetrinet AT jianzhouwang optimalsensorselectionfordiagnosabilityenforcementofdiscreteeventsystemsusinglabeledpetrinet AT naiqiwu optimalsensorselectionfordiagnosabilityenforcementofdiscreteeventsystemsusinglabeledpetrinet AT zhiwuli optimalsensorselectionfordiagnosabilityenforcementofdiscreteeventsystemsusinglabeledpetrinet |