3967 search results - page 199 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
189
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
196
click to vote
SASO
2007
IEEE
16 years 22 days ago
2007
IEEE
Grid and ubiquitous computing systems generally consist of a large number of networked nodes with applications implemented as distributed services or processes, respectively. A cr...
173
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
187
click to vote
TIM
2010
15 years 1 months ago
2010
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
191
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we show how game theory and Gibbs sampling techniques can be used to design a self-optimizing algorithm for minimizing end-to-end delays for all flows in a multi-clas...