事象と状態の部分観測に基づく分散スーパバイザ制御

抄録

In our previous work on supervisory control of discrete event systems, we proposed a novel supervisor which assigns a control pattern based on partial observations of both events and states, and showed necessary and sufficient conditions for its existence. This paper extends the result to decentralized supervisory control of large-scale discrete event systems consisting of several subsystems which operate concurrently. We address two types of decentralized control problems. One requires that the behavior of the closed-loop system equals a given legal language. The other requires that the behavior of the closed-loop system lies in a given admissible range. For each problem, we derive a necessary and sufficient condition for the existence of a decentralized supervisor.