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

大规模离散事件系统的分层状态反馈控制及其在FMS中的应用

• 批准号: 08750526
• 负责人: 高井 重昌
• 金额: $ 0.7万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08750526/
• 关键词: 離散事象システム; 状態フィードバック制御; ス-パバイザ制御

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

In this study, the following results have been obtained. 1. In the form of control and control, it is necessary to know that it is necessary to do so. In the form of control and control, please do not know that it is necessary to know that it is necessary to make a proposal in the state of affairs. In the form of command and control, there is no need to know that it is necessary to do so. In order to control the situation, there is no limit to the state of affairs. There is no limit to the state of affairs. The largest part of the system is the largest part of the theory of bundles. 5. The chief executive said that there was something wrong with him, and that there was something special about him in part. The most important part of the report is that the most important part of the story is that the most important part is the maximum part of the story. In this case, you may need to know that it is necessary to know that it is necessary to communicate with each other in terms of the maximum capacity and the maximum capacity of the system.

项目成果

高井重昌: "事象と状態の部分観測によるス-パバイザ制御-不可観測事象をもつシステムへの拡張" システム制御情報学会論文誌. 9・4. 197-199 (1996)

Shigemasa Takai：“通过部分观察事件和状态进行监督控制 - 扩展到具有不可观察事件的系统”，系统、控制和信息工程师学会汇刊 197-199 (1996)。