| 研究概要 |
本研究により以下の成果が得られた.
1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.
2.制御仕様が形式言語で与えられるような離散事象システムに対して,不可観測事象が存在する場合にも適用できるような,事象と状態の部分観測列に基づくス-パバイザを提案し,そのス-パバイザが存在するための必要十分条件を明らかにした.
3.制御仕様が形式言語で与えられるような離散事象シテムに対して,コマンドを出すことによってシステムを制御するようなコマンド型ス-パバイザが部分観測のもとで存在するための必要十分条件を明らかにした.
4.制御仕様が述語で与えられるような無限状態をもつ離散事象システムにおいて,状態フィードバックが存在するような最大部分述語を求めるアルゴリズムを束理論の観点から与えた.
5.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するようなすべての部分述語を特徴づけた.さらにそれらの部分述語が極大・最大部分述語であるための十分条件を明らかにした.
6.ペトリネットでモデル化された離散事象システムにおいて,複数の述語の交わりで与えられる制御仕様に対する最大許容フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした.
|
