Commande temps réel d’une classe de systèmes à événements discrets sous contraintes par l’algèbre des dioïdes

Loading...
Thumbnail Image

Date

2017-11-02

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