模糊离散事件系统的监督控制用于仿真等价性
Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence
AI总结：
本文提出模糊离散事件系统在模糊仿真等价性下的监督控制理论，解决语言等价性表达力不足的问题，并通过实例验证方法和性质。
摘要：
模糊离散事件系统（FDESs）的模糊仿真等价性监督控制理论已得到发展。然而，语言等价性在表达力上有局限。如果给定的规范无法用语言等价性表达，则语言等价性的控制不起作用。本文进一步建立了FDESs的模糊仿真等价性监督控制理论，其表达力强于模糊语言等价性。首先，我们正式定义了两个FDESs之间的模糊仿真和模糊仿真等价性概念。然后，我们提出了一种决定是否存在模糊仿真的方法。此外，我们还展示了模糊仿真关系的几个基本性质。之后，我们提出了基于模糊仿真的可控性概念，并特别表明它作为FDESs模糊监督器存在的必要且充分条件。此外，我们研究了FDESs的“范围”控制问题。一些例子用于说明所获得的主要结果。
英文摘要：
The supervisory control theory of fuzzy discrete event systems (FDESs) for fuzzy language equivalence has been developed. However, in a way, language equivalence has limited expressiveness. So if the given specification can not be expressed by language equivalence, then the control for language equivalence does not work. In this paper, we further establish the supervisory control theory of FDESs for fuzzy simulation equivalence whose expressiveness is stronger than that of fuzzy language equivalence. First, we formalize the notions of fuzzy simulation and fuzzy simulation equivalence between two FDESs. Then we present a method for deciding whether there is a fuzzy simulation or not. In addition, we also show several basic properties of fuzzy simulation relations. Afterwards, we put forward the notion of fuzzy simulation-based controllability, and particularly show that it serves as a necessary and sufficient condition for the existence of the fuzzy supervisors of FDESs. Moreover, we study the "range" control problem of FDESs. Some examples are given to illustrate the main results obtained.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
