Advertisement

Safety and Security Multi-agent Systems

Research Results from 2004-2006
  • Diana Spears
  • Wesley Kerr
  • William Spears
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4324)

Abstract

This paper is concerned with assuring the safety of a swarm of agents (simulated robots). Such behavioral assurance is provided with the physics method called kinetic theory. Kinetic theory formulas are used to predict the macroscopic behavior of a simulated swarm of individually controlled agents. Kinetic theory is also the method for controlling the agents. In particular, the agents behave like particles in a moving gas.

The coverage task addressed here involves a dynamic search through a bounded 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. Our kinetic theory solution simulates a gas-like swarm motion, which provides excellent coverage. Finally, experimental results are presented that determine how well the macroscopic-level theory, mentioned above, predicts simulated swarm behavior on this task.

Keywords

Kinetic Theory Average Speed Multiagent System Macroscopic Behavior Wall Velocity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Perkins, T., Barto, A.: Lyapunov design for safe reinforcement learning control. In: AAAI Spring Symposium on “Safe Learning Agents” (2002)Google Scholar
  2. 2.
    Barley, M., Guesgen, H.: Towards safe learning agents. In: AAAI Spring Symposium on “Safe Learning Agents” (2002)Google Scholar
  3. 3.
    Shapiro, D.: Value-driven agents. PhD thesis, Stanford University (2001)Google Scholar
  4. 4.
    Gordon, D.: Asimovian adaptive agents. Journal of Artificial Intelligence Research 13 (2000)Google Scholar
  5. 5.
    Robinson, P., Hinchey, M., Clark, K.: Qu-prolog: An implementation language for agents with advanced reasoning capabilities. LNCS (LNAI), pp. 162–172 (2002)Google Scholar
  6. 6.
    Barbu, V., Sritharan, S.: Flow invariance preserving feedback controllers for the navier-stokes equation. Journal of Mathematical Analysis and Applications 255, 281–307 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Reif, F.: Fundamentals of Statistical and Thermal Physics. McGraw-Hill, New York (1965)Google Scholar
  8. 8.
    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
  9. 9.
    Kerr, W., Spears, D., Spears, W., Thayer, D.: Two formal gas models for multi-agent sweeping and obstacle avoidance. LNCS (LNAI) (2004)Google Scholar
  10. 10.
    Garcia, A.: Numerical Methods for Physics, 2nd edn. Prentice Hall, Englewood Cliffs (2000)Google Scholar
  11. 11.
    Kerr, W., Spears, D.: Robotic simulation of gases for a surveillance task. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2005 (2005)Google Scholar
  12. 12.
    Spears, W., Gordon-Spears, D., Hamann, J., Heil, R.: Distributed, physics-based control of swarms of vehicles. Autonomous Robots 17, 137–162 (2004)CrossRefGoogle Scholar
  13. 13.
    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)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Lerman, K., Galstyan, A.: A general methodology for mathematical analysis of multi-agent systems. Technical Report ISI-TR-529, USC Information Sciences (2001)Google Scholar
  15. 15.
    Olfati-Saber, R., Murray, R.: Distributed cooperative control of multiple vehicle formations using structural potential functions. In: IFAC World Congress (2002)Google Scholar
  16. 16.
    Shehory, O., Kraus, S., Yadgar, O.: Emergent cooperative goal-satisfaction in large-scale automated-agent systems. Artificial Intelligence 110, 1–55 (1999)CrossRefzbMATHGoogle Scholar
  17. 17.
    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
  18. 18.
    Numaoka, C.: Phase transitions in instigated collective decision making. Adaptive Behavior 3(2), 185–222 (1995)CrossRefGoogle Scholar
  19. 19.
    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
  20. 20.
    Toner, J., Tu, Y.: Flocks, herds, and schools: A quantitative theory of flocking. Physical Review E 58(4), 4828–4858 (1998)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Spears, D., Kerr, W., Spears, W.: Physics-based robot swarms for coverage problems. International Journal on Intelligent Control and Systems (2006)Google Scholar
  22. 22.
    Kerr, W.: Physics-based multiagent systems and their application to coverage problems. Master’s thesis, University of Wyoming (2005)Google Scholar
  23. 23.
    Spears, W., Hamann, J., Maxim, P., Kunkel, T., Zarzhitsky, D., Spears, D., Karlsson, C.: Where are you? In: Şahin, E., Spears, W.M., Winfield, A.F.T. (eds.) SAB 2006 Ws 2007. LNCS, vol. 4433, pp. 129–143. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Diana Spears
    • 1
  • Wesley Kerr
    • 1
  • William Spears
    • 1
  1. 1.Department of Computer ScienceUniversity of WyomingLaramie

Personalised recommendations