Modeling Multi-agent Logistic Process System using Hybrid Automata

Ammar Mohammed, Ulrich Furbach

Abstract

Multi-agent systems are a widely accepted solution to handle complex problems. One application of multi-agent system is autonomous logistics. In autonomous logistic processes, potentially every element in a logistic supply chain is modeled as cooperating software agent. Thus, there exist modeling languages that are used to model such multi-agent systems. However, these modeling languages do not allow verifying the properties of systems. Hybrid automata can be used to model hybrid systems by capturing both discrete and continuous changes of a system. Fortunately, hybrid automata are equipped with formal semantics that make formal methods possible to apply to them in order to prove certain properties of the specified systems. In this paper, we model multi-agent system behaviors in autonomous logistic processes using the concept of hybrid automata. With the help of model checking techniques, we can prove some properties of a modeled system before involving in the implementation of a system.

References

  1. Bauer, B., Muller, J., and J. Odell.: Agent UML, a formalism for specifying multiagent software systems, in Agent-Oriented Software Engineering, Ciancarini, P. and Wooldridge, M., Editors. LNCS, Vol. 1957, Vol., 2001: Springer, pp. 91-103
  2. Clark, M., Grumberg, O., and Peled, D.: Model Checking. MIT Press. 2000
  3. FIPA: FIPA contract net interaction protocol specification. Technical report, FIPA (2002).Available from: http://www.fipa.org/specs/fipa00029/SC00029H.pdf
  4. Frehse, G.: PHAVer:Alogrithmic verification for hybrid systems past Hytech. In Morari, M., Thiele, L. editors, Hybrid system: computation and control, 8th international workshop, proceedings, LNCS 3414, pages 258-273. Springer, 2005
  5. Gehrke, J.D.,Behrens, C.,Jedermann, R., Morales-Kluge, E.: The intelligent ContainerToward Autonomous Logistic Processes. In KI 2006 Demo Presentations, pp. 15?18, Jun 2006
  6. Henzinger, T., Pei-Hsin, H., and Wong-Toi, H.: A user guide to HyTech. Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 1019, Springer, 1995, pp. 41-71
  7. Henzinger, T.: The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278-292. IEEE Computer Society Press, 1996
  8. Henzinger, T., Pei-Hsin, H., and Wong-Toi, H.: HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer 1:110-122, 1997
  9. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River, NJ, 2nd edition, 2003
  10. Scholz-Reiter, B., Windt, K, and Freitag. M.: Autonomous logistic processes - New demands and first approaches. In Proceedings of the 37th CIRP- International Seminar on Manufacturing Systems, pp. 357?362, 2004
  11. Wood, M., DeLoach, S.: An overview of the multiagent systems engineering methodology, in Agent-Oriented Software Engineering, Ciancarini, P., Wooldridge, M., Editors. LNCS, Vol. 1957, 2001: Springer, pp. 207-221
  12. Wooldridge, M., Jennings, N.R., and Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 2000
Download


Paper Citation


in Harvard Style

Mohammed A. and Furbach U. (2008). Modeling Multi-agent Logistic Process System using Hybrid Automata . In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 141-149. DOI: 10.5220/0001729501410149


in Bibtex Style

@conference{msvveis08,
author={Ammar Mohammed and Ulrich Furbach},
title={Modeling Multi-agent Logistic Process System using Hybrid Automata},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},
year={2008},
pages={141-149},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001729501410149},
isbn={978-989-8111-43-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - Modeling Multi-agent Logistic Process System using Hybrid Automata
SN - 978-989-8111-43-2
AU - Mohammed A.
AU - Furbach U.
PY - 2008
SP - 141
EP - 149
DO - 10.5220/0001729501410149