大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08750526
• Research Institution: Osaka University
• Principal Investigator: 高井 重昌 大阪大学, 工学部, 助手 (60243177)
• Keywords: 離散事象システム / 状態フィードバック制御 / ス-パバイザ制御

Research Abstract

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

Research Products

• [Publications] 高井重昌: "事象と状態の部分観測によるス-パバイザ制御-不可観測事象をもつシステムへの拡張" システム制御情報学会論文誌. 9・4. 197-199 (1996)
• [Publications] 高井重昌: "事象と状態の部分観測に基づく分散ス-パバイザ制御" システム制御情報学会論文誌. 9・7. 305-312 (1996)
• [Publications] 高井重昌: "部分観測のもとでのペトリネットのモジュラ制御" システム制御情報学会論文誌. 9・12. 598-605 (1996)
• [Publications] 高井重昌: "離散事象システムにおけるコマンド型ス-パバイザ制御" 計測自動制御学会論文集. 32・3. 429-431 (1996)
• [Publications] 高井重昌: "束理論による離散事象システムの状態フィードバック制御" 計測自動制御学会論文集. 32・4. 533-538 (1996)
• [Publications] Shigemasa Takai: "Characterization of all M-controllable subpredicates arising in predicate based control" Proceedings of the International Workshop on Discrete Event Systems. 127-132 (1996)