Can I read K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization on EtoBox?

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization by Amira Chouchane; Mohamed Ghazel; Abderraouf Boussif is a Engineering article available to read on EtoBox.

What is K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization about?

We propose an algebraic approach to investigate K -diagnosability of partially observed labeled Petri nets which can be either bounded or unbounded. Namely, a necessary and sufficient condition for Kdiagnosability is established based on the resolution of an Integer Linear Programming (ILP) problem.When the system is K -diagnosable, our approach also yields the minimal value K min ≤ K that ensures K min -diagnosability. The value of K min is calculated directly, using the same ILP formulation, i.e, without testing 1, . . . , (K min -1)-diagnosability. A second K -diagnosability approach, which is derived from the first one, is also developed on a compacted horizon providing a sufficient condition for Kdiagnosability. This second technique allows for reducing the system dimensionality yielding a higher computational efficiency and allowing the characterization of the length of the sequences that lead to the fault occurrence, which is necessary to perform the K -diagnosability test of the first approach.

Who reads K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization?

Author

Amira Chouchane; Mohamed Ghazel; Abderraouf Boussif

Publisher

Elsevier BV

Published

2023

Language

EN

Field

Engineering (Physical Sciences)