Max-Plus代数による離散事象システムの制御とその生産システムへの応用

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09750502
• Research Institution: Osaka University
• Principal Investigator: 高井 重昌 大阪大学, 工学部, 助手 (60243177)
• Keywords: 離散事象システム / Max-Plus代数 / ス-パバイザ制御

Research Abstract

本研究により,以下の成果が得られた.
1.Golaszewski-Ramadgeモデルで記述された離散事象システムに対して,状態空間上の述語で与えられた制御仕様を満足する状態フィードバックが存在するための必要十分条件を明らかにした.
2.制御仕様が述語で与えられる離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するような部分述語を計算するアルゴリズムを与えた.さらにその部分述語が極大・最大部分述語になるための十分条件を明らかにした.
3.制御仕様が閉じた言語で与えられる離散事象システムに対して,将来のシステムの振る舞いの推定を用いたオンラインス-パバイザ制御法を提案した.そして提案されたス-パバイザ制御法のさまざまな性質を明らかにした.
4.時間付きイベントグラフでモデル化されたリアルタイム離散事象システムに対して,ス-パバイザ制御を行うことにより実現できるシステムの振る舞いをMax-Plus代数を用いて特徴づけた.
5.制御仕様が述語で与えられる離散事象システムに対して,状態分割の考え方を用いて,制御仕様を満足するためのコントローラを設計するのに必要なセンサ情報の最小化を行った.
6.制御仕様が閉じた言語で与えられる離散事象システムに対して,任意のス-パバイザのロバスト性を明らかにした.さらに最もロバストな有限状態ス-パバイザが存在することを証明した.

Research Products

• [Publications] Shigemasa Takai: "Balanced state feedback controllers for discrete event systems described by the Golaszewski-Ramadge model" IEICE Transactions on Fundamentals. E80-A・5. 928-931 (1997)
• [Publications] Shigemasa Takai: "M-controllable subpredicates arising in state feedback control of discrete event siystems" International Journal of Control. 67・4. 553-566 (1997)
• [Publications] Shigemasa Takai: "Estimate based limited lookahead supervisory control for closed language specifications" Automatica. 33・9. 1739-1743 (1997)
• [Publications] Shigemasa Takai: "A characterization of realizable behavior in supervisory control of timed event graphs" Automatica. 33・11. 2077-2080 (1997)
• [Publications] Shigemasa Takai: "Optimal state space partition for state feedback control of discrete event systems" Proceedings of the 36th IEEE Conference on Decision and Control. 3582-3583
• [Publications] 高井 重昌: "離散事象システムに対するロバストな有限状態ス-パバイザ" システム制御情報学会論文誌. 11・2. 71-76 (1998)