Skip to Main content Skip to Navigation
Conference papers

Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets

Abstract : This paper deals with the diagnosability of discrete event systems (DES) modeled by labeled Petri nets (LPNs). An additional parameter K ∈ N, which is the number of observable events after an unobservable fault to ensure diagnosability, is discussed. With the incremental search of K, we transform the diagnosability problem into a series of K-diagnosability problems. For bounded diagnosable systems, Kmin , the minimum value of K to ensure diagnosability, can be eventually found. The state space is generated on the fly, without investigation of unnecessary states. This is a notable advantage compared with some existing methods, since just a part of the state space can often be sufficient to assess diagnosability.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00999387
Contributor : Ifsttar Cadic Connect in order to contact the contributor
Submitted on : Tuesday, June 3, 2014 - 3:03:40 PM
Last modification on : Saturday, January 15, 2022 - 3:53:22 AM

Identifiers

  • HAL Id : hal-00999387, version 1

Collections

Citation

Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets. 13th European Control Conference - ECC'2014, Jun 2014, France. 6p. ⟨hal-00999387⟩

Share

Metrics

Les métriques sont temporairement indisponibles