Diagnosability verication with Petri net unfoldings

Abstract : Complex systems increasingly require safety and robustness w.r.t. faults occurrences, and diagnosability is a key property to ensure this at design stage. This paper demonstrates how Petri net unfoldings, which have been proven to elevate the state explosion problem, can be applied to verify diagnosability by adapting the twin plant method.
Type de document :
Article dans une revue
International Journal of Knowledge-Based and Intelligent Engineering Systems, IOS Press, 2010, 14 (2), pp.49-55
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00540650
Contributeur : Philippe Dague <>
Soumis le : lundi 29 novembre 2010 - 01:24:25
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : samedi 3 décembre 2016 - 00:06:26

Fichier

KES-diagno-twin.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00540650, version 1

Collections

Citation

Agnes Madalinski, Farid Nouioua, Philippe Dague. Diagnosability verication with Petri net unfoldings. International Journal of Knowledge-Based and Intelligent Engineering Systems, IOS Press, 2010, 14 (2), pp.49-55. 〈inria-00540650〉

Partager

Métriques

Consultations de la notice

419

Téléchargements de fichiers

212