Sciweavers

549 search results - page 10 / 110
» formats 2010
Sort
View
AUTOMATICA
2010
129views more  AUTOMATICA 2010»
15 years 15 days 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
91
Voted
CMA
2010
91views more  CMA 2010»
14 years 7 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
67
Voted
ENTCS
2006
126views more  ENTCS 2006»
15 years 11 days 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
87
Voted
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 14 days 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
80
Voted
AAAI
2010
15 years 1 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