Academic Journal
K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
| العنوان: | K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization |
|---|---|
| المؤلفون: | Chouchane, Amira, Ghazel, Mohamed, Boussif, Abderraouf |
| المساهمون: | Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS), Université Gustave Eiffel, L'Institut de Recherche Technologique (IRT) de la filière Ferroviaire (IRT Railenium), ANR-10-AIRT-0006,RAILENIUM,RAILENIUM(2010) |
| المصدر: | ISSN: 0005-1098 ; Automatica ; https://hal.science/hal-03842331 ; Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩. |
| بيانات النشر: | CCSD Elsevier |
| سنة النشر: | 2023 |
| مصطلحات موضوعية: | K / K MIN -DIAGNOSABILITY, PETRI NETS, DISCRETE-EVENT SYSTEMS, INTEGER LINEAR PROGRAMMING, MODELE MATHEMATIQUE, RESEAU DE PETRI, METHODE DES ELEMENTS DISCRETS, SYSTEME DISCRET, MODELE LINEAIRE, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] |
| الوصف: | 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 K-diagnosability 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 K-diagnosability. 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. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| DOI: | 10.1016/j.automatica.2022.110689 |
| الاتاحة: | https://hal.science/hal-03842331 https://hal.science/hal-03842331v1/document https://hal.science/hal-03842331v1/file/doc00035397.pdf https://doi.org/10.1016/j.automatica.2022.110689 |
| Rights: | info:eu-repo/semantics/OpenAccess |
| رقم الانضمام: | edsbas.3EE26C83 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1016/j.automatica.2022.110689 |
|---|