Relative Timed Model for Coordinated Multi Agent Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Relative Timed Model for Coordinated Multi Agent Systems

(1) , (2, 3) , (1) , (1)


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.
Fichier principal
Vignette du fichier
339159_1_En_2_Chapter.pdf (550.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01789948 , version 1 (11-05-2018)


Attribution - CC BY 4.0



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⟩
76 View
83 Download



Gmail Facebook Twitter LinkedIn More