Decentralized Control of Discrete-Event Systems With Multiple Local Specifications
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications
复制标题
DOI：
10.1109/tase.2009.2025865
复制
发表时间：
2010-07
影响因子：
5.6
通讯作者：
Shengbing Jiang;Ratnesh Kumar;S. Takai;W. Qiu
中科院分区：
文献类型：
--
作者：
Shengbing Jiang;Ratnesh Kumar;S. Takai;W. Qiu
我们研究具有多个局部规范的离散事件系统的分散控制。仅事件的子集发生在本地站点，并且针对此类本地事件定义本地规范以及本地监管者的控制/观察能力。控制的目标是确保每个本地站点的执行行为符合预期，即有多个规范，每个站点都有一个规范。我们证明了多个局部规范的控制问题与单个全局规范的控制问题不同，并为执行给定的多个局部规范的去中心化监管者的存在提供了充分必要条件。还提出了用于执行多个本地规范的分散控制的综合。我们还将结果专门针对并发工厂（由多个本地子工厂组成的工厂）的情况，这提供了一定的计算节省。通过一个简单的制造系统示例说明了结果。
We study the decentralized control of discrete-event systems with multiple local specifications. Only a subset of events occur at a local site, and a local specification as well as control/observation capabilities of a local supervisor are defined with respect to such local events. The goal of control is to ensure that the executed behavior at each local site is as desired, i.e., there are multiple specifications, one for each site. We show that the control problem for multiple local specifications is different from that of a single global specification, and present a necessary and sufficient condition for the existence of decentralized supervisors for enforcing the given multiple local specifications. The synthesis of decentralized control for enforcing multiple local specifications is also presented. We also specialize our results to the case of concurrent plants (one which is composed of several local subplants), which offers certain computational savings. The results are illustrated through a simple manufacturing system example.