Sciweavers

364 search results - page 4 / 73
» Coordination of Interdependent Planning Systems, a Case Stud...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 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...
ENTCS
2007
103views more  ENTCS 2007»
13 years 7 months ago
Policy-based Coordination in PAGODA: A Case Study
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
Carolyn L. Talcott
FCS
2007
13 years 9 months ago
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks
In many task-planning domains, dynamic assemblies of autonomous agents are replacing hierarchical organisations because they promise more agility. In such assemblies, interdepende...
J. Renze Steenhuisen, Cees Witteveen
HICSS
2005
IEEE
104views Biometrics» more  HICSS 2005»
14 years 1 months ago
Vicious and Virtuous Cycles in Global Virtual Team Role Coordination
Role coordination is an important aspect of task performance in teams. This phenomenon has received little attention in global virtual teams (GVT) with their coordination hurdles....
Juliana Sutanto, Chee Wei Phang, Huei Huang Kuan, ...
EXPERT
1998
86views more  EXPERT 1998»
13 years 7 months ago
IMACS: A Case Study in Real-World Planning
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
Satyandra K. Gupta, Dana S. Nau, William C. Regli