Projet : MISTRAL - mistral

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00066000000000000000" id= "SECTION00066000000000000000">Évaluation de différentes méthodes de localisation d'agents mobiles</a></h2>  <a name="MISTRAL_resultats_modelisation-agents-mobiles" id= "MISTRAL_resultats_modelisation-agents-mobiles"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Sara Alouf, Philippe Nain.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>agent/code mobile, chaînes de Markov .</i></p> <p>Pour assurer la communication avec un agent mobile, deux approches sont possibles, l'une centralisée et l'autre distribuée. Nous utilisons le formalisme des chaînes de Markov pour évaluer et comparer ces deux approches, l'objectif final étant d'identifier la meilleure approche pour un système réel donné. Pour ce faire, nous recherchons, pour chaque approche, les conditions de stabilité du système, puis nous évaluons le temps de localisation de l'agent. Ce travail est réalisé en collaboration avec Fabrice Huet, doctorant dans le projet OASIS. Dans l'approche centralisée, une chaîne de Markov à 22 états a été identifiée et résolue. La solution est obtenue sous forme explicite et fait appel au logiciel de calcul formel MAPLE. Des expérimentations sur un système réel, développé par Fabrice Huet, nous ont permis de valider notre modèle. Dans l'approche distribuée, nous établissons une formule close pour le temps de réponse du système. Des expériences sont en cours pour la validation de l'approche.</p> </body>