×

兹马思-数学第一资源

在具有定时迁移和定时通信的多智能体系统中使用成本。(英语) Zbl公司 1440.68306
Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学理论与实践》。第46届国际信息学理论与实践趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12011441-453(2020年)。
摘要:我们使用过程演算来描述具有移动性和通信超时、代理操作和分布式网络位置分配成本的多智能体系统。在给出了一个操作语义和有关此演算的一些结果之后,我们提供了一个将多智能体系统转换为具有双相似行为的加权时间自动机的方法。这种转换允许使用现有的软件工具来验证多智能体系统的各种特性,并优化移动代理分布式网络中涉及的成本。
整个系列请参见[Zbl 1435.68022].
理学硕士:
68T42型 Agent技术与人工智能
68问55 计算理论中的语义学
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
乌帕阿尔
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Abadi,M.,Gordon,A.D.:密码协议的微积分:spi演算。信息计算机。148,1-70(1999年)。https://doi.org/10.1006/inco.1998.2740·Zbl公司 924.68073
[2] Alur,R.,La Torre,S.,Pappas,G.J.:加权时间自动机中的最优路径。理论。计算机。科学。318297-322(2004年)。https://doi.org/10.1016/j.tcs.2003.10.038·Zbl公司 1068.68080
[3] Aman,B.,Ciobanu,G.:实时TiMo中描述的关键系统的验证。STTT 19,395-408(2017年)。https://doi.org/10.1007/s10009-016-0439-9
[4] Barbanera,F.,Bugliesi,M.,Dezani Ciancaglini,M.,Sassone,V.:有界容量演算。在:萨拉斯瓦特,V.A.(编辑)亚洲2003。LNCS,第2896卷,第205-223页。斯普林格,海德堡(2003年)。https://doi.org/10.1007/978-3-540-40965-6_14·Zbl公司 1215.68036
[5] 贝尔曼,G.,大卫,A.,拉尔森,K.G.:关于乌帕的教程。输入: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
[6] Bordini,R.H.,Fisher,M.,Pardavila,C.,Wooldridge,M.J.:模型检查代理语言。第二届自主智能体和多智能体系统国际联席会议,AAMAS 2003,第409-416页(2003年)。https://doi.org/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
[8] 过程代数与Petri网中的时间移动性。J。日志。阿尔及利亚。程序。80377-391(2011年)。https://doi.org/10.1016/j.jlap.2011.05.002·Zbl公司 1230.68154
[9] Ciobanu,G.,Prisacariu,C.:分布式系统的计时器。电气。理论笔记。计算机。科学。第81-99页(2006年)。https://doi.org/10.1016/j.entcs.2006.07.013
[10] Eberbach,E.:用于解决问题的微积分过程代数:处理难计算问题的范式转变。理论。计算机。科学。383200-243(2007年)。https://doi.org/10.1016/j.tcs.2007.04.012·Zbl公司 1124.68069
[11] Giordano,L.,Martelli,A.,Schwind,C.:通过时间动作逻辑中的模型检查来验证通信代理。收件人:阿尔弗雷斯,J.J.,莱特,J(编辑)JELIA 2004。LNCS(LNAI),第3229卷,第57-69页。斯普林格,海德堡(2004年)。https://doi.org/10.1007/978-3-540-30227-8_8·Zbl公司 1111.68677
[12] Hennessy,M.,Gaur,M.:在\(\pi\)—微积分中计算成本(扩展摘要)。电气。理论笔记。计算机。科学。229117-129(2009年)。https://doi.org/10.1016/j.entcs.2009.06.042·Zbl公司 1291.68288
[13] Huang,X.,Singh,A.,Smolka,S.A.:使用整数时钟验证时钟同步协议。ISSE 7119-130(2011年)。https://doi.org/10.1007/s11334-011-0152-5
[14] Kiehn,A.,Arun Kumar,S.:摊销的相互刺激。在:王,F(2005年版)。LNCS,第3731卷,第320-334页。斯普林格,海德堡(2005年)。https://doi.org/10.1007/11562436_24·Zbl公司 1169.68545
[15] Milner,R.:通信和移动系统-微积分。剑桥大学出版社,剑桥(1999)·Zbl公司 942.68002
[16] Saeedloei,N.,Gupta,G.:时间\(\pi\)—微积分。地址: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
[17] 富冈,D。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。