Safety and Security Multi-agent Systems
- 403 Downloads
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.
KeywordsKinetic Theory Average Speed Multiagent System Macroscopic Behavior Wall Velocity
Unable to display preview. Download preview PDF.
- 1.Perkins, T., Barto, A.: Lyapunov design for safe reinforcement learning control. In: AAAI Spring Symposium on “Safe Learning Agents” (2002)Google Scholar
- 2.Barley, M., Guesgen, H.: Towards safe learning agents. In: AAAI Spring Symposium on “Safe Learning Agents” (2002)Google Scholar
- 3.Shapiro, D.: Value-driven agents. PhD thesis, Stanford University (2001)Google Scholar
- 4.Gordon, D.: Asimovian adaptive agents. Journal of Artificial Intelligence Research 13 (2000)Google Scholar
- 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
- 7.Reif, F.: Fundamentals of Statistical and Thermal Physics. McGraw-Hill, New York (1965)Google Scholar
- 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.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.Garcia, A.: Numerical Methods for Physics, 2nd edn. Prentice Hall, Englewood Cliffs (2000)Google Scholar
- 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
- 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.Olfati-Saber, R., Murray, R.: Distributed cooperative control of multiple vehicle formations using structural potential functions. In: IFAC World Congress (2002)Google Scholar
- 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
- 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
- 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.Kerr, W.: Physics-based multiagent systems and their application to coverage problems. Master’s thesis, University of Wyoming (2005)Google Scholar