模糊迁移系统的一种行为距离
人工智能
2015-03-19 v1
摘要
与现有的模糊系统互模拟方法不同,我们引入了一种行为距离,用于度量非确定性模糊迁移系统中各状态之间的行为相似度。该行为距离被定义为一个适当单调函数的最大不动点,从而提供了互模拟的定量类比。该行为距离具有一个重要性质:两个状态之间的距离为零,当且仅当它们互模拟。此外,对任意给定的阈值,我们发现行为距离受该阈值约束的状态彼此等价。另外,我们证明了两种系统组合算子——并行组合与乘积——相对于我们的行为距离是非扩张的,这使得组合验证成为可能。
引用
@article{arxiv.1110.0248,
title = {A Behavioral Distance for Fuzzy-Transition Systems},
author = {Yongzhi Cao and Huaiqing Wang and Sherry X. Sun and Guoqing Chen},
journal= {arXiv preprint arXiv:1110.0248},
year = {2015}
}
备注
12 double column pages