×

一类离散事件过程的监督控制。 (英语) Zbl 0618.93033号

讨论了一类离散事件过程(DEP)控制的定性和结构方面。假设这些过程是离散的、异步的,并且在某种意义上是不确定的。利用经典自动机和形式语言理论推导了DEP和受控DEP(CDEP)的抽象模型。这些模型是一些形式语言的生成器。CDEP的控制包括控制模式的顺序切换(对输入字母表的指定子集的一些二进制分配)。这是由一个有限自动机完成的,它与一些状态反馈映射一起构成了一个称为监督器的控制结构。给出了监督加权过程模型完备性的条件。
为了定义由闭环结构生成的语言的可控性,引入了与监控程序控制的CDEP相关的语言的几个定义。然后定义了一个适当的监督器,并且有一个定理表明,对于一个非空的、有标记的和可控的语言,存在适当的监听器,它在模型的闭环结构中生成该语言。引入了与闭环系统的最小可接受行为和该系统的法律行为相对应的语言。然后讨论了一些综合问题,即监督控制问题(SCP)和监督标记问题(SMP)。可以在格理论意义上对SMP和SCP的解进行排序,并定义满足行为约束的最小限制解。
第一个主要结果是关于SMP和SCP以最小限制方式的可解性的定理。然后定义了主管的投影。下一章对一个给定的非空的、可控的、有标记的和封闭的语言的有效结构进行了抽象刻画。第二个结果是一个定理,大致说明“每个有效构造的监管器都是期望闭环行为的商”。两个例子说明了本文中引入的概念,总结了本文的介绍。
审核人:A.卡辛斯基

MSC公司:

93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
93立方厘米 控制理论中的非线性系统
93个B05 可控性
93B20型 最小系统表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部