%0 Conference Proceedings
%T Relative Timed Model for Coordinated Multi Agent Systems
%+ Université de Constantine 2 Abdelhamid Mehri [Constantine]
%+ Université Pierre et Marie Curie - Paris 6 (UPMC)
%+ Université Paris Descartes - Paris 5 (UPD5)
%A Layadi, Said
%A Ilie, Jean-Michel
%A Kitouni, Ilham
%A Saidouni, Djamel-Eddine
%Z Part 1: Computational Intelligence–Meta-Heuristics
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 5th International Conference on Computer Science and Its Applications (CIIA)
%C Saida, Algeria
%Y Abdelmalek Amine
%Y Ladjel Bellatreche
%Y Zakaria Elberrichi
%Y Erich J. Neuhold
%Y Robert Wrembel
%I Springer International Publishing
%3 Computer Science and Its Applications
%V AICT-456
%P 15-27
%8 2015-05-20
%D 2015
%R 10.1007/978-3-319-19578-0_2
%K Relative time rates
%K Timed automata with action durations
%K Region graph
%K Multi agent systems
%K Timed transport fleets
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%2 https://inria.hal.science/hal-01789948/document
%2 https://inria.hal.science/hal-01789948/file/339159_1_En_2_Chapter.pdf
%L hal-01789948
%U https://inria.hal.science/hal-01789948
%~ UNIV-PARIS5
%~ UPMC
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-AICT-456
%~ IFIP-CIIA
%~ SORBONNE-UNIVERSITE
%~ UNIV-PARIS
%~ SU-TI
%~ ALLIANCE-SU