Deriving Knowledge in Multi Agents Control Systems with Imperfect Information

In the paper, we discuss control problem of discrete event dynamic systems as a game controller versus environment (controlled plant). The game deals with imperfect information in which players are uncertain about the precise state of the game. Controller consists of a group of agents searching for the winning strategy in the game. The winning strategy is derived from the knowledge modeled by alternating-time epistemic logic