Approximate equivalence and approximate synchronization of metric transition systems
Approximate equivalence and approximate synchronization of metric transition systems
复制标题
度量转换系统的近似等价和近似同步
DOI：
10.1109/cdc.2006.377763
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
George Pappas
中科院分区：
文献类型：
--
作者：
A. Julius;George Pappas
在本文中，我们考虑了度量转换系统，它是一种带有观测和同步标记的度量转换系统。度量的存在导致引入两个新概念，(i) (epsi, delta)-近似（bi）模拟过渡系统和（ii）过渡系统的近似同步。我们证明了(epsi, delta)-近似（bi）模拟的概念可以被认为是对Girard和Pappas关于delta-近似（bi）模拟的早期工作的推广或放松。我们展示了可达性验证和近似（bi）仿真之间的联系，并且我们还使用类似于（bi）仿真函数的工具提供了（bi）仿真关系的表征。近似同步可以看作是通常意义上过渡系统同步的一种推广。实际上，通常的同步和交错同步是本文提出的近似同步概念的两种特殊情况。此外，我们给出了近似（bi）模拟在近似同步方面的组成性质的结果
In this paper, we consider metric transition systems which are transition systems equipped with metrics for observation and synchronization labels. The existence of metrics leads to the introduction of two new concepts, (i) (epsi, delta)-approximate (bi)simulation of transition systems and (ii) approximate synchronization of transition systems. We show that the notion of (epsi, delta)-approximate (bi)simulation can be thought of as a generalization or relaxation of the earlier work on delta-approximate (bi)simulation by Girard and Pappas. We demonstrate the link between reachability verification and approximate (bi)simulation, and we also provide a characterization of (bi)simulation relations using a tool similar to the (bi)simulation function. Approximate synchronization can be thought of as a generalization of synchronization of transition systems in the usual sense. In fact, the usual synchronization and interleaving synchronization are two special cases of the notion of approximate synchronization developed in this paper. Furthermore, we present a result on the compositional properties of the approximate (bi)simulation with respect to the approximate synchronization