科创中国

离散事件系统的无死锁分散监控

原文链接：万方

• 作者：

  王飞,金福江,罗继亮

• 摘要：

  该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性.首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件.之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件.

• 关键词：

  离散事件系统 无死锁 2-可观性 可控性

• 作者单位：

  华侨大学信息科学与工程学院

• 基金项目：

  国家自然科学基金资助项目(61203040)% 福建省自然科学基金(2011J01352)% 泉州科技计划项目(2010G2)% 中央高校基本科研业务费专项基金(JB-ZR1127)% 华侨大学科研启动费(09BS509)

• 来源期刊：

  清华大学学报(自然科学版)

• 年，卷(期)：

  2012009