Skip to main content

A Formal Analysis of Potential Energy in a Multi-agent System

  • 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

This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The agents sense and react to virtual forces, which are motivated by natural physics laws. Thus, physicomimetics is founded upon solid scientific principles. Furthermore, this framework provides an effective basis for self-organization, fault-tolerance, and self-repair. Examples are shown of how this framework has been applied to construct regular geometric lattice configurations (distributed sensing grids). Analyses are provided that facilitate system understanding and predictability, including a quantitative analysis of potential energy that provides the capability of setting system parameters based on theoretical laws. Physicomimetics has been implemented both in simulation and on a team of seven mobile robots.

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. Spears, W., Gordon-Spears, D., Heil, R.: Distributed, physics-based control of swarms of vehicles. Autonomous Robots, Issue on Swarm Robotics 17, 137–162 (2004)

    Article  Google Scholar 

  2. Howard, A., Matarić, M., Sukhatme, G.: Mobile sensor network deployment using potential fields: A distributed, scalable solution to the area coverage problem. In: Sixth Int’l Symposium on Distributed Autonomous Robotics Systems (2002)

    Google Scholar 

  3. Kellogg, J., Bovais, C., Foch, R., McFarlane, H., Sullivan, C., Dahlburg, J., Gardner, J., Ramamurti, R., Gordon-Spears, D., Hartley, R., Kamgar-Parsi, B., Pipitone, F., Spears, W., Sciambi, A., Srull, D.: The NRL micro tactical expendable (MITE) air vehicle. The Aeronautical Journal 106 (2002)

    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. Liu, Y., Passino, K., Polycarpou, M.: Stability analysis of m-dimensional asynchronous swarms with a fixed communication topology. IEEE Transactions on Automatic Control 48, 76–95 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  6. Lerman, K., Galstyan, A.: A general methodology for mathematical analysis of multi-agent systems. In: Technical Report ISI-TR-529, USC Information Sciences (2001)

    Google Scholar 

  7. Olfati-Saber, R., Murray, R.: Distributed cooperative control of multiple vehicle formations using structural potential functions. In: IFAC World Congress (2002)

    Google Scholar 

  8. Shehory, O., Yadgar, S.K., Emergent, O.: cooperative goal-satisfaction in large-scale automated-agent systems. Artificial Intelligence 110, 1–55 (1999)

    Article  MATH  Google Scholar 

  9. Reif, J., Wang, H.: Social potential fields: A distributed behavioral control for autonomous robots. In: Workshop on the Algorithmic Foundations of Robotics (1998)

    Google Scholar 

  10. Numaoka, C.: Phase transitions in instigated collective decision making. Adaptive Behavior 3, 185–222 (1995)

    Article  Google Scholar 

  11. Jantz, S., Doty, K., Bagnell, J., Zapata, I.: Kinetics of robotics: The development of universal metrics in robotic swarms. In: Florida Conference on Recent Advances in Robotics (1997)

    Google Scholar 

  12. Toner, J., Tu, Y.: Flocks, herds, and schools: A quantitative theory of flocking. Physical Review E. 58, 4828–4858 (1998)

    Article  MathSciNet  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

Spears, W.M., Spears, D.F., Heil, R. (2004). A Formal Analysis of Potential Energy in a Multi-agent System. 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_9

Download citation

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

  • 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