Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Baisi Liu
Armand Toguyeni

Résumé

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.

Mots clés

Domaines

Automatique
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00999387 , version 1

Citer

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⟩
82 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More