模糊离散事件系统的分散控制
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第１ １卷 第 ４期
２１ ０ ２年 ８月
江 南 大 学 学 报 （ 然 科 学 版） 自 Ｊ ｕ ｎ ｌ ｆ ｉｎ ｎ ｎＵｎｖ ｒｉ （ ｔ ｒ ｌ ｃｅ ｃ ｄｔ ｎ ｏ ｒ ａ ａ ｇ ａ ｉｅ ｓ ｙ Ｎａｕ ａ ｉｎ ｅＥ ｉ ｏ ） ｏＪ ｔ Ｓ ｉ
Ｖｏ ＿ Ｎｏ ４ ｌ １１ ．
（ ． ｏ ｅｅｏ ｎｏｍ ｔ ｎ Ｓ ｉ ｃ ｎ ｎ ｉｅｒ ｇ １Ｃ ｌ ｇ ｆＩｆｒ ａｉ ｃ ｎ ｅ ａｄ Ｅ ｇ ｅｉ ，Ｈ ａ ｉｏ Ｕ ｉｅｓｙ ｌ ｏ ｅ ｎ ｎ ｕ ｑａ ｎｖ ｒ ｔ，Ｘａ ｅ ６ ０ １ ｈｎ ；． ｈ ｅ ｅａ ｉ ｉｍ ｎ ３ １２ ，Ｃ ｉａ２ Ｔ ｅ Ｇ ｎ ｒｌ
收 稿 日期 ：０ ２—０ —１ ； 修 订 日期 ：０ ２—０ ２１ ４ ２ ２１ ５—２ 。 ０
基金项 目： 福建省 自然科学基金项 目（０ １０ ３２ ； ２ １Ｊ １５ ） 泉州市科技计划项 目（００ ２ ； ２ １ Ｇ ） 中央高校基 本科研业务 费专
项 基 金 项 目（Ｂ —Ｚ １２ ） 华 侨 大学 科 研 启 动 项 目（９ Ｓ０ ） Ｊ Ｒ １７ ； ０ Ｂ５９ 。
讨论 了对 系统 可 以 进 行 分 散 监 控 的充 要 条 件 是 监 控器 可 控且联 合 可观 ； ＡＯ等 在状 态反 馈监 控器 Ｃ
存在 的基 础 上 ， 论 了模 糊 语 言 可 控 的充 要 条 件 ； 讨
Ｓｔ ｄｙ ｏ ｃ ｎｔ ａｌｚ ｄ Ｃｏ ｒ ｌｏ ｕ ｆＤｅ ｅ ｒ ｉｅ ｎｔ ｏ ｆＦｕｚ ｙ Ｄｉｃ ｅ ｅ Ｅｖ ｎ ｓｅ ｓ ｚ ｓ ｒ ｔ — ｅ ｔＳｙ ｔ ｍ
Ｎ Ｅ Ｑ ａ ．ａ ＷＡ Ｇ Ｆ ｉ ， Ｈ Ｏ Ｍａ ． ｎ Ｉ ｉ ｎ ｎ ， ｎ Ｎ ｅ Ａ ｏｓ ｅ
作者简介 ： 聂倩楠 （９ ７ ） 女 ， １８ 一 ， 山西永济人 ， 模式识别与智能 系统专业硕士研究生。 通信作者 ： 飞（ ９７ ） 男 ， 王 １７ 一 ， 河南 安阳人 ， 副教 授 ， 硕士生导 师 ， 工学博士 。 主要从事离散事 件系统监控理论
的研 究 。 ｍａ ： ｅｗ ４ ＠ １３ ｃｎ Ｅ ｉ ｆｉ５５ ６ ．ｏ ｌ
ｉ ｍｅ ，ｔ ｅ ｏ ｅ ｏ ｅ ｌ ｃ ｌ ｕ ｅ ｖ ｓ ｒ ｎ ｆ ｚ ｙ ｄ ｓ ｒ ｔ ｖ ｎ ｙ ｔ ｍｓｗｉ ｅｍｅ ｕ ｔ ｅ ，ａ ｄ ｔ ｅ ｓ ｆ ｃｅ ｔ ｏ ｄ ｔ ｎ ｓ ｔ ｈ ｎ ｆ ｈ ｏ ａ ｐ ｒ ｉｏ ｓｉ ｕ ｚ ｉｃ ｅ ｅｅ ｅ ｔ ｓｅ ｌ ｂ ｔ ｒ ｒ ｎ ｈ ｕ ｔ ｓ ｓ ｌ ｆ ｈ ｉ ｉ ｎ ｎ ｉ ｏ ｃ ｉ
２ 纪８ ０世 ０年代 提 出的离 散 事件 系 统 （ ｉ ｒｔ Ｄｓ ｅｅ ｃ
ｅ ｅ ｔ ｙｔｍｓ Ｅ ） 为一 个新 的科 学分 支 ， ｖ ｎ ｓ ｓ ｅ ，Ｄ Ｓ 作 已成
为 当前 系统 理论 和控 制 理论 的一个 前 沿 方 向 。 后 此 Ｒ ｍａ ｇ ａ ｄ ｅ等 ¨ 在 此 基 础 上 创 立 的 离 散 事 件 系 统
Ｄ Ｓ的监 督控 制理论 得 到 了快 速 的发 展 ， 多科 研 Ｅ 许
人 员对 Ｄ Ｓ监控 理 论 的研 究 都 是 以有 限 自动机 为 Ｅ
模 型 的 。 了解 决实 际系 统 中的不 确 定 性 ， 们 对 为 人 随机 Ｄ Ｓ也进 行 了一 定 的研 究 。 Ｅ 经过 努 力 ， 经典
在 Ｆ Ｅ 和 模 糊 自 动 机 的 基 础 上 ，Ａ ＤＳ Ｃ Ｏ Ｙ ｎ 。ｈ 等 给 出了部分 可 观监 控 器存 在 的条件 ， ｏ ｇｚ ｉ
动机 Ｇ产 生 的 语 言 Ｌ Ｇ （ ）定 义 为 使 状 态 转 移 函 数
６ ， 有定 义 的输入 符号 串 ∈ （ ｑ）
６ ｓ ｑ ＝ （ ，（，） ， Ｖ ∈ ， （ ，） ６ ６ ｓｑ ） （ ｓ∈ ） 则 状 ，
在 大量 实 际 系 统 中存 在 的典 型ห้องสมุดไป่ตู้特 征 是 系 统 蕴
含的模 糊 属 性 ， 现 为 系 统 状 态是 模 糊 的 ， 态 迁 表 状
移 是不 清 晰 的。 对 病 人 的 治疗 为 例 ， 人 的 身 体 以 病 状 况 、 情 变 化 、 生 的 治疗 策 略 和 对 治疗 效 果 的 病 医 评 估都 是模 糊 的概念 ， 典监 控 理 论 不适 合 对 此 经 类 系统 进 行 分 析 和 建 模 。 糊 集 合 的概 念 提 出后 ， 模
的基础 上 ， 论其 与全局控 制 目标之 间的 关 系， 讨 避免 常规 方 法研 究复 杂 系统 时的 分析 困难 和 综合
复杂性 ， 从而为模糊离散事件 系统监控理论的应用探寻新的途径。
关 键词 ： 糊 离散事 件 系统 ； 模 自动机 ； 分散 监控
中图分 类号 ：Ｐ２ １ ８ Ｔ ７ ． 文 献标识 码 ： 文章 编号 ：６ １— １ ７ ２ １ ）４— ４ ８—０ Ｔ ７ ． ； Ｐ２ ３ ４ Ａ １７ ７ ４ （０ ２ ０ ０ ５ ５
Ａｒ ｍｅ ｔＤｅ ａ ｔ ｎ ｎ ｉ ｅ ｒｎ ｍｙ Ｇｅ ｅ ａ ｉ ｎ Ｂ ｒ ａ ｎ Ｘｉ ｎ ａ ｄ Ｌ ｎ ｈ ｕ Ｍｉ ｔ ｒ ｐ ｅ ｅ ｔ ｔ ｅ Ｏｆ ｃ ，Ｘｉ ｎ ｍａ ｎ ｐ ｒｍｅ ｔＥ ｇｎ ｅ ｉ ｇ Ａｒ ｎ ｒ ｔ ｕ ｅ ｕ ｉ ｈ ｎ ａ ｚ ｏ ｌ ａｙ Ｒｅ ｒ ｓ ｎ ａ ｉ ｆ ｅ ｏ ｉ ｖ ｉ ｈ
态转 移 函数也 可 以 扩 展 定 义 至 符 号 串集 合
， 即
为 ６ ×Ｑ— Ｑ。 ： 对于任 一初 始状 态 ｑ 。∈Ｑ， 限 自 有
Ｆ ｎ ｉ ｅｇＬｎ等 首 先将 模 糊 理 论 引 入 传 统 的 离 散 事
件 系统 中 ， 使用 模 糊 自动机 作 为建 模 工 具 ， 成 并 形 了模 糊 离散事 件 系统 （ Ｄ Ｓ 。 Ｆ Ｅ ）
ａ ｄ ｃ ｍｐｒ ｈ ｓｖ ｏｍｐ ｅ ｉｙ ｗｈｅ ｅ ｅ ｒ ｈｉ ｎ ｔ ｅ ｃ ｍｐｌｘ ｓ ｓｅｍ ｉ ｏ ｅ ｔｏｎ ｌｍ ｅｈｏ ｎ ｏ ｅ ｅｎ ｉｅ ｃ ｌ ｘ ｔ ｎ ｒ ｓ ａ ｃ ｎｇ ｏ ｈ ｏ ｅ ｙ ｔ ｎ ｃ ｎｖ ｎ ｉ ａ ｔ ｄ． Ｔｈｕ ｓ， ａ ｎｅ ｗａ ｓ ｗ ｙ ｉ ｏ ｅ ｄ ｉ ｈｅ ａ ｐｌｃ ｔｏｎ ｏ ｕｐ ｒ ｉ ｏｙ ｃ ｎ ｒ ｌｔ ｏｙ ｆｆ ｚ ｓ ｒ ｔ ｖ ｎ ｙ ｔ ｍｓ ｐ ｎｅ ｎ ｔ ｐ ｉ ａ ｉ ｆｓ ｅ ｖ ｓ ｒ ｏ ｔｏ ｈｅ ｒ ｏ ｕｚ ｙ ｄｉｃ ｅｅ ｅ ｅ ｔｓ ｓ ｅ ． Ｋｅｙ ｗｏｒ ｄｓ：ｆ ｚ ｙ ｄ ｓ ｒ ｔ ｖ ｎｔｓ ｓｅｍｓ，ａ ｔ ｍａｔ ｄ ｃ ｎｔａｉ ｅ ｕｐｅ ｖｓ ｒ ｏ ｒ ｌ ｕ ｚ ｉｃ ｅｅ ｅ ｅ ｙ ｔ ｕｏ ａ， ｅ ｅ ｒ ｌｚ ｄ ｓ ｒ ｉｏ ｃ ｎｔｏ ｙ
摘 要 ： 针对控 制 系统 结构 复杂 ， 规模 庞 大 的 问题 ， 自动 机 作 为 系统 的模 型 ， 究 了扩展 全局 监 以 研
控 器存在 条件 下 的分散监 控 综合 问题 。 由经典 离散 事件 系统 的局 部 监 控 器存 在 条 件 ， 伸得 到 模 延 糊 离散 事件 系统 的局部监 控 器存在 条件 ， 到 了全局 监 控 器的存 在 条 件 。 系统存 在 全 局监 控 器 得 在
ｔ ａｔｔ ｌ ｂ ｌｅ ｔ ｓｏ ｕ ｒ ｉｏ ｘ ｓｓ ｆｔ ｅ ｉｅ ｅ ｔｏ ｈｅｌ ｃ ｌｓ ｈ ｈｅｇ ｏ ａ ｘｅｎ ｉｎ ｓ ｐｅ ｖ ｓ ｒｅ ｉｔ ．Ｉ ｈｅｒ ｑｕ ｒ ｍ ｎ ｆｔ ｏ ａ ｕｐｅ ｖｓ ｒ ｎ ｃａ ｓｃ ｌｄｉｃ ｅ ｅｅ ｅ ｙ ｔ ｍｓ ｒ ｉｏ ｓｉ ｌｓ ｉａ ｓ ｒ ｔ ｖ ｎｔｓ ｓｅ
Ａｕｇ ． ２ ２ ０１
模 糊 离散 事 件 系统 的分 散 控制
聂 倩 楠 王 飞 ， 郝 茂 森 ，
（ ．华侨 大学 信 息科 学 与工 程 学院 ， １ 福建 厦 ｆ ３ １２ ；．总装备部 工程 兵军代 局驻 西安和 兰州地 － ６ ０ １２ ｊ
区军代 室 ， 陕西 西安 ７ ０ ０ ） １０ ０
困难 和挑 战 。
其 中， ｐ为有 限状 态集 合 ； 为 事件 集 ； 为 状态 转移 ６ 函数 ， ６ ＸＱ— Ｑ， 述系统 由一 个状 态经 给定 即 ： 描 条 件转 移至 新 的 状 态 的 过 程 ；。∈ Ｑ为 初 始 状 态 ； ｑ Ｑ ∈ Ｑ 为标 识 状 态 集 合 。 定 义 （ ， ） ： ｑ 且 若 占ｑ ，
７０ ０ Ｃ ｉａ １００， ｈｎ ）
Ａｂ ｔ ａ ｔ Ｉ ｒ ｅ ｏ ｓ ｌ ｅ ｔ ｅ ｐ ｏ ｌ ｍ ｆｃ ｍｐ ｉａ ｅ ｔｕ ｔ ｒ ｎ ｕ ｅ ｓ ａ ｅ ｉ ｏ ｔｏ ｙ ｔｍ ，ｂ ｓ ｄ ｏ ｈ ｄ ｌ ｓ ｒ ｃ ：ｎ ｏ ｄ ｒｔ ｏ ｖ ｈ ｒ ｂ ｅ ｏ ｏ ｌ ｔ ｄ ｓｒ ｃ ｕ ｅ ａ ｄ ｈ ｇ ｃ ｌ ｎ ｃ ｎ ｒ ｌｓ ｓｅ ｃ ａ ｅ ｎ ｔ ｅ ｍｏ ｅ ｏ ｙ ｔ ｍ ｙ ｍｅ ｎ ｆ ｕ ｏ ｔ ，ｔ ｅ ｃ ｍｐ ｅ ｅ ｓｖ ｓ ｕ ｆｄ ｃ ｎ ｒ ｌ ｅ ｕ ｅ ｖ ｓ ｒ ｏ ｔｏ ｓ ｓｕ ｉ ｄ ｏ ｏ ｄ ｔ ｎ ｆｓ ｓｅ ｂ ａ ｓｏ ｔｍａ ａ ｈ ｏ ｒ ｈ ｎ ｉ ｅ ｉｓ ｅ ｏ ｅ ｅ ｔａｉ ｄ ｓ ｐ ｒ ｉｏ ｙ ｃ ｎ ｒ ｌｉ ｔ ｄ ｅ ｎ ｃ ｎ ｉ ｏ ａ ｚ ｉ
ｒｌ ｔ ｎ ｈ ｐ ｂ ｔ ｅ ｈ ｘ ｓｅ ｃ ｎ ｈ ｒ ｅ ｆ ｌ ｂ ｌｃ ｎ ｒ ｌ ｓｄ ｓ ｕ ｓ ｄ，ｗ ｉ ｈ ｐ ｅ ｅ ｔ ｔ ｅｄ ｆ ｃ ｌ ｆ ｎ ｌｓｓ ｅａ ｉ ｓ ｉ ｅｗｅ ｎ ｔ ｅ ｅ ｉｔ ｎ ｅ ａ ｄ ｔ ｅ ｔ ｇ ｔｏ ｏ ａ ｏ ｔｏ ｉ ｃ ｓ ｅ ｏ ａ ｇ ｉ ｈ ｃ ｒ ｖ ｎｓ ｈ ｉ ｕ ｔ ｏ ａｙ ｉ ｉ ｙ ａ
限 自动机产 生 的语 言必定 是 闭语言 。
的一个 集 ， 有
为 了便 于研究 ， 系统 事 件 集 分 为 可控 事 件 集 将
暑 和不 可控 事件集 （ 毛 ＝ ＼ ）可 观事件 集 乏 ，
和不 可 观事件集 （ 毛。＝ ＼ ） 。 定 义 １ 映射 集 自然 映射 Ｐ： 一 是 由事件 的一 个 映射 ， 义为 ： 定 时， 有 到 可观 事件集
第 ４期
聂倩 楠 等 ： 糊 离散 事件 系统 的分散 控制 模
为一个 五元组 ¨ ：
Ｇ ＝ （ ， ｑ ， ， Ｑ， ，。Ｑ ）
４９ ５
Ｄ Ｓ已广泛 应用 到许 多 领域 并 产 生 了 良好 的效 果 ， Ｅ 然 而在 一些 复杂 系统 （ 能 系统 ）的控 制 中仍 存 在 智
ｆ ｒ ｔ ｅ ｉｔ ｎ ｅ ｆ ｈ ｅ ｔ ｎｓｏ ｓ ｅ ｖ ｓ ｒ ｓ ｂ ａ ｎ ｄ． Ｂａ ｅ ｏ ｔ ｅ ｓｅｎ ｅ ｆ ｈｅ ｌ ｂ ｓ ｐｅ ｉｏ ｏ ｈｅ ｘ ｓｅ ｃ ｏ ｔ ｅ ｘ ｅ ｉ ｎ ｕｐ ｒ ｉｏ ｉ ｏ ｔ ｉ ｅ ｓ ｄ ｎ ｈｅ ｘｉｔ ｃ ｏ ｔ ｇ ｏ ａｌ ｕ ｒ ｓ ｒ， ｔ ｖ ｈｅ
２１ ０ ２年 ８月
江 南 大 学 学 报 （ 然 科 学 版） 自 Ｊ ｕ ｎ ｌ ｆ ｉｎ ｎ ｎＵｎｖ ｒｉ （ ｔ ｒ ｌ ｃｅ ｃ ｄｔ ｎ ｏ ｒ ａ ａ ｇ ａ ｉｅ ｓ ｙ Ｎａｕ ａ ｉｎ ｅＥ ｉ ｏ ） ｏＪ ｔ Ｓ ｉ
Ｖｏ ＿ Ｎｏ ４ ｌ １１ ．
（ ． ｏ ｅｅｏ ｎｏｍ ｔ ｎ Ｓ ｉ ｃ ｎ ｎ ｉｅｒ ｇ １Ｃ ｌ ｇ ｆＩｆｒ ａｉ ｃ ｎ ｅ ａｄ Ｅ ｇ ｅｉ ，Ｈ ａ ｉｏ Ｕ ｉｅｓｙ ｌ ｏ ｅ ｎ ｎ ｕ ｑａ ｎｖ ｒ ｔ，Ｘａ ｅ ６ ０ １ ｈｎ ；． ｈ ｅ ｅａ ｉ ｉｍ ｎ ３ １２ ，Ｃ ｉａ２ Ｔ ｅ Ｇ ｎ ｒｌ
收 稿 日期 ：０ ２—０ —１ ； 修 订 日期 ：０ ２—０ ２１ ４ ２ ２１ ５—２ 。 ０
基金项 目： 福建省 自然科学基金项 目（０ １０ ３２ ； ２ １Ｊ １５ ） 泉州市科技计划项 目（００ ２ ； ２ １ Ｇ ） 中央高校基 本科研业务 费专
项 基 金 项 目（Ｂ —Ｚ １２ ） 华 侨 大学 科 研 启 动 项 目（９ Ｓ０ ） Ｊ Ｒ １７ ； ０ Ｂ５９ 。
讨论 了对 系统 可 以 进 行 分 散 监 控 的充 要 条 件 是 监 控器 可 控且联 合 可观 ； ＡＯ等 在状 态反 馈监 控器 Ｃ
存在 的基 础 上 ， 论 了模 糊 语 言 可 控 的充 要 条 件 ； 讨
Ｓｔ ｄｙ ｏ ｃ ｎｔ ａｌｚ ｄ Ｃｏ ｒ ｌｏ ｕ ｆＤｅ ｅ ｒ ｉｅ ｎｔ ｏ ｆＦｕｚ ｙ Ｄｉｃ ｅ ｅ Ｅｖ ｎ ｓｅ ｓ ｚ ｓ ｒ ｔ — ｅ ｔＳｙ ｔ ｍ
Ｎ Ｅ Ｑ ａ ．ａ ＷＡ Ｇ Ｆ ｉ ， Ｈ Ｏ Ｍａ ． ｎ Ｉ ｉ ｎ ｎ ， ｎ Ｎ ｅ Ａ ｏｓ ｅ
作者简介 ： 聂倩楠 （９ ７ ） 女 ， １８ 一 ， 山西永济人 ， 模式识别与智能 系统专业硕士研究生。 通信作者 ： 飞（ ９７ ） 男 ， 王 １７ 一 ， 河南 安阳人 ， 副教 授 ， 硕士生导 师 ， 工学博士 。 主要从事离散事 件系统监控理论
的研 究 。 ｍａ ： ｅｗ ４ ＠ １３ ｃｎ Ｅ ｉ ｆｉ５５ ６ ．ｏ ｌ
ｉ ｍｅ ，ｔ ｅ ｏ ｅ ｏ ｅ ｌ ｃ ｌ ｕ ｅ ｖ ｓ ｒ ｎ ｆ ｚ ｙ ｄ ｓ ｒ ｔ ｖ ｎ ｙ ｔ ｍｓｗｉ ｅｍｅ ｕ ｔ ｅ ，ａ ｄ ｔ ｅ ｓ ｆ ｃｅ ｔ ｏ ｄ ｔ ｎ ｓ ｔ ｈ ｎ ｆ ｈ ｏ ａ ｐ ｒ ｉｏ ｓｉ ｕ ｚ ｉｃ ｅ ｅｅ ｅ ｔ ｓｅ ｌ ｂ ｔ ｒ ｒ ｎ ｈ ｕ ｔ ｓ ｓ ｌ ｆ ｈ ｉ ｉ ｎ ｎ ｉ ｏ ｃ ｉ
２ 纪８ ０世 ０年代 提 出的离 散 事件 系 统 （ ｉ ｒｔ Ｄｓ ｅｅ ｃ
ｅ ｅ ｔ ｙｔｍｓ Ｅ ） 为一 个新 的科 学分 支 ， ｖ ｎ ｓ ｓ ｅ ，Ｄ Ｓ 作 已成
为 当前 系统 理论 和控 制 理论 的一个 前 沿 方 向 。 后 此 Ｒ ｍａ ｇ ａ ｄ ｅ等 ¨ 在 此 基 础 上 创 立 的 离 散 事 件 系 统
Ｄ Ｓ的监 督控 制理论 得 到 了快 速 的发 展 ， 多科 研 Ｅ 许
人 员对 Ｄ Ｓ监控 理 论 的研 究 都 是 以有 限 自动机 为 Ｅ
模 型 的 。 了解 决实 际系 统 中的不 确 定 性 ， 们 对 为 人 随机 Ｄ Ｓ也进 行 了一 定 的研 究 。 Ｅ 经过 努 力 ， 经典
在 Ｆ Ｅ 和 模 糊 自 动 机 的 基 础 上 ，Ａ ＤＳ Ｃ Ｏ Ｙ ｎ 。ｈ 等 给 出了部分 可 观监 控 器存 在 的条件 ， ｏ ｇｚ ｉ
动机 Ｇ产 生 的 语 言 Ｌ Ｇ （ ）定 义 为 使 状 态 转 移 函 数
６ ， 有定 义 的输入 符号 串 ∈ （ ｑ）
６ ｓ ｑ ＝ （ ，（，） ， Ｖ ∈ ， （ ，） ６ ６ ｓｑ ） （ ｓ∈ ） 则 状 ，
在 大量 实 际 系 统 中存 在 的典 型ห้องสมุดไป่ตู้特 征 是 系 统 蕴
含的模 糊 属 性 ， 现 为 系 统 状 态是 模 糊 的 ， 态 迁 表 状
移 是不 清 晰 的。 对 病 人 的 治疗 为 例 ， 人 的 身 体 以 病 状 况 、 情 变 化 、 生 的 治疗 策 略 和 对 治疗 效 果 的 病 医 评 估都 是模 糊 的概念 ， 典监 控 理 论 不适 合 对 此 经 类 系统 进 行 分 析 和 建 模 。 糊 集 合 的概 念 提 出后 ， 模
的基础 上 ， 论其 与全局控 制 目标之 间的 关 系， 讨 避免 常规 方 法研 究复 杂 系统 时的 分析 困难 和 综合
复杂性 ， 从而为模糊离散事件 系统监控理论的应用探寻新的途径。
关 键词 ： 糊 离散事 件 系统 ； 模 自动机 ； 分散 监控
中图分 类号 ：Ｐ２ １ ８ Ｔ ７ ． 文 献标识 码 ： 文章 编号 ：６ １— １ ７ ２ １ ）４— ４ ８—０ Ｔ ７ ． ； Ｐ２ ３ ４ Ａ １７ ７ ４ （０ ２ ０ ０ ５ ５
Ａｒ ｍｅ ｔＤｅ ａ ｔ ｎ ｎ ｉ ｅ ｒｎ ｍｙ Ｇｅ ｅ ａ ｉ ｎ Ｂ ｒ ａ ｎ Ｘｉ ｎ ａ ｄ Ｌ ｎ ｈ ｕ Ｍｉ ｔ ｒ ｐ ｅ ｅ ｔ ｔ ｅ Ｏｆ ｃ ，Ｘｉ ｎ ｍａ ｎ ｐ ｒｍｅ ｔＥ ｇｎ ｅ ｉ ｇ Ａｒ ｎ ｒ ｔ ｕ ｅ ｕ ｉ ｈ ｎ ａ ｚ ｏ ｌ ａｙ Ｒｅ ｒ ｓ ｎ ａ ｉ ｆ ｅ ｏ ｉ ｖ ｉ ｈ
态转 移 函数也 可 以 扩 展 定 义 至 符 号 串集 合
， 即
为 ６ ×Ｑ— Ｑ。 ： 对于任 一初 始状 态 ｑ 。∈Ｑ， 限 自 有
Ｆ ｎ ｉ ｅｇＬｎ等 首 先将 模 糊 理 论 引 入 传 统 的 离 散 事
件 系统 中 ， 使用 模 糊 自动机 作 为建 模 工 具 ， 成 并 形 了模 糊 离散事 件 系统 （ Ｄ Ｓ 。 Ｆ Ｅ ）
ａ ｄ ｃ ｍｐｒ ｈ ｓｖ ｏｍｐ ｅ ｉｙ ｗｈｅ ｅ ｅ ｒ ｈｉ ｎ ｔ ｅ ｃ ｍｐｌｘ ｓ ｓｅｍ ｉ ｏ ｅ ｔｏｎ ｌｍ ｅｈｏ ｎ ｏ ｅ ｅｎ ｉｅ ｃ ｌ ｘ ｔ ｎ ｒ ｓ ａ ｃ ｎｇ ｏ ｈ ｏ ｅ ｙ ｔ ｎ ｃ ｎｖ ｎ ｉ ａ ｔ ｄ． Ｔｈｕ ｓ， ａ ｎｅ ｗａ ｓ ｗ ｙ ｉ ｏ ｅ ｄ ｉ ｈｅ ａ ｐｌｃ ｔｏｎ ｏ ｕｐ ｒ ｉ ｏｙ ｃ ｎ ｒ ｌｔ ｏｙ ｆｆ ｚ ｓ ｒ ｔ ｖ ｎ ｙ ｔ ｍｓ ｐ ｎｅ ｎ ｔ ｐ ｉ ａ ｉ ｆｓ ｅ ｖ ｓ ｒ ｏ ｔｏ ｈｅ ｒ ｏ ｕｚ ｙ ｄｉｃ ｅｅ ｅ ｅ ｔｓ ｓ ｅ ． Ｋｅｙ ｗｏｒ ｄｓ：ｆ ｚ ｙ ｄ ｓ ｒ ｔ ｖ ｎｔｓ ｓｅｍｓ，ａ ｔ ｍａｔ ｄ ｃ ｎｔａｉ ｅ ｕｐｅ ｖｓ ｒ ｏ ｒ ｌ ｕ ｚ ｉｃ ｅｅ ｅ ｅ ｙ ｔ ｕｏ ａ， ｅ ｅ ｒ ｌｚ ｄ ｓ ｒ ｉｏ ｃ ｎｔｏ ｙ
摘 要 ： 针对控 制 系统 结构 复杂 ， 规模 庞 大 的 问题 ， 自动 机 作 为 系统 的模 型 ， 究 了扩展 全局 监 以 研
控 器存在 条件 下 的分散监 控 综合 问题 。 由经典 离散 事件 系统 的局 部 监 控 器存 在 条 件 ， 伸得 到 模 延 糊 离散 事件 系统 的局部监 控 器存在 条件 ， 到 了全局 监 控 器的存 在 条 件 。 系统存 在 全 局监 控 器 得 在
ｔ ａｔｔ ｌ ｂ ｌｅ ｔ ｓｏ ｕ ｒ ｉｏ ｘ ｓｓ ｆｔ ｅ ｉｅ ｅ ｔｏ ｈｅｌ ｃ ｌｓ ｈ ｈｅｇ ｏ ａ ｘｅｎ ｉｎ ｓ ｐｅ ｖ ｓ ｒｅ ｉｔ ．Ｉ ｈｅｒ ｑｕ ｒ ｍ ｎ ｆｔ ｏ ａ ｕｐｅ ｖｓ ｒ ｎ ｃａ ｓｃ ｌｄｉｃ ｅ ｅｅ ｅ ｙ ｔ ｍｓ ｒ ｉｏ ｓｉ ｌｓ ｉａ ｓ ｒ ｔ ｖ ｎｔｓ ｓｅ
Ａｕｇ ． ２ ２ ０１
模 糊 离散 事 件 系统 的分 散 控制
聂 倩 楠 王 飞 ， 郝 茂 森 ，
（ ．华侨 大学 信 息科 学 与工 程 学院 ， １ 福建 厦 ｆ ３ １２ ；．总装备部 工程 兵军代 局驻 西安和 兰州地 － ６ ０ １２ ｊ
区军代 室 ， 陕西 西安 ７ ０ ０ ） １０ ０
困难 和挑 战 。
其 中， ｐ为有 限状 态集 合 ； 为 事件 集 ； 为 状态 转移 ６ 函数 ， ６ ＸＱ— Ｑ， 述系统 由一 个状 态经 给定 即 ： 描 条 件转 移至 新 的 状 态 的 过 程 ；。∈ Ｑ为 初 始 状 态 ； ｑ Ｑ ∈ Ｑ 为标 识 状 态 集 合 。 定 义 （ ， ） ： ｑ 且 若 占ｑ ，
７０ ０ Ｃ ｉａ １００， ｈｎ ）
Ａｂ ｔ ａ ｔ Ｉ ｒ ｅ ｏ ｓ ｌ ｅ ｔ ｅ ｐ ｏ ｌ ｍ ｆｃ ｍｐ ｉａ ｅ ｔｕ ｔ ｒ ｎ ｕ ｅ ｓ ａ ｅ ｉ ｏ ｔｏ ｙ ｔｍ ，ｂ ｓ ｄ ｏ ｈ ｄ ｌ ｓ ｒ ｃ ：ｎ ｏ ｄ ｒｔ ｏ ｖ ｈ ｒ ｂ ｅ ｏ ｏ ｌ ｔ ｄ ｓｒ ｃ ｕ ｅ ａ ｄ ｈ ｇ ｃ ｌ ｎ ｃ ｎ ｒ ｌｓ ｓｅ ｃ ａ ｅ ｎ ｔ ｅ ｍｏ ｅ ｏ ｙ ｔ ｍ ｙ ｍｅ ｎ ｆ ｕ ｏ ｔ ，ｔ ｅ ｃ ｍｐ ｅ ｅ ｓｖ ｓ ｕ ｆｄ ｃ ｎ ｒ ｌ ｅ ｕ ｅ ｖ ｓ ｒ ｏ ｔｏ ｓ ｓｕ ｉ ｄ ｏ ｏ ｄ ｔ ｎ ｆｓ ｓｅ ｂ ａ ｓｏ ｔｍａ ａ ｈ ｏ ｒ ｈ ｎ ｉ ｅ ｉｓ ｅ ｏ ｅ ｅ ｔａｉ ｄ ｓ ｐ ｒ ｉｏ ｙ ｃ ｎ ｒ ｌｉ ｔ ｄ ｅ ｎ ｃ ｎ ｉ ｏ ａ ｚ ｉ
ｒｌ ｔ ｎ ｈ ｐ ｂ ｔ ｅ ｈ ｘ ｓｅ ｃ ｎ ｈ ｒ ｅ ｆ ｌ ｂ ｌｃ ｎ ｒ ｌ ｓｄ ｓ ｕ ｓ ｄ，ｗ ｉ ｈ ｐ ｅ ｅ ｔ ｔ ｅｄ ｆ ｃ ｌ ｆ ｎ ｌｓｓ ｅａ ｉ ｓ ｉ ｅｗｅ ｎ ｔ ｅ ｅ ｉｔ ｎ ｅ ａ ｄ ｔ ｅ ｔ ｇ ｔｏ ｏ ａ ｏ ｔｏ ｉ ｃ ｓ ｅ ｏ ａ ｇ ｉ ｈ ｃ ｒ ｖ ｎｓ ｈ ｉ ｕ ｔ ｏ ａｙ ｉ ｉ ｙ ａ
限 自动机产 生 的语 言必定 是 闭语言 。
的一个 集 ， 有
为 了便 于研究 ， 系统 事 件 集 分 为 可控 事 件 集 将
暑 和不 可控 事件集 （ 毛 ＝ ＼ ）可 观事件 集 乏 ，
和不 可 观事件集 （ 毛。＝ ＼ ） 。 定 义 １ 映射 集 自然 映射 Ｐ： 一 是 由事件 的一 个 映射 ， 义为 ： 定 时， 有 到 可观 事件集
第 ４期
聂倩 楠 等 ： 糊 离散 事件 系统 的分散 控制 模
为一个 五元组 ¨ ：
Ｇ ＝ （ ， ｑ ， ， Ｑ， ，。Ｑ ）
４９ ５
Ｄ Ｓ已广泛 应用 到许 多 领域 并 产 生 了 良好 的效 果 ， Ｅ 然 而在 一些 复杂 系统 （ 能 系统 ）的控 制 中仍 存 在 智
ｆ ｒ ｔ ｅ ｉｔ ｎ ｅ ｆ ｈ ｅ ｔ ｎｓｏ ｓ ｅ ｖ ｓ ｒ ｓ ｂ ａ ｎ ｄ． Ｂａ ｅ ｏ ｔ ｅ ｓｅｎ ｅ ｆ ｈｅ ｌ ｂ ｓ ｐｅ ｉｏ ｏ ｈｅ ｘ ｓｅ ｃ ｏ ｔ ｅ ｘ ｅ ｉ ｎ ｕｐ ｒ ｉｏ ｉ ｏ ｔ ｉ ｅ ｓ ｄ ｎ ｈｅ ｘｉｔ ｃ ｏ ｔ ｇ ｏ ａｌ ｕ ｒ ｓ ｒ， ｔ ｖ ｈｅ