事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用

考虑事件同时发生的离散事件系统监控及其工程应用

• 批准号: 15760321
• 负责人: 高井 重昌
• 金额: $ 1.41万
• 依托单位: Kyoto Institute of Technology (2004-2005)Wakayama University (2003)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15760321/
• 关键词: 離散事象システム; スーパバイザ制御; 同時進行性; 分散制御

本研究は,並行的に動作する複数のサブシステムから構成されるような離散事象システムに対して,制御仕様が満足されるようなスーパバイザを設計することを目的としている.複数のサブシステムから構成されるような大規模離散事象システムにおいては,実装やメンテナンスの容易さなどの点から,一般に集中制御よりも分散制御が有効である.そこで,分散スーパバイザ制御に関して以下の成果が得られた.1.分散スーパバイザの存在性において言語の共可観測性は重要な概念であり,可制御事象に関する各ローカルスーパバイザの制御判断の統合ルールに応じて,いくつかの共可観測性の概念が提案されている.そこで,それら共可観測性の概念を言語上の関数の不動点で特徴づけ,それを利用することで,与えられた言語に対する共可観測部分言語,共可観測超言語の計算公式を提案した.2.従来提案されている離散事象システムの分散スーパバイザ制御構造では,可制御事象に対するデフォルト制御動作は静的とされていた.そこで本研究では,動的なデフォルト制御を用いた分散スーパバイザ制御構造を提案し,その制御構造のもとで分散スーパバイザが存在するための必要十分条件を導出した.そして,従来の制御構造ではスーパバイザが構成できないが,提案した制御構造においてスーパバイザが構成できるような言語が存在することを示した.また,複数のサブシステムから構成されるような離散事象システムにおいては,制御仕様も複数あることが一般的である.そこで,それらの制御仕様が互いに妨げあわないことを保証するスーパバイザの設計法も提案した.

This study aims to design a system of parallel motion, discrete motion and control motion. A large number of discrete events are organized in the form of a large number of discrete events, which are usually centralized or decentralized. 1. The concept of co-testability of speech is important for the existence of decentralized information, and the concept of co-testability of speech is proposed for the integration of the control judgment of various types of information related to controllable information. The concept of testability is related to the fixed point of speech, the characteristic of speech, and the use of speech. The calculation formula of speech is proposed. 2. The discrete event is proposed. In this study, the necessary conditions for the existence of a decentralized control structure are derived. For example, if you want to make a speech, you can make a speech. In this case, the number of cases is the same as the number of cases. The design method of the system is proposed in this paper.

项目成果

Shigemasa Takai: "Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules"IEICE Transactions on Fundamentals. E86-A・11. 2731-2738 (2003)

Shigemasa Takai：“具有合取和析取融合规则的离散事件系统的可靠分散监督控制”IEICE Transactions on Fundamentals（E86-A·11）（2003）。

Characterization of co-observable languages and formulas for their super/sublanguages

• DOI: 10.1109/tac.2005.844724
• 发表时间: 2005-04
• 期刊: IEEE Transactions on Automatic Control
• 影响因子: 6.8
• 作者: S. Takai;Ratnesh Kumar;T. Ushio

Maximally permissive mutually and globally nonblocking supervision with application to switching control

• DOI: 10.1016/j.automatica.2005.03.011
• 发表时间: 2005-08
• 期刊: Autom.
• 作者: Ratnesh Kumar;S. Takai;Martin Fabian;T. Ushio

Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control

• DOI: 10.1093/ietfec/e88-a.11.2982
• 发表时间: 2005-11
• 期刊: IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
• 作者: S. Takai;T. Ushio

Formal detection of three automation surprises in human-machine interaction

正式检测人机交互中的三个自动化惊喜

• 发表时间: 2004
• 期刊: IEICE Transactions on Fundamentals E87-A・11
• 作者: Shigemasa Takai;Ratnesh Kumar;Shigemasa Takai;Shigemasa Takai;Shigemasa Takai;Yoshitaka Ukawa
• 通讯作者: Yoshitaka Ukawa