Distributed Games and Distributed Control for Asynchronous Systems


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… (More)
DOI: 10.1007/978-3-540-24698-5_49


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics