Harmonic Potential Fields: an Effective Tool for Generating a Self-Organizing Behavior

This work provide a proof-by-example of the ability of harmonic potential fields (HPF) to exhibit a self-organizing behavior that can be utilized in building decentralized, evolutionary, multi-agent systems. It is shown that the strong relation the single agent HPF approach has to the evolutionary artificial life (AL) approach may be utilized at the multiagent level to synthesize decentralized controllers that can be applied to a large variety of practical problems. We first provide a background of the single agent HPF approach along with its relation to the AL approach. Different multi-agent, HPF-based methods are presented along with simulation examples to demonstrate the utility of these techniques. Humans have long attempted to bridge the gap between actions under their direct command (control variables) and directly inaccessible desired aspects of the environment they want to influence. This is carried-out by constructing a chain of causality linking the two together; hence making those directly inaccessible aspects indirectly accessible to the human operator. The process that realizes this chain of causality is called a servo-process. There are more than on type of problems that a servo-process have to rectify in order to enable causality to flow from the control side to the desired outcome side. The failure could be caused by insufficient quantity of effort that is being exerted at the control variable side. It may be the result of incompatibility of the control effort with the aspects of the environment that is to be influenced. The lack of organization in terms of the proper spatialtemporal distribution of the assets comprising the servo-process is a serious and difficult to detect source of failure. The sufficiency of the level of information available to constructor of the servo-process is also a fundamental cause of failure. Attention in this chapter is paid to the third type of failure concerning the faulty organization of the servo-process resources. Any servo-process must, among other things, regulate the interaction among its sensory, processing, communication and actuation components. There are a number of distinct modalities in which these components are governed each suited to tackle a certain situation. Each one of these modalities gives rise to a family of planners. A planner is an intelligent, goal-oriented, context-sensitive controller that instructs the servo-process on how to deploy its actuators of motion so that a target situation may be reached in a constrained manner. Probably the most common modality used by a servo-process is the: know-plan-Act modality which is commonly called the: model-based approach (figure 1). Here, the servoprocess uses its sensors to collect data about the situation it has to deal with. This data is converted into a representation. The representation is processed to generate a plan or sub-

[1]  S. Kawamura,et al.  New navigation function utilizing hydrodynamic potential for mobile robot , 1990, Proceedings of the IEEE International Workshop on Intelligent Motion Control.

[2]  Christian Laugier,et al.  Motion Control For A Car-like Robot: Potential Field And Multi-agent Approaches , 1992, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  M. S. Eby,et al.  Free flight separation assurance using distributed algorithms , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[4]  S. Axler,et al.  Harmonic Function Theory , 1992 .

[5]  Tommy W. S. Chow,et al.  Self-Organizing and Self-Evolving Neurons: A New Neural Network for Optimization , 2007, IEEE Transactions on Neural Networks.

[6]  Ahmad A. Masoud,et al.  Constrained motion control using vector potential fields , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[7]  Michael Luck,et al.  Multi-Agent Systems and Applications II , 2002, Lecture Notes in Computer Science.

[8]  Keigo Watanabe,et al.  A survey of robotic control systems constructed by using evolutionary computations , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[9]  Behnam Bavarian,et al.  Solving the moving obstacle path planning problem using embedded variational methods , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[10]  Ahmad A. Masoud,et al.  Motion planning in the presence of directional and obstacle avoidance constraints using nonlinear, anisotropic, harmonic potential fields , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[11]  Jun Ota,et al.  Motion Planning of Multiple Mobile Robots Using Dynamic Groups , 1993 .

[12]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1986 .

[13]  Joseph S. B. Mitchell,et al.  Comparison of Algorithms for Synthesizing Weather Avoidance Routes in Transition Airspace , 2004 .

[14]  M.-Y. Chow,et al.  A Network based, Delay-tolerant, Integrated Navigation System for a differential drive UGV using Harmonic Potential Field , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[15]  Didier Keymeulen,et al.  A Reactive Robot Navigation System Based on a Fluid Dynamics Metaphor , 1990, PPSN.

[16]  Kikuo Fujimura A model of reactive planning for multiple mobile agents , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[17]  Ahmad A. Masoud,et al.  Evolutionary action maps for navigating a robot in an unknown, multidimensional, stationary environment. II. Implementation and results , 1997, Proceedings of International Conference on Robotics and Automation.

[18]  Ahmad A. Masoud,et al.  A harmonic potential field approach for navigating a rigid, nonholonomic robot in a cluttered environment , 2009, 2009 IEEE International Conference on Robotics and Automation.

[19]  Qiuming Zhu,et al.  Hidden Markov model for dynamic obstacle avoidance of mobile robot navigation , 1991, IEEE Trans. Robotics Autom..

[20]  Stephen J. Buckley,et al.  Fast motion planning for multiple moving robots , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[21]  Mark H. Overmars,et al.  Coordinated path planning for multiple robots , 1998, Robotics Auton. Syst..

[22]  Ahmad A. Masoud,et al.  Robot navigation using a pressure generated mechanical stress field: "the biharmonic potential approach" , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[23]  Kazuo Tanaka,et al.  COORDINATED MOTION CONTROL OF SWARMS WITH DYNAMIC CONNECTIVITY IN POTENTIAL FLOWS , 2005 .

[24]  Pierre Tournassoud A strategy for obstacle avoidance and its application to mullti-robot systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[25]  Charles W. Warren,et al.  Multiple robot path coordination using artificial potential fields , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[26]  Samuel W. Malone,et al.  Air Traffic Control , 2000 .

[27]  J. Brian Burns,et al.  Path planning using Laplace's equation , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[28]  Alison McGann,et al.  Self-Separation from the Air and Ground Perspective , 1998 .

[29]  Ahmad A. Masoud Decentralized Self-Organizing Potential Field-Based Control for Individually Motivated Mobile Agents in a Cluttered Environment: A Vector-Harmonic Potential Field Approach , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[30]  Jun Ota,et al.  Motion Planning of Multiple Mobile Robots , 1992 .

[31]  Michael Luck,et al.  Multi-Agent-Systems and Applications II 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers , 2002 .

[32]  Ana L. C. Bazzan,et al.  Evolution of Coordination as a Metaphor for Learning in Multi-Agent Systems , 1996, ECAI Workshop LDAIS / ICMAS Workshop LIOME.

[33]  Ahmad A. Masoud,et al.  A self-organizing, hybrid PDE-ODE structure for motion control in informationally-deprived situations , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[34]  J. Schwartz,et al.  On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE- Hardness of the "Warehouseman's Problem" , 1984 .

[35]  Tomás Lozano-Pérez,et al.  On multiple moving objects , 2005, Algorithmica.

[36]  Ahmad A. Masoud,et al.  An informationally-open, organizationally-closed control structure for navigating a robot in an unknown, stationary environment , 2003, Proceedings of the 2003 IEEE International Symposium on Intelligent Control.

[37]  John F. Canny,et al.  A motion planner for multiple mobile robots , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[38]  Nicholas V. Findler,et al.  Distributed artificial intelligence approach to air traffic control , 1991 .

[39]  Matthijs T. J. Spaan,et al.  Real World Multi-agent Systems: Information Sharing, Coordination and Planning , 2007, TbiLLC.

[40]  P. Fiorini,et al.  Motion planning in dynamic environments using the relative velocity paradigm , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[41]  Cees Witteveen,et al.  Cooperative heuristic multi-agent planning , 2001 .

[42]  Takashi Tsubouchi,et al.  Behavior of a mobile robot navigated by an "iterated forecast and planning" scheme in the presence of multiple moving obstacles , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[43]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[44]  James K. Kuchar,et al.  A review of conflict detection and resolution modeling methods , 2000, IEEE Trans. Intell. Transp. Syst..

[45]  Jean-Paul Laumond,et al.  Algorithms for Robotic Motion and Manipulation , 1997 .

[46]  William A. Woods What's Important About Knowledge Representation? , 1983, Computer.

[47]  Christian Laugier,et al.  Motion Planning in Dynamic Environments , 2007 .

[48]  Josphat Igadwa Mwasiagi,et al.  Self Organizing Maps - Applications and Novel Algorithm Design , 2011 .

[49]  Ahmad A. Masoud,et al.  A harmonic potential field approach with a probabilistic space descriptor for planning in non-divisible environments. , 2009, 2009 IEEE International Conference on Robotics and Automation.

[50]  Teuvo Kohonen,et al.  Self-Organizing Maps , 2010 .

[51]  René Thom,et al.  Structural stability and morphogenesis , 1977, Pattern Recognit..

[52]  Joseph Culberson,et al.  Sokoban is PSPACE-complete , 1997 .

[53]  Han Huang,et al.  A Particle Swarm Optimization Algorithm with Differential Evolution , 2007, 2007 International Conference on Machine Learning and Cybernetics.

[54]  Kevin L. Moore,et al.  Diffusion boundary determination and zone control via mobile actuator-sensor networks (MAS-net): challenges and opportunities , 2004, SPIE Defense + Commercial Sensing.

[55]  Simon Parsons,et al.  Qualitative methods for reasoning under uncertainty , 2001 .

[56]  J. P. Lasalle Some Extensions of Liapunov's Second Method , 1960 .

[57]  Austin Blaquière,et al.  Nonlinear System Analysis , 1966 .

[58]  Noel C. MacDonald,et al.  New and Improved Manipulation Algorithms for MEMS Arrays and Vibratory Parts Feeders: What Programmable Vector Fields Can (and Cannot) Do --Part II , 1995 .

[59]  O. Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[60]  I. Y. Burdun,et al.  AI knowledge model for self-organizing conflict prevention/resolution in close free-flight air space , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[61]  William W. Cohen Adaptive mapping and navigation by teams of simple robots , 1996, Robotics Auton. Syst..