Sciweavers

Share
LATIN
2004
Springer

Distributed Games and Distributed Control for Asynchronous Systems

10 years 8 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: several players of both teams may simultaneously be enabled. We define distributed strategies based on the causal view that players have of the system. We reduce the problem of finding a winning distributed strategy with a given memory to finding a memoryless winning distributed strategy in a larger distributed game. We reduce the latter problem to finding a strategy in a classical 2-players game. This allows to transfer results from the sequential case to this distributed setting. Keywords. Distributed game, distributed control, distributed strategy.
Paul Gastin, Benjamin Lerman, Marc Zeitoun
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LATIN
Authors Paul Gastin, Benjamin Lerman, Marc Zeitoun
Comments (0)
books