Browsing by Author "Tebani, Karima"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Commande des systèmes à événements discrets à temps critiques, application aux systèmes de commande en réseau
    (Université Mouloud Mammeri, 2012-10-10) Tebani, Karima
    Dans ce travail, nous calculons des lois de commande en boucle fermée pour satisfaire des contraintes temporelle dans une architecture d’automatisation distribuée en réseau. L’approche de commande utilisée, est appliquée sur un graphe d’événements temporisé qui modélise tous les composants de l’architecture. La dynamique du modèle de l’architecture est représentée par un système d’équations linéaires dans l’algèbre Min-plus et Max-Plus. Les contraintes temporelle à garantir sont exprimées par des inéquations Min-plus et Max-Plus. Les lois de commande calculées sont des feedbacks causaux qu’on peut représenter par des places de contrôle. Dans un premier temps nous considérons le cas simple d'un système avec un contrôleur et un seul module d’entrée / sortie. Après nous étendons la méthode une architecture plus générale avec plusieurs modules d’entrées/sorties.
  • Thumbnail Image
    Item
    Commande temps réel d’une classe de systèmes à événements discrets sous contraintes par l’algèbre des dioïdes
    (Université Mouloud Mammeri, 2017-11-02) Tebani, Karima
    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.