基于状态树结构的离散事件系统监督器局部化
系统与控制
2013-06-25 v1
摘要
近期我们提出了监督器局部化方法，这是一种在 Ramadge-Wonham 监督控制框架下针对离散事件系统进行分布式控制的自顶向下方法。其本质是将单体（全局）控制动作分解为针对各个智能体的局部控制策略。本文在状态树结构框架下建立了相应的监督器局部化理论，该框架已知非常适用于超大规模系统的控制设计。在新框架中，我们引入了局部状态跟踪器、局部控制函数以及基于状态的全局 - 局部控制等价性等新概念。与以往一样，我们证明了集体局部化控制行为与单体最优（即最大容许）且无阻塞的控制行为完全一致。此外，我们提出了一种利用 BDD 计算的新的、更高效的局部化算法。最后，我们在一个复杂半导体制造系统的模型上展示了我们的局部化方法。
引用
@article{arxiv.1306.5441,
title = {Supervisor Localization of Discrete-Event Systems based on State Tree Structures},
author = {Kai Cai and W. M. Wonham},
journal= {arXiv preprint arXiv:1306.5441},
year = {2013}
}