Skip to main content
SpringerLink
Log in

Planning in a Distributed System

  • Conference paper
Distributed Computing – IWDC 2005 (IWDC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3741))

Included in the following conference series:

  • 567 Accesses

Abstract

We identify a type of distributed system where the notion of space in planning is important. We give a formal modeling of the distributed system where planning is done. We show that several interesting planning goals in the model can be specified in a spatio-temporal logic STL. We develop an efficient planning procedure for these goals in the distributed setting.

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. Bacchus, F., Kabanza, F.: Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence 22, 5–27 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  2. DesJardins, E.M., Durfee, H.E., Ortiz, L.: A Survey of Research in Distributed, Continual Planning. AI Magazine, 13–22 (Winter 1999)

    Google Scholar 

  3. Kotz, D., Gray, S.R.: Mobile Agents and the Future of the Internet. ACM Operating Systems Review 33, 7–13 (1999)

    Article  Google Scholar 

  4. Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Cardelli, L., Gordon, A.: Anytime, Anywhere: Mobile Logics for Mobile Ambients. In: Proc. of Principles of Programming Languages, pp. 365–377. ACM press, New York (2000)

    Google Scholar 

  6. Cardelli, L., Ghelli, G.: A Query Language Based on Ambient Logic. In: Sands, D. (ed.) ESOP 2001. LNCS, vol. 2028, pp. 1–22. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Zilio Dal, S., Lugiez, D.: XML Schema, Tree logic and Sheaves Automata. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 246–263. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science and Information Systems Group, Birla Institute of Technology and Science, Pilani, 333 031, India

    Rajdeep Niyogi & Sundar Balasubramaniam

Authors
  1. Rajdeep Niyogi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sundar Balasubramaniam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal, India

    Ajit Pal

  2. Department of Computer Science, University of Illinois at Chicago, 60607, Chicago, Illinois

    Ajay D. Kshemkalyani

  3. Computer Science and Engineering Department, Indian Institute of Technology, 721 302, Kharagpur, WB, India

    Rajeev Kumar

  4. Department of Computer Science and Engineering, Indian Institute of Technology, 721 302, Kharagpur, India

    Arobinda Gupta

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Niyogi, R., Balasubramaniam, S. (2005). Planning in a Distributed System. In: Pal, A., Kshemkalyani, A.D., Kumar, R., Gupta, A. (eds) Distributed Computing – IWDC 2005. IWDC 2005. Lecture Notes in Computer Science, vol 3741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11603771_64

Download citation

  • DOI: https://doi.org/10.1007/11603771_64

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30959-8

  • Online ISBN: 978-3-540-32428-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation