Diagnosabilization of Time Petri net for timed fault
| Autor: | Coquand, Camille, Pencolé, Yannick, Subias, Audine |
|---|---|
| Přispěvatelé: | Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), IFAC |
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: | |
| Zdroj: | IFAC World COngress IFAC World COngress, Jul 2023, Yokoama, Japan |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|