lundi 1 décembre 2008

Soutenance de thèse de Thomas BEGIN (LIP6=?iso-8859-1?Q?= 2C_vendredi_5_d=E9cembre_10h30=2C_Salle_549?=)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modélisation et Calibrage Automatiques de Systèmes"
qui aura lieu le vendredi 5 décembre à 10h30 en salle 549 (5ème étage) au
Laboratoire d'Informatique de Paris 6 (LIP6), situé au 104 avenue du
Président Kennedy, 75016 Paris (Plan d'accès disponible à :
http://www.lip6.fr/fr/informations/comment.html) ainsi qu'au pot qui
suivra en salle 550.

Composition du jury :

M. Raymond MARIE, Professeur à l'Université Rennes 1, (Rapporteur)
M. Philippe NAIN, Directeur de Recherche à l'INRIA (Rapporteur)
M. Alexandre BRANDWAJN, Professeur à l'Université de Californie Santa Cruz
(Examinateur)
M. Philippe CHRETIENNE, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
M. Bernd WOLFINGER, Professeur à l'Université de Hambourg (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Directeur)
M. Bruno BAYNAT, Maître de Conférence à l'Université Pierre et Marie Curie
(Co-Encadrant)


Résumé :

Cette thèse s'intéresse au calibrage et à la génération automatiques de
modèles.
Une nouvelle méthode de modélisation, nommée HLM ("High Level Modeling")
est proposée afin de permettre la modélisation rapide et automatique de
systèmes opérationnels de type "boîte noire" pour lesquels on dispose
uniquement de mesures. Son principe consiste à rechercher parmi un
ensemble présupposé de modèles génériques si, une fois correctement
calibré, l'un d'eux permet de reproduire le comportement d'entrée/sortie
du système tel qu'il est décrit par les mesures. La méthode HLM comprend
la description (1) de modèles classiques de type file d'attente ainsi que
des modèles plus originaux et (2) d'une méthode de calibrage automatique
permettant de déterminer les paramètres d'un modèle de type file d'attente
à partir de mesures. La recherche du calibrage est formulée comme un
problème d'optimisation numérique pour lequel un algorithme de recherche
efficace de type "Derivative Free Optimization" est proposé. Des exemples
d'applications de la méthode HLM sur des systèmes réels et variés sont
présentés.
Enfin, une partie de cette thèse concerne l'influence que peuvent avoir
les propriétés distributionnelles d'ordre supérieur sur les performances
de files classiques de la théorie des files d'attente.

Mots clés :
Modélisation; Calibrage; Automatique; Boîte Noire; Files d'attente;
Moments d'ordre supérieur

Bien cordialement,

Thomas

Aucun commentaire: