异步监控器的设计
Design of asynchronous supervisors
摘要：
在实现由\citeauthor{RW:1987}的监督控制理论合成的被控对象和监督者之间的交互时，主要缺点之一是不精确的同步。\citeauthor{balemiphdt}是第一个考虑这个问题，并在他的博士论文中给出的解决方案是在自动机理论领域。我们的目标是解决进程代数设置中的不精确同步问题，因为我们免费获得了模块化和抽象等概念，这些概念对于进一步分析合成系统非常有用。在本文中，我们提出了四种方法来检查一个闭环系统在异步设置，使它是分支双相似的修改（异步）闭环系统。我们修改一个给定的闭环系统中引入缓冲器的工厂模型，监督模型，或输出通道的监督和工厂模型，或在输入通道的监督和工厂模型。引入了可分解闭环系统的概念，它是一类同步闭环系统，使得它们与相应的异步闭环系统分支双相似。最后，我们研究不同的案例研究在异步设置，然后尝试总结的意见（或条件），这将是有益的，以制定一个理论的despersible闭环系统。
英文摘要：
One of the main drawbacks while implementing the interaction between a plant and a supervisor, synthesised by the supervisory control theory of \citeauthor{RW:1987}, is the inexact synchronisation. \citeauthor{balemiphdt} was the first to consider this problem, and the solutions given in his PhD thesis were in the domain of automata theory. Our goal is to address the issue of inexact synchronisation in a process algebra setting, because we get concepts like modularity and abstraction for free, which are useful to further analyze the synthesised system. In this paper, we propose four methods to check a closed loop system in an asynchronous setting such that it is branching bisimilar to the modified (asynchronous) closed loop system. We modify a given closed loop system by introducing buffers either in the plant models, the supervisor models, or the output channels of both supervisor and plant models, or in the input channels of both supervisor and plant models. A notion of desynchronisable closed loop system is introduced, which is a class of synchronous closed loop systems such that they are branching bisimilar to their corresponding asynchronous versions. Finally we study different case studies in an asynchronous setting and then try to summarise the observations (or conditions) which will be helpful in order to formulate a theory of desynchronisable closed loop systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
