Distributed games and distributed control for asynchronous systems

Paul Gastin (1) , Benjamin Lerman (1) , Marc Zeitoun (1)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

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.

Domaines: Autre [cs.OH]

Paul Gastin, Benjamin Lerman, Marc Zeitoun. Distributed games and distributed control for asynchronous systems. Proc. of the 6th Symposium Latin American Theoretical INformatics, LATIN04, 2004, Argentina. pp.455-465. ⟨hal-00306317⟩