コンカレント同期合成でモデル化された 離散事象システムの可観測性解析

摘要

本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する.対象システムと制御仕様がともにコンカレント同期合成でモデル化される場合，与えられた制御仕様に対して,事象の部分観測のもとでスーパバイザが存在するための必要十分条件は，その制御仕様が可制御可観測となることである.そこで，すべてのサブシステムの制御仕様が可制御可観測となるとき全体システムの制御仕様が可観測となることを示す.さらに，全体システムの制御仕様が可観測のとき，すべてのサブシステムの制御仕様が可観測となる十分条件を示す.%In this paper, we study supervisory control of concurrent discrete event systems under the assumption that both the plant and the specification are modeled by concurrent synchronous products. Controllability and observability are necessary and sufficient conditions for the existence of a supervisor under partial event observation. We first show that if the specifications of all subsystems are controllable and observable, then the specification of the entire system is observable. Further, we present sufficient conditions under which observability of the specification of the entire system implies that of the specifications of all subsystems.