Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning - Archive ouverte HAL
Conference Papers Year : 2011

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

Arnaud Lanoix
Alexis Scheuer
  • Function : Author
  • PersonId : 830058

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00663353 , version 1

Cite

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⟩
511 View
152 Download

Share

More