Commande temps réel d’une classe de systèmes à événements discrets sous contraintes par l’algèbre des dioïdes
Loading...
Date
2017-11-02
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Mouloud Mammeri
Abstract
Dans ce travail, nous considérons une classe de systèmes à événements discrets modélisés par des graphes d’événements temporisés (GETs) soumise à des contraintes temporelles ou à des contraintes de marquage. Nous proposons deux approches de synthèse de lois de commandes garantissant le respect de ces contraintes. La première approche est dédiée au problème de commande des GETs soumis à des contraintes temporelles. L’approche est basée sur l’utilisation de l’algèbre Max-Plus pour la modélisation du comportement dynamique de GETs. Les contraintes temporelles sont représentées par des inégalités linéaires dans cette algèbre. La deuxième approche proposée, est dédiée à la commande des GETs sous contraintes de marquage. Cette méthode est basée sur l’utilisation de l’algèbre Min-Plus. Les spécifications de marquage sont traduites par des inégalités linéaires dans l’algèbre Min-Plus. Les commandes synthétisées son des retours d’état qui peuvent être représentés par des places de contrôle connectées au GET modélisant le système considéré. Les méthodes proposées sont illustrées par des exemples inspirés du l’industrie.
Description
97 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Algèbre Min-Plus, Algèbre Max-Plus, Contraintes de marquage, Contraintes temporelles, Contrôle, Graphe d’événements Temporisés (GETs), Systèmes à événements Discrets (SEDs)
Citation
Option : Automatique