事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用

基于事件序列和状态序列的离散事件系统监控及其在FMS中的应用

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

1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づきシステムを制御するようなス-パバイザが存在するための必要十分条件を明らかにした.さらに与えられた言語に対してス-パバイザが存在しない場合について考察し,ス-パバイザが構成できるようなその部分言語を求めた.2.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.さらに与えられた言語に対して,分散ス-パバイザ制御が可能となるその部分言語を求めた.3.制御仕様が述語で与えられるような離散事象システムに対して,分散状態フィードバックが存在するような最小超述語が存在することを証明し,さらにその超述語を求めるアルゴリズムを提案した.4.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するための必要十分条件を明らかにした.さらに仕様が複数の部分述語の和で与えられる場合に関して,状態フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした.5.制御パターンの集合が和に関して閉じているような離散事象システムにおいて,制御仕様として与えられて述語に対して状態フィードバックが存在するための必要十分条件を明らかにした.さらに状態フィードバックが存在するような最大部分述語が存在することを証明し,その部分述語を求めるアルゴリズムを提案した.

1. The necessary conditions for the existence of a formal speech and a discrete event system are clearly defined. 2. The necessary conditions for the control of formal speech and discrete events are clearly defined. 3. To prove the existence of the minimum superpredicate, the existence of the minimum superpredicate. 4. Control of the state of affairs of affairs of the state The necessary conditions for the design of a complex partial predicate are clearly defined. 5. The collection of control variables is closed. 6. The discrete event is closed. The necessary conditions for the existence of the system are clear. The state of the word exists. The greatest part of the word exists. The greatest part of the word exists.

项目成果

Shigemasa Takai: "A new class of supervisors for partially observed discrete event systems" Proceedings of the 1995 American Control Conference. 2631-2635 (1995)

Shigemasa Takai：“部分观察的离散事件系统的新型监督者”1995 年美国控制会议论文集。

Shigemasa Takai: "The infimal controllable and n-observable superpredicate of a given predicate" IEEE Transactions on Automatic Control. 40. 1249-1253 (1995)

Shigemasa Takai：“给定谓词的无限可控和 n-可观察超级谓词”IEEE 自动控制交易。

高井重昌: "事象と状態の部分観測のもとでの離散事象システムのス-パバイザ制御" システム制御情報学会論文誌. 8. 222-229 (1995)

Shigemasa Takai：“在事件和状态的部分观察下离散事件系统的监督控制”系统、控制和信息工程师学会汇刊 8. 222-229 (1995)。

高井重昌: "離散事象システムにおけるΓ-可制御性と状態フィードバック" 計測自動制御学会論文集. 31. 1488-1494 (1995)

Shigemasa Takai：“离散事件系统中的 Γ 可控性和状态反馈”仪器与控制工程师学会论文集 31. 1488-1494 (1995)。

Shigemasa Takai: "Decentralized supervisory control using partial event and state observations" Proceedings of 34th IEEE Conference on Decision and Control. 723-724 (1995)

Shigemasa Takai：“使用部分事件和状态观察的分散监督控制”第 34 届 IEEE 决策与控制会议论文集。