offres d'emploi formations actualités contact accès annuaire intranet
Thèses >

Approche formelle et opérationnelle de la multi-modélisation et de la simulation de systèmes complexes

apports pour la simulation de systèmes multi-agents

Gauthier Quesnel - manuscrit

vendredi 1er décembre 2006 à 14h00


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 principale- ment 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 œ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.