事件结构的近似迹与单元失败等价

迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等，然而精确相等需要的精确度量在现实物理世界里是无法实现的，因此精确等价的应用是非常有限的，并且精确等价关系不具有鲁棒性。为了克服以上缺陷，该文通过使用Baire度量，提出了包含近似交织迹等价、近似交织单元失败等价、近似步骤迹等价和近似步骤单元失败等价的事件系统近似等价框架。这些近似等价具有以下几种良好性质: 1）近似等价涵盖了精确等价，即传统精确等价是近似等价的特例。2）近似等价关系具有传递性，可以连续使用。

Approximate Trace and Singleton Failures Equivalences for Event Structures

Establishing system equivalences for event structures such as trace and testing equivalences, require the observed actions to be exactly identical. However, an accurate measurement is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire metric, this paper proposes a generalized framework of event structures approximation by developing the notions of approximate interleaving (trace and singleton failures) equivalence and approximate step (trace and singleton failures) equivalence. The proposed framework captures the traditional exact equivalence as a special case. These approximate equivalences satisfy the transitive property, consequently, they can be successively used in event structures approximations.