| 研究概要 |
本研究により,以下の成果が得られた.
1.離散事象システムのスーパバイザ制御を入出力セマンティクスのもとで考察した.そして,複数の対象システムに対して,部分観測のもとで制御仕様を満足するようなロバストスーパバイザが存在するための必要十分条件,およびその条件を満足する制御仕様の部分言語の構成法を明らかにした.
2.完全観測のもとでの離散事象システムのスーパバイザ制御において,スーパバイザの許容性とロバスト性との間の関係について考察した.そして最もロバストな最大許容スーパバイザの構成法,および最も許容的な最大ロバストスーパバイザの構成法を提案した.
3.離散事象システムの分散スーパバイザ制御において,複数のローカルスーパバイザの制御動作が停止しても,制御仕様が満足されるような耐故障性を有する分散スーパバイザが存在するための必要十分条件,およびその条件を満足する制御仕様の部分言語に構成法を明らかにした.
4.離散事象システムに対して,完全分散スーパバイザを構成した場合,一般に冗長なローカルスーパバイザが存在する.そこで,構成された完全分散スーパバイザから冗長なローカルスーパバイザを削除し,ローカルスーパバイザの集合を極小化する多項式オーダのアルゴリズムを提案した.
5.任意の制御パターンをもつ離散事象システムに対して,部分観測のもとで制御仕様を満足するようなスーパバイザが存在するための必要十分条件,および制御パターンの集合が和に関して閉じているという仮定のもとで,得られた条件を満足する制御仕様の部分言語の構成法を明らかにした.
|
