事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用
Project/Area Number |
07750495
|
Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
Allocation Type | Single-year Grants |
Research Field |
計測・制御工学
|
Research Institution | Osaka University |
Principal Investigator |
高井 重昌 大阪大学, 工学部, 助手 (60243177)
|
Project Period (FY) |
1995
|
Project Status |
Completed (Fiscal Year 1995)
|
Budget Amount *help |
¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1995: ¥900,000 (Direct Cost: ¥900,000)
|
Keywords | 離散事象システム / ス-パバイザ制御 / 状態フィードバック制御 |
Research Abstract |
1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づきシステムを制御するようなス-パバイザが存在するための必要十分条件を明らかにした.さらに与えられた言語に対してス-パバイザが存在しない場合について考察し,ス-パバイザが構成できるようなその部分言語を求めた. 2.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.さらに与えられた言語に対して,分散ス-パバイザ制御が可能となるその部分言語を求めた. 3.制御仕様が述語で与えられるような離散事象システムに対して,分散状態フィードバックが存在するような最小超述語が存在することを証明し,さらにその超述語を求めるアルゴリズムを提案した. 4.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するための必要十分条件を明らかにした.さらに仕様が複数の部分述語の和で与えられる場合に関して,状態フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした. 5.制御パターンの集合が和に関して閉じているような離散事象システムにおいて,制御仕様として与えられて述語に対して状態フィードバックが存在するための必要十分条件を明らかにした.さらに状態フィードバックが存在するような最大部分述語が存在することを証明し,その部分述語を求めるアルゴリズムを提案した.
|
Report
(1 results)
Research Products
(6 results)