离散事件系统相对可观测性及其上界子语言
Relative Observability of Discrete-Event Systems and its Supremal Sublanguages
AI总结：
本文提出相对可观测性概念，用于部分观测下的监督控制，通过固定环境语言测试可观测性，具有在集合并集下保持的特性，设计算法计算给定语言的上界相对可观测子语言。
摘要：
我们识别出一种新的可观测性概念，称为相对可观测性，在部分观测下的离散事件系统监督控制中。给定一个固定的环境语言，相对可观测性是相对于该语言进行测试的。相对可观测性比可观测性更强，但具有重要的性质，即在集合并集下保持；因此，给定语言存在上界相对可观测子语言。相对可观测性弱于正常性，因此当与可控性结合时，可产生更广泛受控行为；特别是，没有限制只允许可观察可控事件被禁用。我们设计了计算给定语言的上界相对可观测（且可控）子语言的算法，该子语言通常比正常 counterparts 更大。我们通过引导通道和AGV示例展示了新的可观测性概念和算法。
英文摘要：
We identify a new observability concept, called relative observability, in supervisory control of discrete-event systems under partial observation. A fixed, ambient language is given, relative to which observability is tested. Relative observability is stronger than observability, but enjoys the important property that it is preserved under set union; hence there exists the supremal relatively observable sublanguage of a given language. Relative observability is weaker than normality, and thus yields, when combined with controllability, a generally larger controlled behavior; in particular, no constraint is imposed that only observable controllable events may be disabled. We design algorithms which compute the supremal relatively observable (and controllable) sublanguage of a given language, which is generally larger than the normal counterparts. We demonstrate the new observability concept and algorithms with a Guideway and an AGV example.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
