Diagnosabilization of Time Petri net for timed fault - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Diagnosabilization of Time Petri net for timed fault


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
80 View
44 Download



Gmail Mastodon Facebook X LinkedIn More