Commande sous contraintes temporelles des réseaux de graphes d'événements temporisés en conflit

Sofiane Aberkane (1) , Redouane Kara (2) , Said Amari (3)

1 UMAOB - Université Mohamed Akli Ouelhadj de Bouira
2 UMMTO - Université Mouloud Mammeri [Tizi Ouzou]
3 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Dans ce papier, nous abordons le problème de modélisation et de commande des systèmesàévénements discrets avec des ressources partagées représentés par une classe particulière des réseaux de Petri temporisés. Précisément, nous considérons des Réseaux de Graphes d'Evénements Temporisés en Conflit (RGETC) soumisà des contraintes tem-porelles strictes. Premièrement, une formalisation algébrique en termes de systèmesà com-mutation Max-Plus est proposée pour décrire le comportement dynamique des RGETCs. Deuxièmement, des lois de commande en boucle fermée sont calculées pour garantir le respect de ces contraintes de temps imposéesà certaines places du réseau. Des conditions suffisantes pour l'existence de telles lois de commande ontété fournies. Finalement, nous appliquons les résultats théoriques développés précédemment pour contrôler un système ferroviaire de croisement de trainà temps critique.

Domaines: Informatique [cs]

Sofiane Aberkane, Redouane Kara, Said Amari. Commande sous contraintes temporelles des réseaux de graphes d'événements temporisés en conflit. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02432738⟩