Simulation for lattice-valued doubly labeled transition systems
Simulation for lattice-valued doubly labeled transition systems
复制标题
格值双标记跃迁系统的模拟
DOI：
10.1016/j.ijar.2013.11.009
复制
发表时间：
2014-03
影响因子：
3.9
通讯作者：
Yixiang Chen
中科院分区：
文献类型：
--
作者：
Haiyu Pan;Yongzhi Cao;Min Zhang;Yixiang Chen
在过去的几十年中，大量的多值转移系统被提出来分析反应系统的定量行为，这些系统的转移或状态被标记为特定的权重。为了建立一个统一的框架来建模和分析具有定量信息的系统，在本文中，我们在剩余格的框架中提出了双标记转移系统的扩展，我们将其称为格值双标记转移系统（LDLTS）。我们的模型可以专门用于完整剩余格、模糊过渡系统和多值克里普克结构上的模糊自动机。与传统的相似性是/否方法相比，我们随后引入了 LDLTS 之间的格值相似性来衡量两个系统的接近程度，这是来自剩余格的值。此外，我们探索了格值相似性的鲁棒性和组合性的特性。最后，我们将 Hennessy-Milner 逻辑扩展到剩余格值设置，并表明所获得的逻辑是充分的并且具有格值相似性的表现力。
During the last decades, a large amount of multi-valued transition systems, whose transitions or states are labeled with specific weights, have been proposed to analyze quantitative behaviors of reactive systems. To set up a unified framework to model and analyze systems with quantitative information, in this paper, we present an extension of doubly labeled transition systems in the framework of residuated lattices, which we will refer to as lattice-valued doubly labeled transition systems (LDLTSs). Our model can be specialized to fuzzy automata over complete residuated lattices, fuzzy transition systems, and multi-valued Kripke structures. In contrast to the traditional yes/no approach to similarity, we then introduce lattice-valued similarity between LDLTSs to measure the degree of closeness of two systems, which is a value from a residuated lattice. Further, we explore the properties of robustness and compositionality of the lattice-valued similarity. Finally, we extend the Hennessy–Milner logic to the residuate lattice-valued setting and show that the obtained logic is adequate and expressive with lattice-valued similarity.
登录
查看更多内容
DOI：
10.1016/b978-044450813-3/50026-6
发表时间：
2001
期刊：
--
影响因子：
--
作者：
E. Clarke;Holger Schlingloff
通讯作者：
E. Clarke;Holger Schlingloff
DOI：
10.1007/978-94-011-5300-3
发表时间：
1998-08
期刊：
--
影响因子：
--
作者：
P. Hájek
通讯作者：
P. Hájek
DOI：
10.1007/978-3-642-61455-2_16
发表时间：
1996-09
期刊：
--
影响因子：
--
作者：
Edmund M. Clarke;O. Grumberg;D. E. Long
通讯作者：
Edmund M. Clarke;O. Grumberg;D. E. Long
DOI：
--
发表时间：
2008-04
期刊：
--
影响因子：
--
作者：
C. Baier;J. Katoen
通讯作者：
C. Baier;J. Katoen
影响因子：
11.9
作者：
Yongzhi Cao;M. Ying
通讯作者：
Yongzhi Cao;M. Ying