Sciweavers

549 search results - page 10 / 110
» formats 2010
Sort
View
AUTOMATICA
2010
129views more  AUTOMATICA 2010»
14 years 9 months ago
Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control
The spectral properties of the incidence matrix of the communication graph are exploited to provide solutions to two multiagent control problems. In particular, we consider the pr...
Dimos V. Dimarogonas, Karl Henrik Johansson
CMA
2010
91views more  CMA 2010»
14 years 4 months ago
Numerical approximation of electromagnetic signals arising in the evaluation of geological formations
The integration of complicated oscillatory functions arises in computational electromagnetics when evaluating signals produced by the propagation of electromagnetic radiation thro...
Alexandre Caboussat, G. K. Miers
ENTCS
2006
126views more  ENTCS 2006»
14 years 9 months ago
A Congruence Format for Name-passing Calculi
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
Axelle Ziegler, Dale Miller, Catuscia Palamidessi
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
14 years 9 months ago
Formation of virtual organizations in grids: a game-theoretic approach
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
Thomas E. Carroll, Daniel Grosu
AAAI
2010
14 years 11 months ago
A Distributed Method for Evaluating Properties of a Robot Formation
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
Brent Beer, Ross Alan Mead, Jerry B. Weinberg