Sciweavers

11324 search results - page 52 / 2265
» Coordination Models and Languages
Sort
View
BC
2000
137views more  BC 2000»
13 years 7 months ago
Analysis of a distributed model of leg coordination
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...
Alan Calvitti, Randall D. Beer
ISORC
1998
IEEE
13 years 12 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 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...
AIPS
2009
13 years 8 months ago
Exploiting Coordination Locales in Distributed POMDPs via Social Model Shaping
Distributed POMDPs provide an expressive framework for modeling multiagent collaboration problems, but NEXPComplete complexity hinders their scalability and application in real-wo...
Pradeep Varakantham, Jun-young Kwak, Matthew E. Ta...
JSAC
2008
82views more  JSAC 2008»
13 years 7 months ago
Integration of communication and control using discrete time Kuramoto models for multivehicle coordination over broadcast networ
Abstract-- This paper considers the integration of communication and control with respect to the task of coordinated heading control for a group of N vehicles. The heading control ...
Daniel J. Klein, Phillip Lee, Kristi A. Morgansen,...