Sciweavers

3 search results - page 1 / 1
» Distributed Games with Causal Memory Are Decidable for Serie...
Sort
View
FSTTCS
2004
Springer
13 years 10 months ago
Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
Paul Gastin, Benjamin Lerman, Marc Zeitoun
LATIN
2004
Springer
13 years 10 months ago
Distributed Games and Distributed Control for Asynchronous Systems
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
Paul Gastin, Benjamin Lerman, Marc Zeitoun
IJCAI
2007
13 years 6 months ago
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism
Multiagent distributed resource allocation requires that agents act on limited, localized information with minimum communication overhead in order to optimize the distribution of ...
Ricardo M. Araujo, Luís C. Lamb