The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Les réseaux de capteurs mobiles font leur apparition en informatique depuis plusieurs années. Les applications de ces réseaux sont nombreuses: environnementales, militaires, économiques, écologiques... Certaines caractéristiques de ces réseaux sont nouvelles et posent ainsi un défi pour les concepteurs d'algorithmes que nous sommes. Le modèle des protocoles de population [AAD+04] a été conçu pour représenter formellement les réseaux de capteurs constitués d'agents mobiles dont la mémoire est très limitée, sans aucun contrôle sur leur propre mouvement. Nous étendrons ce modèle en un modèle plus hétérogène dans lequel nous étudierons deux problèmes particuliers. Dans cet exposé je présenterai en effet mes résultats sur deux types d'algorithmes. Tout d'abord les 'algorithmes de comptage', permettant de compter le nombre d'agents présents dans le système alors que des fautes peuvent survenir. Puis, nous étudierons un raffinement de ce modèle, afin de prendre en compte la différence de vitesse entre les agents, dans lequel nous présenterons des 'algorithmes de collecte', permettant de rassembler les données mesurées par les différents agents du réseau.