• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >Logical characterizations of simulation and bisimulation for fuzzy transition systems
【24h】

Logical characterizations of simulation and bisimulation for fuzzy transition systems

机译：模糊过渡系统的仿真和双仿真的逻辑特征

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuzzy simulation has neither negation nor disjunction, which is very different from the well-known logical characterizations of probabilistic simulations, although the completeness proofs of our characterization results are inspired by relevant research in probabilistic concurrency theory. The logic for characterizing fuzzy bisimulation also deviates from that for probabilistic bisimulations. (C) 2015 Elsevier B.V. All rights reserved.
机译：众所周知，仿真和双仿真对于形式化系统的抽象和比较很有用，并且最近已将它们引入模糊系统。在这项研究中，我们为仿真和双仿真提供了完善而完整的逻辑特征，它们是通过Hennessy-Milner Logic的两个变体在模糊标记的过渡系统上定义的。表征模糊仿真的逻辑既没有取反也没有分离，这与概率仿真的众所周知的逻辑表征有很大不同，尽管我们表征结果的完整性证明是受概率并发理论相关研究的启发。表征模糊双仿真的逻辑也不同于概率双仿真的逻辑。 （C）2015 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号