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

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

• 批准号: 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ルールで統合されるような,離散事象システムの分散スーパバイザ制御について考察した.従来研究において,その制御動作のもとでの生成言語が制御仕様である可制御言語の部分言語となるような分散スーパバイザの構成法が提案されている.しかし,その生成言語自体は陽には与えられていない.そこで,生成言語を制御仕様に関して陽に表現した.この表現により,仕様言語に含まれているが,分散スーパバイザによって禁止されてしまう事象列の集合が明らかになる.

In this study, the following achievements have been successful. 1. It's like a scattered accident, a scattered accident, a failure tolerance test in the imperial department. If there is a fault, it means that the failure rate is the same as that before the failure, which means that the fault tolerance does not affect the safety of failure. Please do not know if you are not safe from failure, and that you are not responsible for the safety and safety of your health. In the range of temperature, tolerance, temperature, etc., for example, failure tolerance, fault tolerance, tolerance and tolerance. 2. It's like breaking things up. They don't know what to do. They don't know what to do. In this paper, the number of words is defined, and you can measure the number of points. Please count the information, spread the information, make sure that it is useful to have sex. Do not change the number of points to calculate the method of calculation. 3. You can control things like you are not allowed to do so, and you can tell that you are not allowed to do so. You can judge that you are not allowed to OR, that you are not allowed to do so, that you are not allowed to do so, that you can make a decision, and that you can make a decision. In order to study the actions, to control the actions, to generate the words, to control the officials, to make the words, to make some remarks, to spread them, to spread them, to make a proposal to enact the law. The words "self" and "self" are generated, and the words are generated. To make a statement, to make a statement, to make a statement. You can tell me that you don't know what you're going to do, and that you don't want to know what you're going to do.

项目成果

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 年）。