2.SynCoP 2015:英国伦敦
埃蒂安·安德烈 , 戈兰·弗雷斯 :
第二届复杂参数合成国际研讨会,SynCoP 2015,2015年4月11日,英国伦敦。 OASIcs公司 44, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2015 ,国际标准图书编号 978-3-939897-82-8 前言、目录、前言、车间组织。 i-xii(i-xii) 帕罗什·阿齐兹·阿卜杜拉 , 弗雷德里克·哈齐扎 , 卢卡斯·霍利克 :
查看抽象-教程(受邀论文)。 1-15 玛尔塔·奎亚特科夫斯卡 :
概率实时系统的参数综合(特邀论文)。 16-16 Benoît Delahaye公司 :
参数区间马尔可夫链的一致性。 17-32 阿德里安·勒科恩特 , 弗洛里安·德·维斯特 , 克里斯蒂安·雷伊 , 卢多维克·查莫因 , 劳伦特·弗里堡 :
使用模型降阶和状态空间对分的切换控制系统的保证控制。 33-47 劳伦特·弗里堡 , 乌尔里希·库恩 , 尼古拉斯·马基 :
采样切换系统分布式控制器的基于游戏的综合。 48-62 Bharath Siva Kumar Tati修道院 , 马库斯·西格尔 :
带有动作和状态标签的马尔可夫链的参数和控制器综合。 63-76 彼得·克里斯托弗森 , 米克尔·汉森 , 安德斯·马里亚加 , 朱利安·特里尔·林斯莫斯 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
加权系统的参数验证。 77-90 朱利安·亚历山大·迪特·桑德雷托 , 亚历山大·查普特 , 奥利维尔·穆利埃 :
基于区间分析的非线性不确定闭环系统PI控制器的整定。 91-102 尼古拉斯·戴维 , 克劳德·贾德 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 :
Petri网中的离散参数(非正式表示)。 103-103 埃蒂安·安德烈 , 卡米尔·科蒂 , 黄家阮 :
参数时间自动机的增强分布式行为制图(非正式表示)。 104-105 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
IC3参数合成(非正式演示)。 106-107
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)