Soutenance de thèse de Rogovchenko Olena

Bonjour,

C'est avec le plus grand plaisir que je vous invite à la soutenance
de ma thèse intitulée "Abstractions for time and resource conscious
composition in the context of distributed autonomous robotic systems"

===========
Date et lieu
===========

Vendredi 03 Décembre à 9 heures 30 dans la salle 101, couloir 25/26.

Vous êtes également invités au pot qui suivra.

===========
Résumé
===========

Space exploration, military, rescue robots; as autonomous robots
target a larger spectrum of ever more involving missions, that require
autonomy and coordination among various autonomous robots, control
architectures become very complex software systems that intertwine
high-level computation-intensive tasks such as planning and building
maps, with lower-level ones, triggering responses on actuators from
readings on sensors that have stringent real-time constraints. Yet,
as in other areas of software development, the time-to-market forces
the adoption of fast and efficient methodologies.
Our goal is to propose a new component model adapted to autonomous
robotics that tackles these issues. We want our model to allow
programmers to explicitly express all of the synchronization,
time-related and resource usage constraints on atomic computational
elements in a declarative way, to abstract themselves away from
low-level operational considerations, often known only at
deployment-time. Such an approach requires a set of abstractions that
capture all the aspects of a robotic architecture and that can be used
to incrementally build complex architectures through composition, all
the while respecting the individual constraints of the abstractions
and the global constraints of the system. This thesis aims to provide
solid foundations for the development of such abstractions, by
defining the set of properties that capture the needs of the component
in terms of time and resources and by showing how these properties can
be used for the verification and construction of component assemblies
that conform to the systems constraints.

====
Jury
====

Rapporteurs :
Mireille Blay-Fornarino -Laboratoire I3S (Nice)
Christophe Dony - LIRMM (Montpellier)
Directeur :
Jacques Malenfant - LIP6
Examinateurs :
David Brugali - Université de Bergame (Italie)
Ivica Crnkovic - Université de Mälardalen (Suède)
Michèle Soria - LIP6

========
Accès
========

LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php

Cordialement,

Rogovchenko Olena

Soutenance de thèse de Thomas Génin

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :

"Stratégies de formation de coalitions dans les systèmes multi-agents"

============
Date et lieu
============

La soutenance se déroulera vendredi 26 novembre 2010 à 14h00 au LIP6,
salle 105, couloir 25-26 (1er étage).

Vous êtes également invités au pot qui suivra.

======
Résumé
======

Le travail présenté dans cette thèse s'inscrit dans le cadre des
systèmes multi-agents composés d'agents égoïstes, évoluant de manière
autonome et guidés par leurs propres objectifs à atteindre. Un agent
égoïste peut décider d'évoluer seul, sans coopérer avec les autres
agents. Il existe cependant des situations dans lesquelles une telle
évolution individuelle rend impossible l'atteinte de ces objectifs,
par manque de ressources, d'expertise ou de temps. Dans de tels cas,
la coopération de plusieurs agents par formation de groupes d'intérêts
communs (coalitions), et la mise en commun de leurs ressources, permet
une réalisation collective des objectifs. Les agents possédant des
préférences différentes sur les objectifs à atteindre, il est souvent
difficile de trouver des partenaires intéressés par la coopération.
Dans le cadre de ce travail, nous nous sommes intéressés au contexte
des jeux hédoniques et aux domaines orientés tâches. Nous avons
proposé différentes stratégies comportementales permettant à des
agents d'évoluer de manière autonome. Nous avons développé des
stratégies de proposition de coalitions fondées sur les négociations
antérieures et permettant de guider la génération des propositions.
Nous avons développé des stratégies d'acceptation de propositions
basées sur le compromis. Ces stratégies ont été étudiées de manière
expérimentale sur un système réalisé sur la plateforme JADE. Nous
avons également effectué, une analyse théorique de ces stratégies dans
le cadre des jeux hédoniques. Nous avons montré qu'une garantie de
qualité des solutions, ne peut être obtenue qu'en contraignant de
manière forte les comportements individuels des agents.

====
Jury
====

Samir AKNINE, Professeur à l'Université Claude Bernard Lyon 1
(Directeur de thèse)
Philippe MATHIEU, Professeur à l'Université Lille 1 (Rapporteur)
Suzanne PINSON, Professeur à l'Université Paris-Dauphine (Rapporteur)
Amal EL FALLAH SEGHROUCHNI, Professeur à l'Université Pierre et Marie
Curie (Examinateur)
Salima HASSAS, Professeur à l'Université Claude Bernard Lyon 1 (Examinateur)
Abdel-Illah MOUADDIB, Professeur à l'Université de Caen
Basse-Normandie (Examinateur)

========
Accès
========

LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php

Cordialement,

Thomas Génin

Soutenance de thèse de Bassel Habib

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"CYBERNARD : un système de découverte autonome qui reconstruit
rationellement la démarche empirique de Claude Bernard en modélisant ses
expérimentations basées sur des résultats réels"

La soutenance se déroulera le :

==========
Vendredi 26 Novembre à 14h00 au Site Jussieu : Salle 211 - Tour 55-65.
==========

Vous êtes également invités au pot qui suivra au LIP6 - Site Jussieu :
Salle 101 - Couloir 26-00.

=========
Résumé
=========

Une Découverte est, de manière générale, l'action de trouver ce qui
n'était pas connu auparavant. Dans le domaine des sciences, on parle
évidemment d'une Découverte Scientifique. Le domaine de la Découverte
Scientifique en Intelligence Artificielle (IA) est un domaine à part
entière qui porte sur le développement des systèmes intégrés et autonomes
pour la découverte scientifique. Plusieurs sous-domaines de l'IA étudient
des problématiques qui peuvent être reliées à la question plus générale de
la découverte scientifique. C'est le cas, par exemple, des systèmes
experts et des systèmes de fouilles de données qui permettent de
construire des programmes de découverte en utilisant les techniques de la
résolution de problèmes.

Dans ce contexte, plusieurs familles de systèmes ont vu le jour depuis la
naissance du domaine de la découverte scientifique en IA. Au cours de
cette thèse, nous avons construit un système de découverte autonome basé
sur des données issues des expérimentations réelles faites par Claude
Bernard. Ce système, nommé CYBERNARD, reconstruit rationnellement la
démarche empirique de ce dernier en modélisant ses expérimentations basées
sur des résultats réels.
Dans le cas du système CYBERNARD, le rôle de la machine est de simuler les
expérimentations réalisées par Claude Bernard pour obtenir des expériences
virtuelles à la sortie du système. Le système est ajusté jusqu'au moment
où les expériences virtuelles correspondent à celles réalisées par Claude
Bernard lui-même dans le but de vérifier les hypothèses inférées.

Les étapes qui ont constitué la construction du système CYBERNARD
commencent par l'étude épistémologique des manuscrits de Claude Bernard
jusqu'à la construction d'un modèle informatique modélisant une partie de
son processus de découverte. Au cours de l'étude épistémologique, nous
avons étudié les modes d'inférence utilisés dans la démarche empirique
de Claude Bernard et représenté les connaissances contenues dans ses
manuscrits (ontologie, expériences) de façon à faciliter l'utilisation des
ces connaissances dans notre modèle informatique : le laboratoire virtuel.
Ce laboratoire virtuel est l'environnement dans lequel la simulation des
expériences de Claude Bernard est proposée à l'utilisateur. Le but de ce
laboratoire est de faire des expériences virtuelles pour les comparer avec
les expériences réelles faites par Claude Bernard. Nous proposons un
laboratoire virtuel qui contient des modèles noyaux (des organismes
virtuels construits selon les hypothèses de Claude Bernard et sur lesquels
ses expériences sont faites) et des opérateurs paramétrés} (des opérateurs
tirés des descriptions d'expériences dans les écrits de Claude Bernard).
Enfin, nous validons notre approche sur des scénarios tirés des
expériences de Claude Bernard.

========
Jury
========

- Pr. Claude Debru - ENS (Examinateur)
- Pr. Jean-Gabriel Ganascia - LIP6 (Directeur de thèse)
- Pr. Jean-Marc Labat - LIP6 (Examinateur)
- Pr. Lorenzo Magnani - Univ. Pavia (Rapporteur)
- Pr. Jean Sallantin - LIRMM (Rapporteur)

========
Accès
========

LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php

Bien cordialement,
Bassel Habib

Soutenance de thèse de Nicolas Widynski

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Intégration d'informations spatiales floues dans un filtre particulaire
pour le suivi mono- et multi-objets dans des séquences d'images 2D" qui se
déroulera le vendredi 26 novembre 2010 à 14h en Amphi Opale, à Télécom
ParisTech, 46 rue Barrault, 75013 Paris devant le jury composé de :

Rapporteurs :
Mylène Masson (Professeur, UTC)
Wojciech Pieczynski (Professeur, Télécom SudParis)

Examinateurs :
Elise Arnaud (Maître de Conférence, Université Joseph Fourier)
Maurice Milgram (Professeur, ISIR)

Invité :
Jacques Blanc-Talon (Ingénieur de recherche, DGA)

Directrices de thèse :
Séverine Dubuisson (Maître de Conférence, LIP6)
Isabelle Bloch (Professeur, Télécom ParisTech)

La soutenance sera suivie d'un pot en salle C48 auquel vous êtes
chaleureusement conviés.

Cordialement,

Nicolas Widynski


***************************
Résumé :

Dans cette thèse, nous nous intéressons au suivi d'objets par filtrage
particulaire dans des séquences d'images 2D.

Dans ce contexte, nous proposons une méthode originale d'intégration
d'informations floues dans le filtre particulaire, afin de guider le suivi
d'objets en ajoutant des informations spatiales, qui peuvent être de type
structurel ou de forme. Cela permet de mieux guider les particules pendant
la phase prédictive, et grâce au modèle hybride défini, d'intégrer au
filtre particulaire une information synthétisée des k dernières
estimations ainsi que la dernière observation.

Nous proposons également d'intégrer des contraintes spatiales floues dans
le filtre particulaire dans le cas multi-objets. Ce type d'information
permet de représenter des contraintes complexes entre plusieurs objets.
A cette contribution, nous ajoutons celle d'un nouveau modèle de filtre
particulaire pour le suivi multi-objets, qui est une amélioration de
l'échantillonnage partitionné.


Enfin, nous proposons de définir des vraisemblances à modèles multiples.
Cette notion est adaptée lorsque l'objet change d'apparence au cours du
temps. En définissant la vraisemblance par une loi de mélange dont les
poids dépendent de l'objet et de l'image, il est ainsi possible de
pondérer les vraisemblances en considérant l'état dans lequel se trouve
l'objet.

Toutes ces contributions ont été évaluées sur des séquences réelles, et
les résultats montrent l'apport des approches proposées par rapport à
d'autres filtres particulaires classiques.

--

Séverine Dubuisson
Enseignant-Chercheur
Laboratoire d'Informatique de Paris 6 (LIP6)
104 avenue du Président Kennedy 75016 Paris, Bureau 702
Tel.: +33 (0)1 44 27 71 29   Fax: +33 (0)1 44 27 74 95
http://lip6.fr/Severine.Dubuisson

Soutenance de thèse de Cédric Guéguen (Mardi 16 novembre 2010 à 14h30, au LIP6, salle 101)

Bonjour,

C'est avec un très grand plaisir que je vous invite à ma soutenance de
thèse intitulée :

"Allocation de ressources dans les réseaux sans fil à large bande
multi-porteuses".

Celle-ci se déroulera le mardi 16 novembre 2010 à 14h30, au LIP6 salle
101 (barre 25-26).

http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/campus_jussieu2.html

Vous êtes également tous conviés au pot qui suivra salle 101 (barre 26-00).

=========
Résumé
=========

Avec l'essor des services multimédia, garantir une réelle qualité de
service est devenu une des grandes priorités de la nouvelle génération
de réseaux sans fil. Cela implique que les algorithmes d'allocation de
ressources soient capables d'assurer à la fois une équité élevée entre
utilisateurs, quels que soient leurs types de trafic et leur mobilité
dans la cellule, une différenciation de service efficace et la
maximisation du débit global du système.

Dans ce contexte, nos premiers travaux ont porté sur le développement
d'un nouveau système de mesure de la qualité de service dans les
réseaux multimédia. Ce système permet de comparer, sur une même
échelle de valeur, la qualité de service procurée à chaque utilisateur
lorsque les types de trafic transmis sont fortement hétérogènes et
d'évaluer efficacement les performances des algorithmes d'allocation
de ressources.

De là, nos travaux se sont focalisés sur ce qui constitue la
contribution majeure de cette thèse, à savoir proposer de nouveaux
algorithmes plus efficaces adaptés à une couche physique utilisant la
modulation OFDM (Orthogonal Frequency Division Multiplexing). En
effet, dans les réseaux sans fil, en raison du phénomène
d'affaiblissement multi-trajets, les utilisateurs ne peuvent pas tous
bénéficier d'une même capacité de transmission/réception même s'ils
occupent la même position et utilisent la même fréquence à un instant
donné. Déjà implémenté dans les systèmes 802.11a/g et 802.16, l'OFDM
permet une transmission sur plusieurs fréquences en parallèle. Le
principe de nos algorithmes est donc d'exploiter ces dernières de
manière opportuniste afin de les allouer à l'utilisateur qui en tirera
à un instant donné le meilleur profit. Dans ce cadre, trois
ordonnanceurs ont été développés dans une approche inter-couches. Ils
tiennent compte à la fois de paramètres issus de la couche physique
comme les débits possibles associés à chaque couple
utilisateur/fréquence mais aussi des contraintes applicatives telles
que le taux de perte de paquets, le taux d'erreur par bit, le retard
maximum admissible... Grâce à un système de priorités dynamiques entre
les différents utilisateurs qui tire avantage de la diversité
temporelle, fréquentielle et multi-utilisateurs, la capacité du réseau
est ainsi maximisée tout en assurant un haut niveau de qualité de
service égal pour tous, ce qui permet d'assurer la gestion efficace
des flux multimédia dans les réseaux sans fil actuels et futurs.

=========
Mots-Clés : ``Orthogonal Frequency Division Multiplexing" (OFDM),
Ordonnancement opportuniste, Approche inter-couches, Diversité
multi-utilisateurs, Multimédia, Qualité de Service, Equité,
Différenciation de service, Affaiblissement de propagation,
Atténuation liée aux multi-trajets.
=========

========
Jury
========
Isabelle Guérin Lassous, Professeur à l'Université Claude Bernard –
Lyon I (Rapporteur)
Thierry Turletti, Chercheur à l'INRIA Sophia Antipolis (Rapporteur)

André-Luc Beylot, Professeur à l'INPT/ENSEEIHT – Toulouse (Examinateur)
Sébastien Tixeuil, Professeur à l'UPMC Sorbonne Universités (Examinateur)

Serge Fdida, Professeur à l'UPMC Sorbonne Universités (Directeur)
Sébastien Baey, Maître de Conférences à l'UPMC Sorbonne Universités
(Encadrant)
========

Cordialement,

Cédric Guéguen

Soutenance de thèse Alix Mougenot

Bonjour à toutes et à tous.

Après trois ans parmi vous,
le jour est enfin venu pour moi de venir polluer vos boites au lettres
avec mon mail d'invitation !
Je vous annonce donc, non sans émotions, la venue de ma soutenance de
thèse.

Intitulé: Praxis: Detection des incoherences dans les modeles repartis.
(On parlera de génie logiciel et un peu de systèmes répartis)

Date: 19/11 à 10h.
Lieu: Jussieu, salle 25/26 105.

Orateur: Alix Mougenot: http://www.mendeley.com/profiles/alix-mougenot/

Résumé:
Les projets logiciels de taille industriels sont
développés par centaines de développeurs travaillant sur des centaines
de modèles de différents types (e.g. SysML, UML, Petri nets, workflow
and business process). De plus, les procédés de développement centrés
sur la modélisation demandent de plus en plus d'itérations avant
l'obtention des modèles correctement implémentés. La complexité
intrinsèque de ces modèles couplés au fait qu'ils soient souvent
maintenus par des développeurs différents est une source d'incohérences.
Le problème étant que même la plus petite des incohérences peut
engendrer l'échec de la modélisation. Sous de telles conditions, la
détection des incohérences, qui consiste à analyser les modèles pour
trouver ces configurations non souhaitables, gagne une importance toute
particulière.

Cette thèse traite le problème de la détection des incohérences lors du
développement collaboratif des modèles. Notre approche, Praxis,
représente les modèles par une séquence d'actions unitaires le
construisant. Cette représentation séquentielle peux représenter de
façon uniforme n'importe quelle instance de métamodèle, permettant de
détecter des incohérences entre des modèles de différentes natures.
Praxis exploite cette représentation pour rendre la détection
d'incohérence incrémentale. Cette détection incrémentale est
suffisamment efficace pour tourner en tache de fond d'un éditeur de
modèle, donnant ainsi un retour instantané au développer du modèle.
Praxis est également à la base d'un protocole pair-à-pair pour l'édition
collaborative de modèles. Ce protocole utilise les actions unitaires de
Praxis pour la communication entre les sites d'édition. Praxis propose
également un détecteur d'incohérence réparti qui utilise le protocole
pair-à-pair. Ce détecteur réparti a pour but de détecter les
incohérences parmi les modèles édités collaborativement.

Les performances de Praxis ont étés validées grâce à une benchmark
basé à la fois sur des données venant d'un cas d'étude et sur des
données provenant d'un générateur de modèles mathématiquement fondé. Les
tests utilisés pour la benchmark utilisent 56 règles représentatives
provenant de la spécification d'UML, ainsi qu'un ensemble de modèles UML
contenant 1 400 modèles de classe. La validation a montré que Praxis
est efficace et peux prendre en charge de très gros modèles.

Rapporteurs: Mireille BLAY-FORNARINO Jacky ESTUBLIER
Membres du jury:
Marie-Pierre GERVAIS
Mireille BLAY-FORNARINO
Xavier BLANC
Jean-Marc JEZEQUEL
Jacky ESTUBLIER
Olivier DEFOUR
Fabrice KORDON

Je profites de ce mail pour remercier tout ceux qui, au labo, ont été là
pendant la thèse. Les encadrants, les collaborateurs, les collègues
d'enseignement, les voisins de bureaux, les administratifs, les admins, et
ceux que j'oublie.

Soyez les bienvenu à la soutenance, mais aussi au pot qui en suis (surtout
au pot).

Alix Mougenot.