Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

Baisi Liu
Armand Toguyeni

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.
Not file

Dates and versions

hal-00999387 , version 1 (03-06-2014)

Identifiers

  • HAL Id : hal-00999387 , version 1

Cite

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⟩
76 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More