Skip to Main content Skip to Navigation
Conference papers

Relative Timed Model for Coordinated Multi Agent Systems

Abstract : The MAS engineering is becoming very important, it is concerned with models, methods and tools. Therefore, verifying the correctness of MAS is the next challenge. We are interested by MAS where each participating agent has its own physical clock of varying frequency, while no global clock is available or desirable. Under such circumstances models must be adapted. In this paper we attempt a novel approach to model the MAS, with a respect of two characteristics, the concurrent aspect and heterogeneity of agents (perceived as a different time rates of agents plan execution). Timed automata with action durations are used; for the circumstance it’s extended to deal with relative time rates. Its semantic is abstracted by a novel equivalence relation leading to a region automaton for decidability assessment and proof.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, May 11, 2018 - 3:10:38 PM
Last modification on : Wednesday, December 9, 2020 - 3:16:01 PM
Long-term archiving on: : Monday, September 24, 2018 - 9:32:29 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Said Layadi, Jean-Michel Ilie, Ilham Kitouni, Djamel-Eddine Saidouni. Relative Timed Model for Coordinated Multi Agent Systems. 5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.15-27, ⟨10.1007/978-3-319-19578-0_2⟩. ⟨hal-01789948⟩



Record views


Files downloads