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

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.