LogoLogo

Stuker, Simon. Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente

Stuker, Simon (2014). Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente.

[img]
Preview
PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
15Mb

Résumé en francais

Dans cette thèse, nous nous intéressons à l'étude formelle des systèmes multi-agents à fonctionnalité émergente. Ces systèmes ont la particularité d'être formés d'un grand nombre d'entités, appelées agents, dotés d'objectifs individuels et disposant généralement de capacités de perception, de raisonnement et d'action limitées. Le fonctionnement global du système émerge de leurs interactions. Dans de nombreuses applications ces systèmes ont montré des propriétés globales intéressantes, comme la convergence rapide vers un régime intéressant ou la stabilité autour de ce régime. L'objectif de cette thèse est d'utiliser des méthodes mathématiques pour démontrer et explorer ces propriétés de manière formelle. Une étape importante dans cette démarche est la recherche des méthodes mathématiques les plus adéquates pour étudier les systèmes multi-agents. Les qualités et limites de divers modèles pertinents sont analysées, et aboutissent à l'étude approfondie des processus décisionnels Markoviens et leurs variantes multi-agents, d'une part, et des méthodes à champ moyen d'autre part. Ensuite, nous nous intéressons à des systèmes localisés et dérivons rigoureusement un modèle continu. À l'aide d'outils d'analyse mathématique nous établissons des propriétés dynamiques, à savoir la convergence vers un équilibre intéressant et la stabilité de cet équilibre. Ce raisonnement est ensuite prolongé à un système localisé bien connu dans le domaine des systèmes multi-agents, la collecte de ressources, et permet d'illustrer un phénomène intéressant à l'aide de simulations numériques.

Sous la direction du :
Directeur de thèse
Couveignes, Jean-Marc
Adreit, Françoise
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Systèmes multi-agents - Systèmes complexes - Modélisation formelle de systèmes multi-agents - Vérification et validation des systèmes multi-agents - Simulation multi-agents
Sujets :Mathématiques
Déposé le :20 Apr 2015 17:06