Show all publications

Towards a Compositional Verification Approach for Multi-Agent Systems : Application to Platoon System

Download PDFDownload Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
In Proc. of First International workshop on Verification and Validation of multi-agent models for complex systems (V2CS), 2011.
This paper presents a methodology for the verification of reactive multi-agent systems (RMAS). High level of confidence about a safety execution is a must in such systems. For this reason, model-checking appear as an adequate tool to the verification of such models. However, model-checking can be confronted with the problem of huge state space exploration. To avoid this kind of inconvenience, it is possible to apply methods like abstraction or composition. This paper presents a compositional verification method adapted to a wide range of RMAS applications. This method is appropriate for the verification of some safety property. The application considered in this paper is a platoon with linear configuration. The safety property to be verified is the non collision between platoon vehicles. The SAL toolkit has been adopted as a verification tool, by applying SAL model checkers.
Multi-agent systems, Model-checking, Compositional verification, Platoon application
Publication Category:
International conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle Distribu√©es - Université Bourgogne Franche-Comté - Privacy policy