Browsing by Author "Aberkane Sofiane"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Contribution à la commande sous contraintes de temps des RGETC dans l’algèbre Max-plus.
    (Université Mouloud Mammeri, 2018) Aberkane Sofiane; Ouchene Celia; Kara Redouane
    Une classe de réseaux de Petri (RDP), permet de modéliser des phénomènes de synchronisations et de parallélisme et non le partage de ressource est les graphes d’événement temporisés (GET). Une approche de modélisation de réseaux de graphes d’événements temporisés en conflits (RGETC) est proposée dans [Mammeri et Al], nous développons des équations régissant l’évolution des RGETC. Nous considérons une séquence à respecter par mode, ou dans chaque mode au-moins un seul GET, pour aboutir à une proposition d’une loi de commande des RGETC dans l’algèbre (Max-plus), qui satisfait des contraintes de temps imposés sur les RGETC, des conditions nécessaires et suffisantes permettant de vérifier si la loi de commande par retour d’état ????(????)=???????? .????(????-1) , existent et qui assure la satisfaction des contraintes de temps. La loi de commande synthétisée peut être représentée par des places de contrôles connectées au réseau initial. Par la suite, nous avons appliqué le résultat de notre approche à la commande d’un croisement de lignes ferroviaires.
  • Thumbnail Image
    Item
    Contribution à la commande sous contraintes d’une classe de systèmes à événements discrets
    (FGEI-UMMTO, 2023-07-10) Aberkane Sofiane
    L'objectif de cette thèse consiste à modélisé et proposer des lois de commande par retour d'état pour les systèmes à événements discrets avec des ressources partagées, en utilisant l'algèbre Max-plus. Nous considérons la classe des Graphes d'événements temporisés avec conflit (RGETC), qui est une classe de réseaux de Petri, soumis à des contraintes temporelles strictes. Tout d'abord, une formalisation algébrique en termes de systèmes linéaires Max-plus à commutation est proposée pour décrire le comportement dynamique d'un RGETC. Des conditions suffisantes pour l'existence de lois de commande garantissant ces contraintes temporelles sont établies pour les deux cas de RGETC : les RGETCs complètement observables et les RGETCs partiellement observables. Les lois de commande calculées sont des gains de retour qui peuvent être représentes par des places de commande qui supervisent le franchissement du système afin d'empêcher la violation des contraintes temporelles. Afin d'illustrer l'approche suggérée et montrer l'efficacité des lois de commande développées, deux exemples d'application sont présentés.