Sciweavers

578 search results - page 26 / 116
» Coordinating autonomous entities
Sort
View
ICIW
2008
IEEE
15 years 4 months ago
Providing Decision Capabilities to Coordinators in Distributed Processes
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
Michael Von Riegen, Martin Husemann, Norbert Ritte...
EUROPAR
2003
Springer
15 years 3 months ago
Programming Coordinated Motion Patterns with the TOTA Middleware
In this paper, we present TOTA (“Tuples On The Air”), a novel middleware to coordinate the movements of a large number of autonomous components (i.e. agents) in a ubiquitous co...
Marco Mamei, Franco Zambonelli, Letizia Leonardi
ATAL
2008
Springer
15 years 2 days ago
A coordination mechanism for swarm navigation: experiments and analysis
We present an algorithm that allows swarms of robots to navigate in environments containing unknown obstacles, moving towards and spreading along 2D shapes given by implicit funct...
Leandro Soriano Marcolino, Luiz Chaimowicz
ROBOCUP
2009
Springer
152views Robotics» more  ROBOCUP 2009»
15 years 4 months ago
Coordinated Action in a Heterogeneous Rescue Team
In this paper we describe a new approach to make use of a heterogeneous robot team for the RoboCup Rescue League Virtual Robot competition. We will demonstrate coordinated action b...
Fares Alnajar, Hanne Nijhuis, Arnoud Visser
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...