Critical pairs based diagnosability analysis of timed fault in Time Petri Nets
| Autor: | Coquand, Camille, Subias, Audine, Pencolé, Yannick, Lubat, Éric |
|---|---|
| Přispěvatelé: | Coquand, Camille, É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), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT) |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
State class graph
[INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY] [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Time Petri nets critical pair [SPI.AUTO]Engineering Sciences [physics]/Automatic [SPI.AUTO] Engineering Sciences [physics]/Automatic Control and Systems Engineering [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering diagnosability [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY] Discrete event system [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering |
| Zdroj: | 16th IFAC Workshop on Discrete Event Systems 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic |
| Popis: | International audience; Time Petri Nets are a suitable tool for the modeling of timed Discrete Event Systems. This paper is about the diagnosability of single timed fault in Time Petri Nets. To check the existence of critical pairs, an abstraction of the systems infinite behaviours, called path, is presented as a set of observable constraints associated with a particular sequence of transitions. Properties on the set of solutions of a partition of this abstraction are then provided to check the diagnosability of the timed fault. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|