部分观测下模块离散事件系统的监督控制：正常性
摘要：模块化系统的监督控制器综合研究在局部观测下，实现闭环系统的最高正常子语言的规范。我们称这样的控制器为最大自由正常监督者。模块化系统中的挑战是找到条件，在这些条件下，全局非阻塞和最大自由正常监督者可以作为局部正常监督者的并行组合实现。我们展示了一种称为修改观测一致性（MOC）的层级监督控制的结构概念是这样一个条件。然而，MOC的算法验证是一个未解决的问题，因此有必要找到易于验证的条件来确保MOC。我们展示了所有共享事件都可观察的条件是这样一个条件。在考虑规范时，我们同时研究了局部规范和全局规范。我们将正常性的结果与可控性的现有结果相结合，局部综合非阻塞和最大自由可控和正常监督者。最后，我们通过对MRI扫描仪的病人台的工业案例研究来说明结果。
作者：Jan Komenda and Tom''av{s} Masopust
论文ID：2302.10666
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-22