Gauthier Quesnel
Chargé de recherche à l'INRA,
dans le département Mathématiques et informatique
appliqueés
Docteur en informatique de l'Université du Littoral Côte d'Opale Laboratoire d'Informatique du
Littoral.
Le titre de ma thèse est :
Approche formelle et opérationnelle de la multi-modélisation et de la simulation des systèmes complexes.
Résumé :
Dans le cadre de la recherche scientifique, nous assistons depuis quelques années à un essor de la multi-modélisation, c'est-à-dire, l'utilisation de la combinaison de différents formalismes pour l'étude des systèmes complexes où l'informatique se présente comme l'un des supports théoriques ou opérationnels pour son développement. La problématique étudiée dans cette thèse découle de ces travaux. Nous étudions, en particulier, le couplage de modèles hétérogènes en utilisant la spécification à événements discrets de B. P. Zeigler, DEVS, Discrete EVent System specification. Nos travaux portent principalement sur les ajouts, à ce formalisme, d'outils aussi bien formels qu'opérationnels pour simplifier le couplage ou le développement de modèles. Nous étudions également la construction de plans d'expériences, le paramétrage de modèles et la distribution de simulation. De ces travaux sont nées des collaborations avec des laboratoires de biologie où la nécessité de la création d'une spécification formelle des Systèmes Multi-Agents, principalement centré individu, est apparue. Nous proposons cette spécification en nous basant sur les travaux de J. C. Soulié et les environnements multiples et R. Duboz pour le comportement des agents. L'ensemble des objets manipulés par les SMA est défini suivant une approche modulaire où chaque entité est spécialisée dans un domaine. Afin de mettre en \oe uvre tous les concepts étudiés dans cette thèse, une plate-forme logicielle VLE, Virtual Laboratory Environment, recouvrant tous les aspects de la multi-modélisation, a été développée. Cette plate-forme est développée suivant un principe de décomposition où chaque composant a une tâche spécifique : modélisation, simulation, analyse et la définition de plan d'expériences.
Vous pouvez télécharger ma thèse sous format PDF.Pour me contacter :
courriel : gauthier.quesnel@nospam@toulouse.inra.fr
IRC : freenode.org, salon #vle
icq : 123306655 (pour les nostalgiques)
|
Unite de Biometrie et Intelligence Artificielle |
Laboratoire d'Informatique du Littoral |
