Skip to main content

Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance

  • Conference paper
Formal Approaches to Agent-Based Systems (FAABS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3228))

Included in the following conference series:

Abstract

The task addressed here is a dynamic search through a bound-ed region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and communication, maintaining spatial coverage – especially after passing the obstacles – is a challenging problem. Here, we investigate two physics-based approaches to solving this task with multiple simulated mobile robots, one based on artificial forces and the other based on the kinetic theory of gases. The desired behavior is achieved with both methods, and a comparison is made between them. Because both approaches are physics-based, formal assurances about the multi-robot behavior are straightforward, and are included in the paper.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Balch, T., Arkin, R.: Behavior-based formation control for multi-robot teams. IEEE Trans. on Robotics and Autom. 14, 1–15 (1998)

    Article  Google Scholar 

  2. Fredslund, J., Matarić, M.: A general algorithm for robot formations using local sensing and mimimal communication. IEEE Transactions on Robotics and Automation, 837–846 (2002)

    Google Scholar 

  3. Koenig, S., Liu, Y.: Terrain coverage with ant robots: A simulation study. In: Agents 2001, pp. 600–607 (2001)

    Google Scholar 

  4. Spears, W., Gordon, D.: Using artificial physics to control agents. In: IEEE International Conference on Information, Intelligence, and Systems, pp. 281–288 (1999)

    Google Scholar 

  5. Spears, W., Gordon-Spears, D., Hamann, J., Heil, R.: Distributed, physics-based control of swarms of vehicles. Autonomous Robots 17, 137–162 (2004)

    Article  Google Scholar 

  6. Decuyper, J., Keymeulen, D.: A reactive robot navigation system based on a fluid dynamics metaphor. In: Schwefel, H.P., Mánner, R. (eds.) PPSN 1990. LNCS, vol. 496, pp. 356–362. Springer, Heidelberg (1991)

    Google Scholar 

  7. Gordon-Spears, D., Spears, W.: Analysis of a phase transition in a physics-based multiagent system. In: Proceedings of FAABS II (2002)

    Google Scholar 

  8. Jantz, S., Doty, K.: Kinetics of robotics: The development of universal metrics in robotic swarms. Technical report, Dept of Electrical Engineering, University of Florida (1997)

    Google Scholar 

  9. Anderson, J.: Computational Fluid Dynamics. McGraw-Hill, New York (1995)

    Google Scholar 

  10. Garcia, A.: Numerical Methods for Physics, 2nd edn. Prentice-Hall, Englewood Cliffs (2000)

    Google Scholar 

  11. Spears, W., Spears, D., Heil, R.: A formal analysis of potential energy in a multiagent system. In: Proceedings of FAABS III (2004)

    Google Scholar 

  12. Stark, H., Woods, J.: Probability, Random Processes, and Estimation Theory for Engineers. Prentice-Hall, Englewood Cliffs (1986)

    Google Scholar 

  13. Feynman, R., Leighton, R., Sands, M.: The Feynman Lectures on Physics. Addison- Wesley Publishing Company, Amsterdam (1963)

    MATH  Google Scholar 

  14. Reif, F.: Fundamentals of Statistical and Thermal Physics. McGraw-Hill, New York (1965)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kerr, W., Spears, D., Spears, W., Thayer, D. (2004). Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds) Formal Approaches to Agent-Based Systems. FAABS 2004. Lecture Notes in Computer Science(), vol 3228. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30960-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30960-4_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24422-6

  • Online ISBN: 978-3-540-30960-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics