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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01789948
Contributor : Hal Ifip <>
Submitted on : Friday, May 11, 2018 - 3:10:38 PM
Last modification on : Thursday, April 11, 2019 - 4:02:50 PM
Long-term archiving on : Monday, September 24, 2018 - 9:32:29 PM

File

339159_1_En_2_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

36

Files downloads

43