[论文解读] On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

Jan Komenda, Tomáš Masopust+1 more|arXiv (Cornell University)|Jan 1, 2012

Petri Nets in System Modeling参考文献 11被引用 2

一句话总结

本文通过引入条件可分解性、可控性和封闭性的精细化概念，对离散事件系统的协调控制框架进行了修订与简化。提出了一种新颖的算法，用于计算协调器，以确保一般非前缀闭包语言下的非阻塞性，扩展了以往仅限于前缀闭包情况的研究，从而在分布式监督控制中具备更广泛的应用潜力。

ABSTRACT

In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented.

研究动机与目标

• 将协调控制框架从仅限前缀闭包语言扩展至一般正则语言。
• 通过简化和修订条件可分解性、可控性和封闭性的核心概念，提升其清晰度与适用性。
• 开发一种系统化的方法，用于计算确保协调控制架构中非阻塞行为的协调器。
• 通过提供非前缀闭包环境下超大条件可控子语言的一般性算法，填补现有方法的空白。
• 通过支持现有工具（如 libFAUDES）扩展以处理非前缀闭包规范，促进实际实现。

提出的方法

• 使用更简单但等价的定义重新表述条件可分解性、可控性和封闭性，同时保持完全的通用性。
• 通过利用超大条件可控子语言，提出一种计算协调器以确保非阻塞性的方法。
• 使用投影和同步积运算来建模系统行为与监视器之间的交互。
• 应用 LCC（输出控制一致性）和观测器概念，以确保可控性与闭环行为。
• 采用超大可控子语言算子 supC(K, L, Eu) 来计算最大可行监视器语言。
• 建立协调器确保非阻塞性的条件，通过观测器和可控性特性实现。

实验结果

研究问题

• RQ1 如何在保留其理论基础的前提下，简化条件可分解性、可控性和封闭性的概念？
• RQ2 一般（非前缀闭包）语言的超大条件可控子语言的结构与计算方法是什么？
• RQ3 如何通过算法计算协调器，以确保非前缀闭包语言在协调控制中的非阻塞行为？
• RQ4 在不可控事件存在的情况下，协调器在何种条件下仍能保持可控性与封闭性？
• RQ5 该框架能否扩展至支持 libFAUDES 等实际工具，超越前缀闭包情形？

主要发现

• 本文提供了条件可分解性、可控性和封闭性的简化但等价的表述，提升了清晰度，并支持更广泛的应用。
• 提出了一种新方法，用于计算协调器，以确保非前缀闭包语言在协调控制中的非阻塞性。
• 在所提出的框架下，证明了一般非前缀闭包语言的超大条件可控子语言存在且可计算。
• 本文证明了在特定观测器和可控性条件下，协调器可确保闭环系统为非阻塞。
• 结果被扩展至前缀闭包情形，采用 LCC 和观测器特性对证明进行了修订，与先前工作保持一致，但理论基础更坚实。
• 该框架使得在 libFAUDES 等工具中实现非前缀闭包规范的协调控制插件成为可能，填补了实际部署中的关键空白。