Synthèse de superviseur basée sur les réseaux de Petri.

Loading...
Thumbnail Image

Date

2012

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