Skip to main content
SpringerLink
Log in

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing

  • Conference paper
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5088))

Abstract

Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a community are rule-based, self-controlled, goal-driven, and operate and move in a common environment. We employ communities of autonomous units to model the dynamic pickup and delivery problem with the general idea to demonstrate their suitability for a range of logistic tasks.

Research partially supported by the Collaborative Research Centre 637 (Autonomous Cooperating Logistic Processes: A Paradigm Shift and Its Limitations) funded by the German Research Foundation (DFG).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hölscher, K., Klempien-Hinrichs, R., Knirsch, P., Kreowski, H.J., Kuske, S.: Autonomous units: Basic concepts and semantic foundation. In: [10], pp. 103–120

    Google Scholar 

  2. Klempien-Hinrichs, R., Kreowski, H.J., Kuske, S.: Typing of graph transformation units. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 112–127. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Kreowski, H.J., Kuske, S.: Graph transformation units with interleaving semantics. Formal Aspects of Computing 11(6), 690–723 (1999)

    Article  MATH  Google Scholar 

  4. Hölscher, K., Kreowski, H.J., Kuske, S.: Autonomous units and their semantics — the sequential case. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 245–259. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)

    MATH  Google Scholar 

  6. Savelsbergh, M., Sol, M.: The general pickup and delivery problem. Transportation Science 29(1), 17–29 (1995)

    Article  MATH  Google Scholar 

  7. Nagy, G., Salhi, S.: Heuristic algorithms for single and multiple depot vehicle routing problems with pickup and deliveries. European Journal of Operational Research 162(1), 126–141 (2005)

    Article  MATH  Google Scholar 

  8. Fabri, A., Recht, P.: On dynamic pickup and delivery vehicle routing with several time windows and waiting times. Transportation Research Part B: Methodological 40(4), 335–350 (2006)

    Article  Google Scholar 

  9. Kreowski, H.J., Kuske, S.: Autonomous units and their semantics - the parallel case. In: Fiadeiro, J., Schobbens, P. (eds.) Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. LNCS, vol. 4408, pp. 56–73. Springer, Heidelberg (2007)

    Google Scholar 

  10. Hülsmann, M., Windt, K. (eds.): Understanding Autonomous Cooperation & Control in Logistics The Impact on Management, Information and Communication and Material Flow. Springer, Heidelberg (2007)

    Google Scholar 

  11. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4), 287–313 (1996)

    MathSciNet  MATH  Google Scholar 

  12. Klempien-Hinrichs, R., Kreowski, H.J., Kuske, S.: Rule-based transformation of graphs and the product type. In: van Bommel, P. (ed.) Transformation of Knowledge, Information, and Data: Theory and Applications, pp. 29–51. Idea Group Publishing, Hershey (2005)

    Chapter  Google Scholar 

  13. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  14. Klempien-Hinrichs, R., Knirsch, P., Kuske, S.: Modeling the pickup-and-delivery problem with structured graph transformation. In: Proc. APPLIGRAPH Workshop on Applied Graph Transformation, pp. 119–130 (2002)

    Google Scholar 

  15. Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol. 3. World Scientific, Singapore (1999)

    MATH  Google Scholar 

  16. Timm, I.J., Knirsch, P., Kreowski, H.J., Timm-Giel, A.: Autonomy in software systems. In: [10], pp. 255–273

    Google Scholar 

  17. Wooldridge, M., Lomuscio, A.: A logic of visibility, perception, and knowledge: Completeness and correspondence results. In: Proc. Third International Conference on Pure and Applied Practical Reasoning, London, UK (2000)

    Google Scholar 

  18. Depke, R., Heckel, R., Küster, J.M.: Formal agent-oriented modeling with UML and graph transformation. Science of Computer Programming 44, 229–252 (2002)

    Article  MATH  Google Scholar 

  19. Giese, H., Klein, F.: Systematic verification of multi-agent systems based on rigorous executable specifications. International Journal on Agent-Oriented Software Engineering (IJAOSE) 1(1), 28–62 (2007)

    Article  Google Scholar 

  20. Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin. Shaker Verlag (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, P.O. Box 330440, D-28334, Bremen, Germany

    Hans-Jörg Kreowski & Sabine Kuske

Authors
  1. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sabine Kuske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, D-64283, Darmstadt, Germany

    Andy Schürr

  2. Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    Manfred Nagl

  3. Software Engineering Research Group, Department of Computer Science and Electrical Engineering, University of Kassel, Kassel, Germany

    Albert Zündorf

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kreowski, HJ., Kuske, S. (2008). Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89020-1_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89019-5

  • Online ISBN: 978-3-540-89020-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation