| 研究概要 |
本研究により、以下の成果が得られた。
1.離散事象システムの分散スーパバイザ制御系の耐故障性について考察した.まず,ローカルスーパバイザのうちの幾つかが何らかの故障により稼動しなくなったとしても,システムがそれらの故障前と同じ振る舞いをするという意味で耐故障性を保証するノンブロッキングな分散スーパバイザの構成法を明らかにした.しかし,ノンブロッキング性と耐故障性の両方を保証する分散スーパバイザの制御動作は保守的になる場合があると思われる.そこで,許容できる範囲内でブロッキングを許すような,耐故障性をもつ分散スーパバイザの構成法についても明らかにした.
2.離散事象システムの分散スーパバイザ制御において,制御仕様が満足すべき条件である共可観測条件について考察した.まず,言語上のある関数を定義し,共可観測性をその不動点として特徴づけた.そしてその関数に対して,分散スーパバイザ制御に有用ないくつかの性質を明らかにした.さらに,その関数の不動点を求める計算方法についても考察した.
3.可制御事象の禁止に関する各ローカルスーパバイザの判断がORルールもしくはANDルールで統合されるような,離散事象システムの分散スーパバイザ制御について考察した.従来研究において,その制御動作のもとでの生成言語が制御仕様である可制御言語の部分言語となるような分散スーパバイザの構成法が提案されている.しかし,その生成言語自体は陽には与えられていない.そこで,生成言語を制御仕様に関して陽に表現した.この表現により,仕様言語に含まれているが,分散スーパバイザによって禁止されてしまう事象列の集合が明らかになる.
|
