HAL : hal-00663353, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, France (2011)

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

Olivier Simonin (  Auteur correspondant ) 1, Arnaud Lanoix 2, Alexis Scheuer 1, François Charpillet 1

(2011)

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.

1 :	MAIA (INRIA Lorraine - LORIA)
	INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
2 :	Laboratoire d'Informatique de Nantes Atlantique (LINA)
	CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes

Domaine

:

Informatique/Génie logiciel Informatique/Système multi-agents

hal-00663353, version 1

http://hal.archives-ouvertes.fr/hal-00663353

oai:hal.archives-ouvertes.fr:hal-00663353

Contributeur : Arnaud Lanoix <>

Soumis le : Jeudi 26 Janvier 2012, 17:26:58

Dernière modification le : Vendredi 10 Février 2012, 16:15:45