拡大言語を用いた分散形有限状態ス-パバイザ設計法の開発とネットワーク制御への応用

使用扩展语言开发分布式有限状态管理器设计方法及其在网络控制中的应用

• 批准号: 05750437
• 负责人: 潮 俊光
• 金额: $ 0.58万
• 依托单位: Kobe College
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05750437/
• 关键词: 離散事象システム; ス-パバイザ制御; オートマトン; 形式言語

以下の結果が得られた。1.分離可能な大規模離散事象システムにおいて全体システムの可制御性と各サブシステムの可制御性との関係を明らかにした。集中制御と同じ制御性能が分散制御によっても得られるための必要十分条件を証明した.特に,各サブシステムに対するローカルな制御仕様を同時に満たすように全体の制御仕様が与えられる場合に,集中制御によって可能なときに各サブシステム対して独立に制御器を設計する分散制御でも可能となることを示した.さらに分散制御系の設計法を提案した.2.初期状態が目標状態にないときに,ライブロックを起こさずに有限回で目標状態に遷移するような制御系の構成法を提案した.ブロッキングが発生しないような設計法とブロッキングを許容する設計法の2種類を提案した.ブロッキングに関しての指標を2種類提案し,それらを改善するための手法を提案した.3.分散制御において困難な問題の一つに部分観測の問題がある.n-可観測という概念を導入することにより,部分観測のもとでの分散制御が可能となる必要十分条件を証明した.部分観測のもとでのネットワーク資源配分問題に対して得られた結果を適用した.4.有限状態ス-パバイザが存在するような制御仕様の部分言語を求める多項式オーダのアルゴリズムを開発した.特にその部分言語が最大可制御部分言語となるための十分条件を明らかにした.さらに,有限状態ス-パバイザの存在とブロッキングがないことがトレードオフになるような制御仕様があることを示した.

The following results are satisfactory. 1. Separation may be caused by large-scale accidents, such as the whole system, the controllability, the controllability, the flexibility, the flexibility, the flexibility. Centralized control system is the same as the control performance. Decentralized control system is necessary. In this special situation, all staff members are responsible for the control of military personnel, and at the same time, all personnel are responsible for the combination of military personnel and military personnel, centralized control and control may be possible for each of them, and the independent controller is designed to show that the decentralized control system is possible. The proposal for the design method of distributed control system is proposed. 2. In the initial stage, the status of the target is limited, the target is moved, the system is made, and the proposal is made. There is a general proposal for the planning of health care facilities and health care facilities. There are two kinds of proposals to improve the practice of drug management. 3. Decentralized control system is a part of the problem problem. N-the concept can be imported into the system, and it may be necessary to make sure that it is necessary. Some of the problems related to the allocation of resources have been obtained. The results are in good use. 4. Limited status-there is a general situation in which there is a demand for a number of programs, such as the number of items, and the number of items. In particular, there are some words that can be controlled as much as possible. There is an indication of the existence of a limited state of affairs, a limited status, a limited status.

项目成果

Shigemasa Takai: "Stabilization and Blocking in State Feedback Control of Discrete Event Systems" Proceedings of IFAC World Congress. 7. 237-240 (1993)

Shigemasa Takai：“离散事件系统状态反馈控制的稳定和阻塞”IFAC 世界大会论文集。

Toshimitsu Ushio: "Supervisory Control Using Augmented Languages in Discrete Event Systems" Discrete Event Dynamic Systems:Theory and Applications. 4. 5-22 (1994)

Toshimitsu Ushio：“在离散事件系统中使用增强语言进行监督控制”离散事件动态系统：理论与应用。

高井重昌: "大規模離散事象システムの分散状態フィードバック制御" システム制御情報学会論文誌. 6. 196-203 (1993)

Shigemasa Takai：“大规模离散事件系统的分布式状态反馈控制”《系统、控制和信息工程师学会汇刊》6. 196-203 (1993)。

Toshimitsu Ushio: "Augmented Language and Supervisory Control in Discrete Event Systems" Discrete Event Systems:Modeling and Control. 3-13 (1993)

Toshimitsu Ushio：“离散事件系统中的增强语言和监督控制”离散事件系统：建模和控制。

高井重昌: "大規模離散事象システムにおける分散状態フィードバックの構成法" 電子情報通信学会論文誌. J76(A). 1150-1157 (1993)

Shigemasa Takai：“大规模离散事件系统中分布式状态反馈的构造方法”，电子、信息和通信工程师学会学报 J76(A) 1150-1157 (1993)。