| 研究概要 |
本研究は,並行的に動作する複数のサブシステムから構成されるような離散事象システムに対して,制御仕様が満足されるようなスーパバイザを設計することを目的としている.複数のサブシステムから構成されるような大規模離散事象システムにおいては,実装やメンテナンスの容易さなどの点から,一般に集中制御よりも分散制御が有効である.そこで,分散スーパバイザ制御に関して以下の成果が得られた.
1.分散スーパバイザの存在性において言語の共可観測性は重要な概念であり,可制御事象に関する各ローカルスーパバイザの制御判断の統合ルールに応じて,いくつかの共可観測性の概念が提案されている.そこで,それら共可観測性の概念を言語上の関数の不動点で特徴づけ,それを利用することで,与えられた言語に対する共可観測部分言語,共可観測超言語の計算公式を提案した.
2.従来提案されている離散事象システムの分散スーパバイザ制御構造では,可制御事象に対するデフォルト制御動作は静的とされていた.そこで本研究では,動的なデフォルト制御を用いた分散スーパバイザ制御構造を提案し,その制御構造のもとで分散スーパバイザが存在するための必要十分条件を導出した.そして,従来の制御構造ではスーパバイザが構成できないが,提案した制御構造においてスーパバイザが構成できるような言語が存在することを示した.
また,複数のサブシステムから構成されるような離散事象システムにおいては,制御仕様も複数あることが一般的である.そこで,それらの制御仕様が互いに妨げあわないことを保証するスーパバイザの設計法も提案した.
|
