可分解闭环系统理论
A theory of desynchronisable closed loop system
摘要：
实现一个监督控制器的任务是不平凡的，即使存在不同的理论，允许这些控制器的自动合成的形式。这种不和谐的原因之一是由于异步之间的相互作用的工厂和它的控制器的实施，而现有的监督控制理论假设同步的相互作用。因此，实施遭受所谓的不精确同步问题。在本文中，我们解决的问题，不精确的同步过程中的代数设置，通过解决一个更一般的问题的细化。在一个给定的同步闭环系统中引入一个通信介质，构造了一个异步闭环系统。我们的目标是找到一个同步闭环系统分支双相似到相应的异步闭环系统的充分条件。
英文摘要：
The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to the asynchronous interaction between a plant and its controller in implementations, whereas the existing supervisory control theories assume synchronous interaction. As a consequence the implementation suffer from the so-called inexact synchronisation problem. In this paper we address the issue of inexact synchronisation in a process algebraic setting, by solving a more general problem of refinement. We construct an asynchronous closed loop system by introducing a communication medium in a given synchronous closed loop system. Our goal is to find sufficient conditions under which a synchronous closed loop system is branching bisimilar to its corresponding asynchronous closed loop system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
