×

在具有定时迁移和定时通信的多代理系统中使用成本。 (英语) Zbl 1440.68306号

Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12011, 441-453 (2020).
摘要:我们使用过程演算来简单描述具有移动性和通信超时、代理操作和分布式网络位置分配成本的多代理系统。在给出操作语义和有关此演算的一些结果之后,我们将多智能体系统转换为具有相似行为的加权时间自动机。这种转换允许使用现有的软件工具来验证多代理系统的各种属性,并优化移动代理的分布式网络所涉及的成本。
关于整个系列,请参见[Zbl 1435.68022号].

MSC公司:

68T42型 Agent技术与人工智能
第68季度55 计算理论中的语义学
60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

Uppaal公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abadi,M.,Gordon,A.D.:密码协议的演算:spi-calculus。Inf.计算。148, 1-70 (1999). https://doi.org/10.1006/inco.1998.2740 ·Zbl 0924.68073号 ·doi:10.1006/inco.1998.2740
[2] Alur,R.,La Torre,S.,Pappas,G.J.:加权时间自动机中的最优路径。西奥。计算。科学。318, 297-322 (2004). https://doi.org/10.1016/j.tcs.2003.10.038网址 ·Zbl 1068.68080号 ·doi:10.1016/j.tcs.2003.10.38
[3] Aman,B.,Ciobanu,G.:验证实时TiMo中描述的关键系统。STTT 19,395-408(2017)。https://doi.org/10.1007/s10009-016-0439-9 ·doi:10.1007/s10009-016-0439-9
[4] Barbanera,F.,Bugliesi,M.,Dezani Ciancaglini,M.,Sassone,V.:有界容量的微积分。收录:Saraswat,V.A.(编辑)《2003年亚洲》。LNCS,第2896卷,第205-223页。斯普林格,海德堡(2003)。https://doi.org/10.1007/978-3-540-40965-6_14 ·Zbl 1215.68036号 ·doi:10.1007/978-3-540-40965-6_14
[5] Behrmann,G.,David,A.,Larsen,K.G.:Uppaal教程。收录:Bernardo,M.,Corradini,F.(编辑)SFM-RT 2004。LNCS,第3185卷,第200-236页。斯普林格,海德堡(2004)。https://doi.org/10.1007/978-3-540-30080-9_7 ·Zbl 1105.68350号 ·doi:10.1007/978-3-540-30080-97
[6] Bordini,R.H.,Fisher,M.,Pardavila,C.,Wooldridge,M.J.:模型检查AgentSpeak。载于:第二届国际自治代理和多代理系统联合会议,AAMAS 2003,第409-416页(2003)。https://doi.org/10.1145/860575.860641 ·数字对象标识代码:10.1145/860575.860641
[7] Ciobanu,G.,Koutny,M.:时间交互和迁移的建模和验证。收录:Fiadeiro,J.L.,Inverardi,P.(编辑)FASE 2008。LNCS,第4961卷,第215-229页。施普林格,海德堡(2008)。https://doi.org/10.1007/978-3-540-78743-3_16 ·doi:10.1007/978-3-540-78743-3_16
[8] Ciobanu,G.,Koutny,M.:进程代数和Petri网中的时间移动性。J.日志。代数。程序。80, 377-391 (2011). https://doi.org/10.1016/j.jlap.2011.05.002 ·Zbl 1230.68154号 ·doi:10.1016/j.jlap.2011.05.002
[9] Ciobanu,G.,Prisacariu,C.:分布式系统计时器。选举人。注释Theor。计算。科学。164, 81-99 (2006). https://doi.org/10.1016/j.entcs.2006.07.013 ·doi:10.1016/j.entcs.2006.07.013
[10] Eberbach,E.:解决问题的$-演算过程代数:处理难计算问题的范式转变。西奥。计算。科学。383, 200-243 (2007). https://doi.org/10.1016/j.tcs.2007.04.12 ·Zbl 1124.68069号 ·doi:10.1016/j.tcs.2007.04.012
[11] Giordano,L.,Martelli,A.,Schwind,C.:通过时序动作逻辑中的模型检查验证通信代理。收录人:Alferes,J.J.,Leite,J.(编辑)JELIA 2004。LNCS(LNAI),第3229卷,第57-69页。斯普林格,海德堡(2004)。https://doi.org/10.1007/978-3-540-30227-8_8 ·兹比尔1111.68677 ·doi:10.1007/978-3-540-30227-8
[12] Hennessy,M.,Gaur,M.:计算微积分(扩展抽象)中的成本。选举人。注释Theor。计算。科学。229, 117-129 (2009). https://doi.org/10.1016/j.entcs.2009.06.042 ·Zbl 1291.68288号 ·doi:10.1016/j.entcs.2009.06.042
[13] Huang,X.,Singh,A.,Smolka,S.A.:使用整数时钟来验证时钟同步协议。第7期,119-130(2011)。https://doi.org/10.1007/s11334-011-0152-5 ·doi:10.1007/s11334-011-0152-5
[14] Kiehn,A.,Arun-Kumar,S.:摊销的相互模拟。作者:Wang,F.(编辑)FORTE 2005。LNCS,第3731卷,第320-334页。斯普林格,海德堡(2005)。https://doi.org/10.1007/11562436_24 ·Zbl 1169.68545号 ·doi:10.1007/11562436_24
[15] Milner,R.:通信和移动系统-(pi)演算。剑桥大学出版社,剑桥(1999)·Zbl 0942.68002号
[16] Saeedloei,N.,Gupta,G.:时间微积分。收录:Abadi,M.,Lluch Lafuente,A.(编辑)TGC 2013。LNCS,第8358卷,第119-135页。查姆施普林格(2014)。https://doi.org/10.1007/978-3-319-05119-2_8 ·Zbl 1348.68169号 ·doi:10.1007/978-3-319-05119-28
[17] 富冈,D·doi:10.1007/978-3-540-37621-72
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。