Decentralized supervisory control of discrete-event systems: A game theory perspective

In this paper we extend some of the results by Overkamp and van Schuppen which characterize the maximal solutions of decentralized supervisory control of discrete-event systems in the framework of game theory. We first prove that the main result of that paper, i.e. the fact that maximal solutions correspond to strong Nash equilibria under conjunctive fusion rule remains valid for the case of disjunctive fusion rule, too. Then we propose to model the problem as an extensive-form game with finite length sequences. Using examples, we show how this approach may be used to better characterize the problem and investigate communication among decentralized supervisors.