Projet : MACSI - macsi

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00032000000000000000" id= "SECTION00032000000000000000">Synthèse de la commande des systèmes industriels</a></h2> <a name="MACSI_fondements_SCSI" id= "MACSI_fondements_SCSI"></a> <p><strong>Mots clés :</strong> <i>synthèse de commande, système à événements discrets, contrÔleur, superviseur, réseau de Petri .</i></p> <p><br /> <br /> <span class="textbf">Participants :</span> Gülgün Alpan-Gaujal, Nidhal Rezg, Murat Uzam, Xiolan Xie.<br /> <br /></p> <p>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[<a href= "bibliographie_Toc.html#bb23" target="contents">KG95</a>]. 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.</p> <p>En théorie, plusieurs techniques ont été proposées pour la conception des contrÔleurs. On peut utiliser les réseaux de Petri[<a href="bibliographie_Toc.html#bb24" target= "contents">ZD93</a>,<a href="bibliographie_ct.html#bb25" target="contents">HK92</a>], les réseaux conditions /événements[<a href="bibliographie_ct.html#bb26" target= "contents">HR95</a>], les langages formels ou l'approche de Ramadge et Wonham[<a href="bibliographie_ct.html#bb27" target="contents">RW87</a>,<a href= "bibliographie_ct.html#bb28" target= "contents">RW89</a>,<a href="bibliographie_ct.html#bb29" target="contents">BW94</a>], les processus récursifs finis[<a href="bibliographie_ct.html#bb30" target= "contents">IV88b</a>] ou les logiques temporelles[<a href= "bibliographie_Toc.html#bb31" target= "contents">OW90b</a>,<a href="bibliographie_ct.html#bb32" target="contents">Ost89</a>].</p> <p>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[<a href="bibliographie_Toc.html#bb33" target= "contents">Alp97</a>].</p> </body>