朱利安·卡尔伯特;塞巴斯蒂安·马特内特;安托万·吉拉德;拉斐尔·荣格斯。 无记忆的具体化关系。 arXiv:2403.09556 预印本，arXiv:2403.09556[math.DS]（2024）。 摘要：我们引入了无记忆具体化关系（MCR）的概念来描述控制器综合上下文中的抽象。该关系是交替仿真关系（ASR）的一个具体实例，可以简化控制器体系结构。在ASR的情况下，具体化的控制器需要模拟原始系统和抽象系统两个系统的并发演化，而对于MCR，所设计的控制器只需要当前具体状态的知识。我们证明，只有当涉及非确定性量化器时，例如在状态空间离散化由重叠单元组成的情况下，ASR和MCR之间的区别才会变得显著。我们还表明，交替模拟系统的任何系统抽象都可以完成以满足MCR为代价的，但这会增加抽象中的非确定性。我们澄清了MCR和反馈精化关系（FRR）之间的区别，特别是前者允许单元内的非恒定控制器。这为构建实用抽象提供了更大的灵活性，例如，通过减少抽象中的非确定性。最后，我们证明了这个关系对于保证上述性质不仅是充分的，而且是必要的。 BibTeX公司 引用 \textit{J.Calbert}等人，“无记忆的具体化关系”，预印本，arXiv:2403.09556[math.DS]（2024） 全文： arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了一个错误，请直接向arXiv报告.