Synthèse de superviseur basée sur les réseaux de Petri.
Loading...
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Mouloud Mammeri
Abstract
La théorie de la supervision des systèmes à événements discrets (SED) a été initiée par les travaux de Ramadge et Wonham, qui sont basés sur les modèles automates à états finis et les langages formels. Dans ce travail nous nous intéressons à la synthèse de contrôleur pour les systèmes à événements discrets modélisés par les réseaux de Petri. La notion de commande
par réseaux de Petri a été introduite par Krogh et Moalla dans l’objectif d’imposer au système des séquences d’événements désirées pour éviter des situations indésirables telles que les blocages. Une approche structurelle, basée sur les invariants de marquage dans un réseau de Petri a été introduite par Holloway et Krogh afin de garantir le respect des spécifications imposées. Il en résulte de cette approche des conditions d’autorisation de franchissement des transitions qui sont juste suffisantes.
Dans le cas ou toutes les transitions sont commandables, nous proposons une condition nécessaire et suffisante pour que le polyèdre des contraintes soit positivement invariant par rapport à l’évolution du marquage d’un réseau de Petri donné.
Description
93 f. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Invariance positive, Réseaux de Petri, Synthèse d’un superviseur, Systèmes à événements discrets
Citation
Option : Automatique des Systèmes Continus et Productiques