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!
|
| Summary: | 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. |
|---|---|
| ISSN: | 1751-8644 1751-8652 |