具有无限行为的离散事件系统的监督定位
Supervisor Localization of Discrete-Event Systems with Infinite Behavior
AI总结：
本文扩展了监督定位方法，用于处理具有无限行为的离散事件系统，通过分解安全和活锁监督器为局部控制器，实现分布式控制。
摘要：
近年来，我们开发了监督定位，一种自上而下的分布式控制方法，用于具有有限行为的离散事件系统（DES）。其核心是将整体控制行为分配给各个代理的局部控制策略。在本报告中，我们扩展了监督定位，用于研究具有无限行为的DES的分布式控制。具体而言，我们首先使用Thistle和Wonham的监督控制理论来计算安全监督器（用于安全规范）和活锁监督器（用于活锁规范），然后设计一种合适的定位程序，将安全监督器分解为一组安全局部控制器，每个控制器对应一个可控制事件，将活锁监督器分解为一组活锁局部控制器，每个控制器对应两个可控制事件。活锁监督器的定位程序是新颖的；特别是，一个局部控制器仅在活锁监督器的部分状态上禁用对应的可控制事件，因此，得到的局部控制器的状态数通常不超过考虑所有状态禁用时计算的状态数。此外，我们证明了所得的局部控制器与安全和活锁监督器具有相同的行为。最后，我们通过小工厂示例来说明结果。
英文摘要：
Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) with finite behavior. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this report, we extend supervisor localization to study the distributed control of DES with infinite behavior. Specifically, we first employ Thistle and Wonham's supervisory control theory for DES with infinite behavior to compute a safety supervisor (for safety specifications) and a liveness supervisor (for liveness specifications), and then design a suitable localization procedure to decompose the safety supervisor into a set of safety local controllers, one for each controllable event, and decompose the liveness supervisor into a set of liveness local controllers, two for each controllable event. The localization procedure for decomposing the liveness supervisor is novel; in particular, a local controller is responsible for disabling the corresponding controllable event on only part of the states of the liveness supervisor, and consequently, the derived local controller in general has states number no more than that computed by considering the disablement on all the states. Moreover, we prove that the derived local controllers achieve the same controlled behavior with the safety and liveness supervisors. We finally illustrate the result by a Small Factory example.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
