Skip to Main content Skip to Navigation
Conference papers

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

Éric Lubat 1 Silvano Dal Zilio 1 Didier Le Botlan 1 Yannick Pencolé 2 Audine Subias 2
1 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : We propose a method to decide the diagnosability of patterns in labeled Time Petri nets (TPN) that gracefully extends a classic approach for the diagnosability of single faults. Our approach is based on a new technique for computing the language intersection of TPN and on an associated extension of the State Class Graph construction. Our approach has been implemented and we report on some experimental results.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.laas.fr/hal-02989834
Contributor : Silvano Dal Zilio <>
Submitted on : Thursday, November 5, 2020 - 12:16:40 PM
Last modification on : Tuesday, November 17, 2020 - 11:38:02 AM

File

CDC_2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02989834, version 1

Citation

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A New Product Construction for the Diagnosability of Patterns in Time Petri Net. 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨hal-02989834⟩

Share

Metrics

Record views

14

Files downloads

12