Diagnosabilization of Time Petri net for timed fault - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly
Conference Papers Year : 2023

Diagnosabilization of Time Petri net for timed fault

Abstract

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)

Identifiers

  • HAL Id : hal-04075303 , version 1

Cite

Camille Coquand, Yannick Pencolé, Audine Subias. Diagnosabilization of Time Petri net for timed fault. IFAC World COngress, Jul 2023, Yokoama, Japan. ⟨hal-04075303⟩
5 View
2 Download

Share

Gmail Facebook Twitter LinkedIn More