Please use this identifier to cite or link to this item:
Title: Relative Timed Model for Coordinated Multi Agent Systems
Authors: Layadi, Said 
Ilie, Jean-Michel 
Kitouni, Ilham 
Saidouni, Djamel Eddine 
Affiliations: Faculty of Information and Communication Technology (ICT) 
Faculty of Information and Communication Technology (ICT) 
Faculty of Information and Communication Technology (ICT) 
Keywords: Relative time rates;Timed automata with action durations;Region graph;Multi agent systems;Timed transport fleets
Date: May-2015
Publisher: Springer, Cham
Related Publication(s): Computer Science and Its Applications
Volume: 456
Conference: 5th IFIP International Conference on Computer Science and its Applications 
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.
DOI: 10.1007/978-3-319-19578-0_2
Appears in Collections:Conference Paper

Files in This Item:
File Description SizeFormat
Layadi2015_Chapter.pdf306.04 kBAdobe PDFView/Open

Show full item record

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.