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.

• Type: Conference
• Year: 2004
• Where: LATIN
• Authors: Paul Gastin, Benjamin Lerman, Marc Zeitoun
• Keywords: Controller Synthesis Problem, Information Retrieval, Larger Distributed Game, LATIN 2004, Winning Distributed Strategy