Skip to main content

Relative Timed Model for Coordinated Multi Agent Systems

  • Conference paper
  • 1228 Accesses

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT,volume 456)


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.


  • Relative time rates
  • Timed automata with action durations
  • Region graph
  • Multi agent systems
  • Timed transport fleets


  1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183–235 (1994)

    Google Scholar 

  2. Kitouni, I., Hachichi, H., Bouaroudj, K., Saidouni, D.E.: Durational Actions Timed Automata: Determinization and Expressiveness. International Journal of Applied Information Systems (IJAIS) 4(2), 1–11 (2012); Published by Foundation of Computer Science, New York, USA

    Google Scholar 

  3. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems 14, 25–59 (1987)

    CrossRef  Google Scholar 

  4. Courtiat, J.P., Saidouni, D.E.: Relating Maximality-based Semantics to Action Refinement in Process Algebras. In: Proceedings of FORTE 1994, pp. 293–308. Chapman and Hall (1995)

    Google Scholar 

  5. Lenzen, C., Locher, T., Wattenhofer, R.: Tight bounds for clock synchronization. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, pp. 46–55 (2009)

    Google Scholar 

  6. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: IEEE European Dependable Computing Conference (EDCC), pp. 156–161 (2012)

    Google Scholar 

  7. Guellati, S., Kitouni, I., Matmat, R., Saidouni, D.-E.: Timed Automata with Action Durations - From Theory to Implementation. In: Dregvaite, G., Damasevicius, R. (eds.) ICIST 2014. CCIS, vol. 465, pp. 94–109. Springer, Heidelberg (2014)

    CrossRef  Google Scholar 

  8. Corchuelo, R., Arjona, J.L.: A top down approach for MAS protocol descriptions. In: Proceedings of the 2003 ACM Symposium on Applied Computing, pp. 45–49 (2003)

    Google Scholar 

  9. Graja, Z., Migeon, F., Maurel, C., Gleizes, M.-P., Kacem, A.H.: A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 40–57. Springer, Heidelberg (2014)

    CrossRef  Google Scholar 

  10. Bouyer, P., Laroussinie, F.: Model Checking Timed Automata. In: Modeling and Verification of Real-Time Systems, pp. 111–140. ISTE Ltd. John Wiley & Sons, Ltd. (2008)

    Google Scholar 

  11. Chaouche, A.-C., El Fallah Seghrouchni, A., Ilié, J.-M., Saïdouni, D.E.: A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. In: Kowalczyk, R., Nguyen, N.T. (eds.) TCCI XVI. LNCS, vol. 8780, pp. 146–169. Springer, Heidelberg (2014)

    CrossRef  Google Scholar 

  12. Layadi, S., Kitouni, I., Belala, N., Saidouni, D.E.: About Decidability of Dynamic Timed Automata with Relative Time Rates. Submitted in: IGI-Global International Journal of Embedded and Real-Time Communication Systems, IJERTCS (2014)

    Google Scholar 

  13. Dima, C., Lanotte, R.: Distributed time-asynchronous automata. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 185–200. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  14. Akshay, S., Bollig, B., Gastin, P., Mukund, M., Kumar, K.N.: Distributed Timed Automata with Independently Evolving Clocks. Fundamenta Informaticae 130(4), 377–407 (2014)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Said Layadi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 IFIP International Federation for Information Processing

About this paper

Cite this paper

Layadi, S., Ilie, JM., Kitouni, I., Saidouni, DE. (2015). Relative Timed Model for Coordinated Multi Agent Systems. In: Amine, A., Bellatreche, L., Elberrichi, Z., Neuhold, E., Wrembel, R. (eds) Computer Science and Its Applications. CIIA 2015. IFIP Advances in Information and Communication Technology, vol 456. Springer, Cham.

Download citation

  • DOI:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19577-3

  • Online ISBN: 978-3-319-19578-0

  • eBook Packages: Computer ScienceComputer Science (R0)