Informatique

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

Publié le - MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France

Auteurs : Sofiane Aberkane, Redouane Kara, Said Amari

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.