1994 Fiscal Year Annual Research Report
コンカレント性を考慮した分散形実時間ス-パバイザの開発とネットワーク制御への応用
| Project/Area Number |
06750481
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
潮 俊光 大阪大学, 工学部, 助教授 (30184998)
|
|---|
| Keywords | 離散事象システム / ペトリネット / ス-パバイザ制御 / フィードバック |
|---|
| Research Abstract |
以下の結果が得られた.
1.コンカレント性を表現するために,制御プレース付きペトリネットによりシステムを記述した.制御法としては,生起事象の割当とリソースの割当の2種類を考えた.制御仕様は可到達集合上の述語で表した.マ-キングとネット構造を用いて,最大許容フィードバックの存在条件を明らかにした.リソース割当制御における最大許容フィードバック存在条件から生起事象割当制御における存在条件が導かれることを示した.さらに,部分観測の下での最大許容フィードバック存在条件も明らかにした.
2.相補プレースが存在するペトリネットにおいて,禁止マ-キング問題の解となる極大許容フィードバックを計算する多項式オーダのアルゴリズムを提案した.このアルゴリズムを簡単なネットワークの排他制御問題に適用した.
3.初期状態が目標状態にないときに,ライブロックを起こさずに有限回で目標状態に遷移するような制御系の構成法を提案した.ブロッキングが発生しないような設計法とブロッキングを許容する設計法の2種類を提案した.ブロッキングに関しての指標を2種類提案し,それらを改善するための手法を提案した.
4.制御仕様が述語で与えられている場合の分散制御を考察した.n-可観測という概念を導入することにより,部分観測のもとでの分散制御が可能となる必要十分条件を示した.部分観測のもとでのネットワーク資源配分問題に対して得られた結果を適用した.
|
-
[Publications] Shigemasa Takai: "Decentralized State Feedback Control of Discrete Event Systems" Systems and Control Letters. 22. 369-375 (1994)
-
[Publications] Toshimitsu Ushio: "Finite State Supervisors in Discrete Event Systems under Partial Observations" Proc.of 1994 International Symposium on Intelligent Control. 893-896 (1994)
-
[Publications] Shigemasa Takai: "Concurrency and Maximally Permissive Feedback in Petri Nets with External Input Places" International Journal of Control. 60. 617-629 (1994)
-
[Publications] 高井重昌: "外部入力プレース付きペトリネットにおける部分観測と許容フィードバック" 日本応用数理学会論文誌. 4. 275-285 (1994)
-
[Publications] Shigemasa Takai: "Stabilization and Blocking in State Feedback Control of Discrete Event Systems" Discrete Event Dynamic Systems:Theory and Applications. 5. 33-57 (1995)
-
[Publications] Wooi Voon Chang: "A Forbidden Marking Problem in Controlled Complementary-Places Petri Nets" IEICE Transactions on Fundamentals. E78-A(掲載予定). (1995)
