離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計

为离散事件系统设计可靠且无阻塞的分布式监控器

• 批准号: 13750421
• 负责人: 高井 重昌
• 金额: $ 1.22万
• 依托单位: Wakayama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13750421/
• 关键词: 離散事象システム; スーパバイザ制御; 分散制御; 分散スーパバイザ; ノンブロッキングスーパバイザ

本研究により、以下の成果が得られた。1.離散事象システムの分散スーパバイザ制御系の耐故障性について考察した.まず,ローカルスーパバイザのうちの幾つかが何らかの故障により稼動しなくなったとしても,システムがそれらの故障前と同じ振る舞いをするという意味で耐故障性を保証するノンブロッキングな分散スーパバイザの構成法を明らかにした.しかし,ノンブロッキング性と耐故障性の両方を保証する分散スーパバイザの制御動作は保守的になる場合があると思われる.そこで,許容できる範囲内でブロッキングを許すような,耐故障性をもつ分散スーパバイザの構成法についても明らかにした.2.離散事象システムの分散スーパバイザ制御において,制御仕様が満足すべき条件である共可観測条件について考察した.まず,言語上のある関数を定義し,共可観測性をその不動点として特徴づけた.そしてその関数に対して,分散スーパバイザ制御に有用ないくつかの性質を明らかにした.さらに,その関数の不動点を求める計算方法についても考察した.3.可制御事象の禁止に関する各ローカルスーパバイザの判断がORルールもしくはANDルールで統合されるような,離散事象システムの分散スーパバイザ制御について考察した.従来研究において,その制御動作のもとでの生成言語が制御仕様である可制御言語の部分言語となるような分散スーパバイザの構成法が提案されている.しかし,その生成言語自体は陽には与えられていない.そこで,生成言語を制御仕様に関して陽に表現した.この表現により,仕様言語に含まれているが,分散スーパバイザによって禁止されてしまう事象列の集合が明らかになる.

The results of this study are summarized as follows. 1. The investigation of the fault tolerance of the control system in discrete event systems. In addition, the structure of the fault resistance is clearly defined. In order to ensure the stability and fault tolerance of the system, the control operation of the system is conservative. 2. Dispersion of discrete event system and control of discrete event system are investigated under the conditions of common measurability. The definition of the relevant number in speech can be used to measure the fixed point and characteristic of speech. The nature of the problem is clear. In addition, the calculation method of fixed points of all relevant numbers is investigated. 3. The judgment of each class of events related to the prohibition of controllable events is OR, AND the discrete events are investigated. In this paper, we propose a new method to control speech and partial speech. The language itself is the sun and the sun. In this way, speech control is the key to speech performance. The expression of this language is contained in the language, which is distributed in the language and prohibited in the language.

项目成果

Shigemasa Takai: "Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems"Proceedings of the 41st IEEE Conference on Decision and Control. 578-583 (2002)

Shigemasa Takai：“用于离散事件系统分散控制的可协同观察语言类别的表征和计算”第 41 届 IEEE 决策与控制会议论文集。

Shigemasa Takai: "Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications"IEEE Transactions on Automatic Control. 47・1. 132-136 (2002)

Shigemasa Takai：“前缀封闭语言规范的最大允许性和鲁棒性监管器的综合”IEEE Transactions on Automatic Control 47・1 (2002)。

Shigemasa Takai: "A modified normality condition for decentralized supervisory control of discrete event systems"Automatica. 38・1. 185-189 (2002)

Shigemasa Takai：“离散事件系统的分散监督控制的修改正态性条件”Automatica 38・1（2002）。

Shigemasa Takai: "Reliable decentralized supervisory control for marked language specifications"Asian Journal of Control. 5・1(掲載予定). (2003)

Shigemasa Takai：“针对标记语言规范的可靠分散监督控制”《亚洲控制杂志》5・1（待出版）。

池内直哉: "ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語"システム制御情報学会論文誌. 16・3. 147-149 (2003)

Naoya Ikeuchi：“使用 OR 规则和 AND 规则的分布式监控系统的生成语言”，系统、控制和信息工程师学会汇刊 16・3（2003 年）。