| 研究概要 |
1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づきシステムを制御するようなス-パバイザが存在するための必要十分条件を明らかにした.さらに与えられた言語に対してス-パバイザが存在しない場合について考察し,ス-パバイザが構成できるようなその部分言語を求めた.
2.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.さらに与えられた言語に対して,分散ス-パバイザ制御が可能となるその部分言語を求めた.
3.制御仕様が述語で与えられるような離散事象システムに対して,分散状態フィードバックが存在するような最小超述語が存在することを証明し,さらにその超述語を求めるアルゴリズムを提案した.
4.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するための必要十分条件を明らかにした.さらに仕様が複数の部分述語の和で与えられる場合に関して,状態フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした.
5.制御パターンの集合が和に関して閉じているような離散事象システムにおいて,制御仕様として与えられて述語に対して状態フィードバックが存在するための必要十分条件を明らかにした.さらに状態フィードバックが存在するような最大部分述語が存在することを証明し,その部分述語を求めるアルゴリズムを提案した.
|
