Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning

Arnaud Lanoix
Alexis Scheuer
  • Fonction : Auteur
  • PersonId : 830058

Résumé

This paper addresses the formal specification and verification of situated Multi-Agent Systems (MAS) that can be formulated within the Influence/Reaction model as proposed in 1996 by Ferber \& Muller. In this model, our objective is to prove the correctness of reactive MAS with respect to a certain formal specification or property, using formal methods. This is an important step to bring MAS to high quality standards as required for critical applications encountered in domains such as transport systems. A generic B representation of systems instantiating the Influence/Reaction model is proposed, using patterns of specification. We illustrate our approach with a MAS to control unmanned land vehicles to form a platoon. The papers ends with considerations about further improvements of the framework, involving simulation and study of the properties of the system.
Fichier principal
Vignette du fichier
v2cs2011.pdf (1.07 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00663353 , version 1 (26-01-2012)

Identifiants

  • HAL Id : hal-00663353 , version 1

Citer

Olivier Simonin, Arnaud Lanoix, Alexis Scheuer, François Charpillet. Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning. V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p. ⟨hal-00663353⟩
475 Consultations
127 Téléchargements

Partager

Gmail Facebook X LinkedIn More