×
潘海宇;曹永志;张敏;陈一香

格值双标记转移系统的模拟。 （英语） Zbl 1316.68063号

国际J近似推理 55，第3期，797-811（2014）.
摘要：在过去的几十年中，人们提出了大量的多值跃迁系统来分析反应系统的定量行为，这些系统的跃迁或状态被标记为特定的权重。为了建立一个统一的框架来建模和分析具有定量信息的系统，本文在剩余格的框架中提出了双标记转移系统的一种扩展，我们称之为格值双标记转移系（LDLTS）。我们的模型可以专门用于完备剩余格、模糊转移系统和多值Kripke结构上的模糊自动机。与传统的“是/否”相似性方法相比，我们在LDLTS之间引入了格值相似性来衡量两个系统的贴近度，即来自剩余格的值。进一步，我们研究了格值相似性的鲁棒性和组合性。最后，我们将Hennessy-Milner逻辑推广到剩余格值集，并证明所得到的逻辑是充分的，并且具有格值相似性。

引用于11文件

理学硕士：

65年第68季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

模拟;模糊自动机;剩余格;Hennessy-Milner逻辑;过渡系统

软件：

魔法
PDF格式BibTeX公司 XML格式引用
\textit{H.Pan}等人，《国际近似推理》55，第3期，797--811（2014；Zbl 1316.68063）
全文： 内政部

参考文献：

[1] 丙酮，L。；Ingólfsdóttir，A。；Larsen，K.G。；Srba，J.，《反应系统：建模、规范和验证》（2007），剑桥大学出版社·Zbl 1141.68043号
[2] de Alfaro，L。；费拉，M。；Henzinger，T.，模型检查贴现时间属性，Theor。计算。科学。，345, 1, 139-170 (2005) ·Zbl 1079.68062号
[3] 拜尔，C。；Katoen，J.P.，《模型检验原理》（2008），麻省理工出版社·兹比尔1179.68076
[4] ter Beek，M.H。；Fantechi，A。；Gnesi，S.公司。；Mazzanti，F.，用于分析抽象系统属性的基于状态/事件的模型检查方法，科学。计算。程序。，76, 2, 119-135 (2011) ·Zbl 1213.68392号
[5] Bělohlávek，R.，《模糊关系系统：基础和原理》（2002），Kluwer·Zbl 1067.03059号
[6] Bou，F。；埃斯特娃，F。；Godo，L.，关于有限剩余格上的最小多值模态逻辑，J.Log。计算。，21, 5, 739-790 (2011) ·Zbl 1252.03040号
[7] 曹义忠。；陈国强。；Kerre，E.，模糊转换系统的互模拟，IEEE Trans。模糊系统。，19, 3, 540-552 (2011)
[8] 曹义忠。；Ying，M.S.，模糊离散事件系统的可观测性和分散控制，IEEE Trans。模糊系统。，14, 2, 202-216 (2006)
[9] Chaki，S。；克拉克，E.M。；Ouaknine，J.，《状态、事件和死锁的并发软件验证》，Form.Asp。计算。，17, 461-483 (2005) ·Zbl 1103.68609号
[10] 切奇克，M。；Gurfinkel，A。；Devereaux，B.，符号多值模型检验的数据结构，形式方法系统。设计。，29295-344（2006年）·兹比尔1109.68063
[11] 乔伊里奇，M。；Ignjatović，J。；Damljanović，N.，模糊自动机的互模拟，模糊集系统。，186, 100-139 (2012) ·Zbl 1237.68113号
[12] 乔伊里奇，M。；Ignjatović，J。；Jancic，I.，《模糊自动机之间最大模拟和互模拟的计算》，模糊集系统。，208, 22-42 (2012) ·Zbl 1252.68168号
[13] 克拉克，E.M。；格伦伯格，O。；Peled，D.，《模型检验》（1999），麻省理工学院出版社
[14] Dai，S.S。；Pei，D.W。；郭德华，全蕴涵推理方法的稳健性分析，国际J近似推理。，54, 653-666 (2013) ·Zbl 1316.68175号
[15] 埃斯特娃，F。；Godo，L.，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集系统。，124, 271-288 (2001) ·Zbl 0994.03017号
[16] Fantechi，A。；拉帕杜拉，A。；Mazzanti，F.，面向服务计算的逻辑验证方法，ACM Trans。柔和。工程方法。，21, 3 (2012)
[17] 弗拉米尼奥，T。；戈多，L。；Marchioni，E.，MV-代数上信念函数的逻辑学，Int.J.近似推理。，54, 491-512 (2013) ·Zbl 1264.03049号
[18] Fitting，M.，多值模态逻辑（I）和（II），Fundam。通知。。芬丹。通知。，芬丹。通知。，17, 55-73 (1992) ·Zbl 0772.03006号
[19] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer学术出版社：Kluwer学术出版社波士顿·Zbl 0937.03030号
[20] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32，1，137-161（1985）·Zbl 0629.68021号
[21] 朱利叶斯，A.A。；D’Innocenzo，A。；DiBenedetto，M.D.，度量转换系统的近似等价和同步，系统。控制信函。，58, 94-101 (2009) ·Zbl 1155.93336号
[22] Kroupa，T.，Łukasiewicz逻辑中的状态对应于有理多面体的概率，国际期刊近似推理。，53, 435-446 (2012) ·Zbl 1260.03050号
[23] 库普夫曼，O。；Lustig，Y.，Lattice automata（2007年VWCAI会议记录）。2007年VWCAI会议记录，Lect。注释计算。科学。，第4349卷（2007）），199-213·Zbl 1132.68455号
[24] 库普夫曼，O。；Lustig，Y.，《格子模拟关系和游戏》，国际期刊Found。计算。科学。，21, 2, 167-189 (2010) ·Zbl 1200.68155号
[25] Larsen，K.G。；Fahrenberg，美国。；Thrane，C.R.，《加权转移系统的度量：公理化和复杂性》，Theor。计算。科学。，412, 3358-3369 (2011) ·Zbl 1216.68191号
[26] Li，Y.M。；李博士。；Pedrycz，W.，《衡量模糊推理鲁棒性的方法》，《Int.J.Intell》。系统。，20, 4, 393-413 (2005) ·Zbl 1101.68880号
[27] Li，Y.M.，模糊有限自动机的逼近与鲁棒性，国际期刊近似推理。，47, 247-257 (2008) ·Zbl 1184.68319号
[28] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔纽约·Zbl 0683.68008号
[29] 尼古拉·R·D。；Vaandrager，F.W.，分支互模拟的三种逻辑，J.ACM，42，2，458-487（1995）·Zbl 0886.68064号
[30] 裴德伟，基于蕴涵的模糊推理方法的形式化，《国际近似推理》。，53, 837-846 (2012) ·Zbl 1246.03049号
[31] Pei，D.W。；Yang，R.，模糊逻辑系统的层次结构与应用，Int.J.近似理性。，54, 1483-1495 (2013) ·Zbl 1316.03013号
[32] 贝聿铭。；Wang，G.J.，形式系统的完备性和应用（L^\ast\），科学。中国，Ser。F、 45、1、40-50（2002）·Zbl 1182.03053号
[33] 邱德伟，基于完备剩余格值逻辑的自动机理论（I）和（II），科学。中国，Ser。F.科学。中国，Ser。F、 科学。中国，Ser。F、 45、442-452（2002）·Zbl 1161.68549号
[34] 邱德伟，基于完全剩余格值逻辑的自动机理论中的泵引理：一个注记，模糊集系统。，157, 2128-2138 (2006) ·Zbl 1121.03048号
[35] 邱，D.W.，关于特里拉CHC模型的注释，Artif。智力。，171, 239-254 (2007) ·Zbl 1168.06302号
[36] Shoham，S。；Grumberg，O.，《多值模型检验游戏》，J.Compute。系统。科学。，78, 414-429 (2012) ·Zbl 1257.68105号
[37] 苏兰，C.R。；Fahrenberg，美国。；Larsen，K.G.，加权过渡系统的定量分析，J.Log。阿尔盖布。程序。，79, 7, 689-703 (2010) ·Zbl 1204.68137号
[38] Wu，L.H。；邱德伟，基于完备剩余格值逻辑的自动机理论：约简与最小化，模糊集系统。，161, 12, 1635-1656 (2010) ·Zbl 1192.68426号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。