Communicating sequential processes
Communicating sequential processes
Models of massive parallelism: analysis of cellular automata and neural networks
Models of massive parallelism: analysis of cellular automata and neural networks
Why interaction is more powerful than algorithms
Communications of the ACM
The Phoenix autonomous underwater vehicle
Artificial intelligence and mobile robots
Controlling Autonomous Robots with GOLOG
AI '97 Proceedings of the 10th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
A Generic Tool for Distributed AI with Matching as Message Passing
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
Robotics and Autonomous Systems
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Hi-index | 0.00 |
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.