Rechercher

[Mar14] Contribution à la Modélisation et à la Vérification des Systèmes Multi Agents

Mémoire de Thèse : Soutenue le: 12 June 2014, pp. 172, pp.: Directeur: Kamel Barkaoui
Codirecteur: Nejib Ben Hadj Alouane
Rapporteur 1:Mohammed Moez Yeddes
Rapporteur 2: Bruno Monsuez
Membre du jury: Samira Si Saïd Cherfi
Membre du jury: Isabelle Wattiau
, : Contribution à la Modélisation et à la Vérification des Systèmes Multi Agents,

Mots clés: Réseaux de Petri (RdP) ; Systèmes Multi Agents (SMA) ; Interaction ; Approche formelle ; Réseau de Petri à Agent (RdPA).

Résumé: Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA). De nombreuses solutions ont été proposées pour remédier aux problèmes de communication, de coordination et d’interaction entre les Agents. Cependant, il n’existe aucune en mesure de traiter, à la fois les aspects structurels et comportementaux, du moins à notre connaissance. La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents. Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d’exprimer de manière consistante et plus précise les systèmes Multi Agents. Il s’intéresse de plus à l’extension de ce modèle aux fins de modéliser la migration des Agents dans le cadre des systèmes à Agents mobiles. Cette classe de modèle permet de s’intére Dim Lun Mar Mer Jeu Ven Sam 1 2 3 4 5 6 7 8 9 10 11 1sser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l’absence d’interblocage dans le cadre des Systèmes Multi-Agent.

Commentaires: Thèse cotutelle Cnam-Ensi

Equipe: vespa

BibTeX

@phdthesis {
Mar14,
title="{Contribution à la Modélisation et à la Vérification des Systèmes Multi Agents}",
author="B. Marzougui",
year=2014,
pages="172",
address="{CEDRIC Laboratory, Paris, France}",
note="{Thèse cotutelle Cnam-Ensi
Directeur: Kamel Barkaoui
Codirecteur: Nejib Ben Hadj Alouane
Rapporteur 1:Mohammed Moez Yeddes
Rapporteur 2: Bruno Monsuez
Membre du jury: Samira Si Saïd Cherfi
Membre du jury: Isabelle Wattiau
}",
}