Les publications de Zeineb Graja :
Les livres
Aucun ouvrage lié à cet auteur.
Les articles
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs
Auteurs :
Zeineb Graja,
Frédéric Migeon,
Christine Maurel,
Marie-Pierre Gleizes,
Ahmed Hadj KacemLe développement de SMA auto-organisateurs manque encore de méthodes rigoureuses de vérification garantissant la robustesse et la résilience du système conçu. De telles assurances peuvent être obtenues grâce à l'application de méthodes formelles. Mais l'intégration de ces techniques de vérifications reste encore modeste due à la complexité liée à la dynamique des SMA auto-organisateurs qui fait émerger leur fonction globale. Dans cet article, nous explorons le potentiel des langages formels, en particulier B-événementiel et la logique TLA, pour prouver des propriétés liées à la robustesse. Nous supposons que ces propriétés pourront d'abord être observées au niveau global par simulation. Les techniques formelles nous permettront ensuite d'en faire la preuve. Notre travail est illustré par l'étude de cas des fourmis fourrageuses.
Article édité dans l’ouvrage
Auteur :
Collectif JFSMA
Contributeurs :
Pierre Cointe,
André Freyssinet,
José Halloy,
Kevin Darty,
Julien Saunier,
Nicolas Sabouret,
Kei-Leo Brousmiche,
Jean-Daniel Kant,
Nicolas Sabouret,
Stéphane Fournier,
François Prenot Guinard,
Kevin Chapuis,
Jean-Daniel Kant,
Marcio Fuckner,
Jean-Paul Barthès,
Philippe Mathieu,
Sébastien Picault,
Yann Secq,
Stéphane Galland,
Nicolas Gaud,
Sebastian Rodriguez,
Flavien Balbo,
Gauthier Picard,
Olivier Boissier,
Nassim Kaldé,
François Charpillet,
Olivier Simonin,
J. Ferber,
Julien Nigon,
Gautier Maillé,
T. Stratulat,
Emmanuel Hermellin,
Fabien Michel,
J. Ferber,
Flavien Balbo,
Mahdi Zargayouna,
Fabien Badeig,
Philippe Mathieu,
Yann Secq,
Z. Afoutni,
Rémy Courdier,
François Guerrin,
Zeineb Graja,
Frédéric Migeon,
Christine Maurel,
Marie-Pierre Gleizes,
Ahmed Hadj Kacem,
Teddy Bouziat,
Stéphanie Combettes,
Valérie Camps,
Pierre Glize,
F. Andriamasinoro,
V. Levorato,
K. Ben Salem,
Lilia Rejeb,
Medhedi Bedoui,
Xavier Serpaggi,
Amro Najjar,
Christophe Gravier,
Olivier Boissier,
Amine Louati,
J. El Haddad,
S. Pinson,
Lauren Thévin,
Fabien Badeig,
Julie Dugdale,
Olivier Boissier,
Catherine Garbay
Collection :
JFSMA
Rubrique :
Données – informatique – I.A. – IHM
Public concerné :
Spécialistes
Mots clés :
Informatique,
intelligence artificielle,
système multi-agent,
intelligence collective
Référence : 115416