Diagnosabilization of Time Petri net for timed fault - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Diagnosabilization of Time Petri net for timed fault

Résumé

Diagnosability is the property of a system to have sufficient observable information to guarantee the diagnosis of a fault. Here, the considered fault is a timed fault, i.e. an unobservable event that occurs in bounded time since the start of the system. Starting with a system modeled as a Time Petri net that is not diagnosable, this work proposes a method that provides adjustments by restriction of static time intervals to ensure the system becomes ∆-diagnosable for that fault. These adjustments are characterized by a set of constraints over interval bounds and then provide a set of solutions, if any, to ensure the diagnosability of the system.
Fichier principal
Vignette du fichier
Coquand_2023.pdf (314.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04075303 , version 1 (20-04-2023)

Identifiants

Citer

Camille Coquand, Yannick Pencolé, Audine Subias. Diagnosabilization of Time Petri net for timed fault. IFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩. ⟨hal-04075303⟩
63 Consultations
30 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More