×

通过过滤进行控制器/编配器合成。 (英语) Zbl 1345.68227号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,33-48(2010)。
摘要:本文对以下决策问题感兴趣:(1)给定有限帧\(\mathcal{F}\),\(\mathcal{F}'\),确定是否存在这样一个帧\(\ mathcal}F})和\(\ mathcal}F}'\otimes\mathcal{F}''\)、\(\马塔尔{F}F})的同步乘积是双相似的;(2) 给定有限帧\(\mathcal{F}\),\(\mathcal{F}'\),确定是否存在这样一个帧\(\ mathcal}F}''),即\(\ mathcal}F})和\。这表明过滤方法的变体足以解决这些问题。
关于整个系列,请参见[Zbl 1281.03003号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔瓦雷斯,C。;Balcázar,J。;加巴罗,J。;Sántha,M.,并行系统设计和分析中的并行复杂性,(PARLE’91,欧洲并行体系结构和语言(1991),Springer-Verlag),288-303
[2] 阿诺德,A。;尼文斯基,D.,《微积分基础》(2001),爱思唯尔出版社·Zbl 0968.03002号
[3] 阿诺德,A。;文森特,A。;Walukiewicz,I.,部分观测控制器合成游戏,理论计算机科学,303,7-34(2003)·Zbl 1175.93148号
[4] Berardi,D。;Calvanee,D。;德贾科莫,G。;伦泽里尼,M。;Mecella,M.,导出其行为的电子服务的自动组合,(面向服务的计算-ICSOC 2003(2003),Springer),43-58
[5] Berardi,D。;Calvanee,D。;德贾科莫,G。;伦泽里尼,M。;Mecella,M.,《基于自动推理的未指定复合电子服务的合成》,(ICSOC’04——第二届面向服务计算国际会议论文集(2004),ACM出版社),105-114
[6] Berardi,D。;Calvanee,D。;德贾科莫,G。;船体,R。;Mecella,M.,《基于转换的语义Web服务与消息传递的自动组合》(《第31届超大数据库国际会议论文集》,VLDB Endowment(2005)),613-624
[7] 布莱克本,P。;de Rijke,M。;Venema,Y.,模态逻辑(2001),剑桥大学出版社·Zbl 0988.03006号
[8] Burch,J。;克拉克,E。;McMillan,K。;Dill,D。;Hwang,L.,《符号模型检验:1020种状态及其以外》,《信息与计算》,98,142-170(1992)·Zbl 0753.68066号
[9] 克拉克,E。;格伦伯格,O。;Jha,S。;卢,Y。;Veith,H.,符号模型检查的反例引导抽象求精,ACM杂志,50752-794(2003)·Zbl 1325.68145号
[10] Harel,D。;Kozen,D。;Tiuryn,J.,《动态逻辑》。(2000),麻省理工学院出版社·Zbl 0976.68108号
[11] 马勒,O。;普努利,A。;Sifakis,J.,《关于定时系统离散控制器的综合》(STACS 95(1995),Springer),229-242·Zbl 1379.68227号
[12] 马斯切尔,A。;Walukiewicz,I.,Web服务组合的下界,(软件科学和计算结构基础(2007),施普林格),274-286·Zbl 1195.68067号
[13] Pistore,M.、Marconi,A.、Bertoli,P.、Traverso,P.:通过在知识级别进行规划来自动组合Web服务。输入:第十九届国际人工智能联合会议记录.国际人工智能联合会议(2005)1252-1259;Pistore,M.、Marconi,A.、Bertoli,P.、Traverso,P.:通过在知识级别进行规划来自动组合Web服务。输入:第十九届国际人工智能联合会议论文集.国际人工智能联合会议(2005)1252-1259
[14] 拉马奇,P.,沃纳姆,W.:离散事件系统的控制。输入:IEEE会议记录IEEE(1989)81-98;拉马奇,P.,沃纳姆,W.:离散事件系统的控制。输入:IEEE会议记录IEEE(1989)81-98标准
[15] Tsitsiklis,J.,《离散动态系统的控制》,《控制、信号和系统数学》,295-107(1989)·Zbl 0677.93045号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。