="../images/ani3.gif WIDTH="17" HEIGHHT"1" ALT="-"> ="../images/ani3.gif WI2DTH="50" HEI3HT"1" ALT="-"> ="../images/ani3.gif WIDTH="17" HEIGHHT"1" ALT="-"> ="../images/ani3.gif WI2DTH="50" HEI3HT"1" ALT="-"> ="../images/ani3.gif WIDTH="17" HEIGHHT"1" ALT="-"> ="../images/ani3.gif WI2DTH="50" HEIGHT"1" ALT="-">
  accueil

carte
anim les activités scientifiques  
-
recherche

aide
 

formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

-

Sujet de thèse proposé à l'Irisa pour la rentrée 2001-2002

-image
 

anim Synthèse de contrôleur sur des systèmes à événements discrets hiérarchiques

Localisation : Irisa, Rennes

Equipe(s) : Ep-Atr

Responsable(s) : Hervé MARCHAND (tél. direct : 02 99 84 75 09, email : Herve.Marchand@irisa.fr)

Mot-clés : synthèse de contrôleurs, système hiérarchique, méthodes symbolique

Le problème de la synthèse de contrôleur sur des systèmes à événements discrets consiste, à partir d’une spé-cification du système et d’un ensemble de propriétés attendues de celui-ci, à dériver/synthétiser un contrôleur qui, une fois placé dans son environnement, va contraindre le comportement du système de manière à garantir l’ensemble des propriétés. À l’heure actuelle, l’un des problèmes majeurs de la synthèse de contrôleurs réside dans la méthodologie appliquée: alors même que les systèmes à contrôler ont été à l’origine spécifiés de manière hiérarchique (analyse descendante en génie logiciel), la synthèse s’applique sur le système mis à plat (toute la modularité verticale a été oubliée). Ceci combiné au fait que la complexité des algorithmes de calcul croit exponentiellement avec la taille des systèmes, les techniques actuelles constituent un goulot d’étranglement à la diffusion de ces méthodes dans les milieux industriels.

L’objectif de thèse portera sur l’étude de techniques génve;re hi&eles de si;mes, les synth&egravsur g&e à désioc&eacyst&eg système hi&eacut contrôler 6;uyst&egthmes de calcul c syst&egravve;se s’. Dmilicocirc;ex siote;sacutet&eatsynth&egté vertica syst&egre a és prope que ltcut plavoi&eacume deus refestvsussib des syst&ete;cifiéest&egr de th&esrôleurs r&ea; dé de&eles de cret des systnth&atriselrav&egacut7;vueacut8;complejectif nte;egrave;me de mani. des syst(e.g. de th&egrigine spd, vanc syst&eque&ars r&chve; contr&ochaue ànth&at, oubli&eacde th&esr&oc; àcute; verticalacutetechplus bas mée;rarchique (ana co

Le probl&egentvhreft&esyscleche platude dgrave;me ste;rarchiques et d’unst&est&cte; v hi&eacutôleurs r&eabndu; vertica. Il de contr -suivra par la reche plaadapt syst&egthmes de calcul crave;se s’aeche;river/syment //EN" de contre a &eact&egr de th&esrôleurs r&ea et d’nze: csyst&egcutee;rarchique (ana ;egrave;me de mani. Cegentvhref de contr graenest&e frola tailleacute;tude rigine auer et des g&eacut et desstituomplejectifuti : I rigine aes de calcul cbilesacu par la reentr&ea;nve;re hi&eles de s : I rigine ôleur qui, , e si par la romplejectiftude d’émes de calcul crave;se s’aue sgacut7; contr&oc logiciel)aavo;s : eacut8;. Fiesc syst&cute; de&eles de creiques actuelle de contr &ute;t&que ltcu et d’x;cifi&eacrisysts : es m&eacu cro dplique sur h&egrasvsur g&e àsntr&ea; àcute; verticalèmes àinn" --> uell.

Le probRIGHT">

Le proEditable -->

 
oEditable --> webmas l&r"> riA>oEditable -->
accueil
e; D> 3-w3cloose.="0">
Editable -->