Distributed Anonymous Mobile Robots: Formation of Geometric Patterns
SIAM Journal on Computing
Mobility increases the capacity of ad hoc wireless networks
IEEE/ACM Transactions on Networking (TON)
Smart dust protocols for local detection and propagation
Proceedings of the second ACM international workshop on Principles of mobile computing
Circle formation for oblivious anonymous mobile robots with no common sense of orientation
Proceedings of the second ACM international workshop on Principles of mobile computing
Cooperative Mobile Robotics: Antecedents and Directions
Autonomous Robots
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
Gathering of Asynchronous Oblivious Robots with Limited Visibility
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Looking for a Common View for Mobile Worlds
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Transferring and regrasping a large object by cooperation of multiple mobile robots
IROS '95 Proceedings of the International Conference on Intelligent Robots and Systems-Volume 3 - Volume 3
Flocking by a Set of Autonomous Mobile Robots
Flocking by a Set of Autonomous Mobile Robots
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
A novel algorithm for the coordination of multiple mobile robots
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Hi-index | 0.00 |
Mobile computing can be seen as a natural extension of distributed computing, with the difference that host can be physically mobile. This results in many interesting new challenges. The most original aspect of mobile computing with respect to traditional distributed computing is when one considers problems whereby the movements of the host must be controlled. In particular, this is a central issue for cooperating autonomous mobile systems.This paper outlines a specification framework to define recurrent problems for cooperative autonomous mobile systems. The framework consists of four generic properties (two liveness and two safety properties) that can be combined to define many different problems, including those surveyed in the literature. We regard this as a necessary step toward a better understanding of the relationships between problems.