Invitation à la soutenance de thèse de Nicolas Stefanovitch (vendredi 22 octobre 2010 à 10h, LIP6, salle 105)

Bonjour,

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

"Contributions à la résolution de problèmes d'optimisation de
contraintes distribuées dynamiques à l'aide de modèles graphiques pour
la coordination multiagents"

ainsi qu'au pot qui suivra.

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

La soutenance se déroulera ce vendredi (vendredi 22 octobre 2010) à
10h00 au LIP6, salle 105, barre 25-26 (1er étage). Accès au LIP6 :
http://www.lip6.fr/informations/comment.php

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

Les systèmes informatiques sont de plus en plus autonomes et couplés.
Le contrôle de leur comportement nécessite le développement
d'algorithmes dédiés prenant en compte simultanément les problèmes de
décision auxquels ceux-ci ont à faire face ainsi que l'architecture
distribuée sous-jacente de ces systèmes. Ce domaine est celui de la
coordination de systèmes multiagents.

Les systèmes multiagents sont persistants, ouverts et doivent gérer
des problèmes évoluant dynamiquement tout en garantissant leur
comportement dans un contexte opérationnel incertain. En tant que
système artificiel, il est souhaitable qu'une procédure de
coordination garantisse l'optimalité des décisions. En tant que
système réel, il est souhaitable qu'une solution soit trouvée le plus
rapidement possible. En tant que programme informatique distribué, il
est souhaitable que la procédure de coordination soit capable de
s'adapter à la modification dynamique du système ainsi que d'exploiter
le parallélisme.

Nous abordons le problème de la coordination multiagents modélisé en
tant qu'un problème d'optimisation de contraintes distribué dynamique
(DynDCOP), et où nous utilisons les modèles graphiques comme
mécanismes de base pour résoudre ceux-ci. Notre démarche consiste à
étendre ces approches pour les adapter aux contraintes d'exécution des
systèmes multiagents.

Nous proposons trois contributions. La première est un algorithme
approché avec garanties qui permet de réaliser un compromis
paramétrable entre optimalité et décentralisation de la résolution. La
seconde contribution est un algorithme adaptant la création du modèle
graphique aux ressources du système multiagents (structure du réseau
de communication, bande passante des liens de communication et vitesse
de calcul des agents) et à l'ordonnancement des calculs sur celui-ci.
Enfin dans notre troisième contribution nous proposons un algorithme
de clusterisation partielle paramétrable permettant, pour un temps
maximal d'inférence donné, d'exploiter à la fois la réactivité des
modèles graphiques cycliques et la qualité des solutions des modèles
graphiques acycliques.

====
Jury
====

- Philippe Mathieu, Professeur, Université de Lille 1 (rapporteur)
- Yann Chevaleyre, Professeur, Université Paris Dauphine (rapporteur)
- Patrice Perny, Professeur, Université de Paris 6 (examinateur)
- René Mandiau, Professeur, Université de Valenciennes (examinateur)
- Amal El Fallah Seghrouchni, Professeur, Université de Paris 6
(directice de thèse)

Cordialement,

Nicolas Stefanovitch