SAMON: communication, cooperation and learning of mobile autonomous robotic agents

The Applied Research Laboratory Penn State University "Ocean SAmpling MObile network" (SAMON) Project is developing the simulation testbed for the oceanographic communities interactions through the Web interface and the simulation based design of Autonomous Ocean Sampling Program missions. In this paper, a current implementation of the SAMON is presented, and a formal model based on interactive automata is described. The basic model is extended by process algebra constructs to handle mobility, evolution and learning. To allow cooperation of heterogeneous vehicles a generic behavior message-passing language is presented.

[1]  Eugene Eberbach,et al.  Expressing evolutionary computation, genetic programming, artificial life, autonomous agents and DNA-based computing in -calculus-revised version , 2000, Proceedings of the 2000 Congress on Evolutionary Computation. CEC00 (Cat. No.00TH8512).

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[3]  Moshe Sipper,et al.  Evolution of Parallel Cellular Machines , 1997, Lecture Notes in Computer Science.

[4]  Ronald E. Gibson,et al.  Ocean Sampling Mobile Network Controller , 1997 .

[5]  Rodney A. Brooks,et al.  Elephants don't play chess , 1990, Robotics Auton. Syst..

[6]  Don Brutzman,et al.  The Phoenix autonomous underwater vehicle , 1998 .

[7]  Max H. Garzon,et al.  Models of massive parallelism: analysis of cellular automata and neural networks , 1995 .

[8]  Daniel Marcu,et al.  Controlling Autonomous Robots with GOLOG , 1997, Australian Joint Conference on Artificial Intelligence.

[9]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[10]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[11]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[12]  Arthur W. Burks,et al.  Essays on cellular automata , 1970 .

[13]  Eugene Eberbach,et al.  A generic tool for distributed AI with matching as message passing , 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.