Séparation des états du graphe de marquages d'un réseau de Petri pour la commande par supervision des systèmes à événements discrets

Résumé : Le graphe de marquages est généralement de taille importante pour que l'on puisse identifier de manière simple et efficace l'ensemble des états adéquats pour la synthèse de supervision des systèmes à événements discrets. En outre, le problème d'explosion combinatoire inhérent à la théorie de supervision affecte les méthodes de synthèse s'appuyant sur le graphe de marquages. Parmi ces méthodes, la méthode des invariants de marquages qui est la plus utilisée ne peut garantir l'optimalité des résultats que si l'ensemble adéquat des contraintes linéaires liées aux états ou marquages interdits lui est fourni. Pour trouver un tel ensemble adéquat de contraintes, l'espace d'états du graphe de marquages du réseau de Petri modélisant le système à événements discrets doit être séparé. Cet article présente une approche de séparation des ensembles d'états interdits et d'états autorisés du graphe de marquages accessibles, représenté par sa matrice de fonction de transition codifiée. Cette séparation est définie par une fonction de décision qui caractérise l'ensemble des états-frontières ou critiques. Cet ensemble constitue l'hyperplan de séparation qui peut être utilisé pour déterminer de manière bijective les contraintes admissibles nécessaires à la synthèse de supervision par la méthode des invariants de marquages.
Type de document :
Pré-publication, Document de travail
2016
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01485637
Contributeur : Mohaman Gonza <>
Soumis le : jeudi 9 mars 2017 - 11:04:32
Dernière modification le : mardi 16 octobre 2018 - 01:16:00

Fichier

Séparationdesétatsdugraphede...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01485637, version 1

Collections

Citation

Mohaman Gonza, Laurent Bitjoka, Hassane Alla. Séparation des états du graphe de marquages d'un réseau de Petri pour la commande par supervision des systèmes à événements discrets. 2016. 〈hal-01485637〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

458