Précédent : Modélisation des systèmes industriels Remonter : Fondements scientifiques Suivant : Evaluation de performances des systèmes
Précédent : Modélisation des systèmes industriels
Remonter : Fondements scientifiques Suivant :
Evaluation de
performances des systèmes
Mots clés : Synthèse de commande, systèmes à événements discrêts, contrôleur, superviseur, réseaux de petri .
Participant : Gülgün Alpan-Gaujal.
La synthèse de commande consiste, partant d'une spécification de la structure et du comportement du système physique à contrôler et des objectifs à atteindre, à spécifier une politique de commande pour ce système et à générer le code du contrôleur[KG95]. Un contrôleur est un agent capable d'activer ou de désactiver les transitions contrôlables d'un système discret en fonction des occurrences d'événements survenant dans le système physique. Il a pour but de gérer l'évolution des occurrences de chaque processus et leur coordination. Le contrôleur peut avoir une structure hiérarchique assurant ainsi une fonction de commande globale et des fonctions de commande locales. Le nombre de niveaux dépend de la complexité du système à commander.
En théorie, plusieurs techniques ont été proposées pour la conception des contrôleurs. On peut utiliser les réseaux de Petri[ZD93,HK92], les réseaux conditions / événements[HR95], les langages formels ou l'approche de Ramadge & Wonham[RW87,RW89,BW94], les processus récursifs finis[IV88b] ou les logiques temporelles[OW90b,Ost89].
Dans MACSI, la synthèse de la commande des systèmes de production est envisagée pour des systèmes à événements discrets à partir d'une spécification obtenue suivant les principes des travaux de Ramadge et Wonham. En particulier, l'approche considérée est basée sur un modèle hybride qui cherche à combiner les avantages des réseaux de Petri et des langages formels, développée dans le cadre de la thèse de G. Alpan-Gaujal[Alp97].