15.HSCC 2012:中国北京
陶当 , 伊恩·米切尔 以下为:
混合系统:计算与控制(2012年CPS周的一部分),HSCC’12,中国北京,2012年4月17日至19日。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1220-2
主题演讲
邀请谈话和网络控制
凯琳·贝尔塔 以下为:
动力系统的形式化方法。 3-4个 希思·勒布朗 , Xenofon D.Koutsoukos公司 以下为:
具有对手的网络化多智能体系统中的低复杂性弹性共识。 5-14
验证(1)——不变量的生成和抽象
克里斯托夫·斯洛斯 , 乔治·J·帕帕斯 , 拉斐尔·维斯涅夫斯基 以下为:
使用屏障证书进行成分安全分析。 15-24 拉希德·里比哈 , 纳迪尔·马特林格 , 阿纳尔多·维埃拉·莫拉 以下为:
非线性微分和混合系统的先验归纳不变量生成。 25-34 阿克谢·拉汉斯 , 布鲁斯·H·克罗 以下为:
使用行为关系对网络物理系统进行异构验证。 35-44
验证(2)——可达性计算与博弈
马蒂亚斯·阿尔霍夫 , 布鲁斯·H·克罗 以下为:
混合系统可达性分析中避免几何交集运算。 45-54 沙哈布·凯纳马 , 约翰·N·梅登斯 , Meeko Oishi先生 , 伊恩·米切尔 , 盖·艾伯特·杜蒙特 以下为:
使用最大可达集计算生存核。 55-64 马西莫·贝内雷切蒂 , 马可·费拉 , 斯特凡诺·米诺波利 以下为:
线性混合系统的可达性博弈。 65-74
控制器综合与调度
拉杰夫·阿鲁尔 , 阿舒托什·特里维迪 , 多米尼克·沃伊特扎克 以下为:
恒速多模系统的最优调度。 75-84 Ufuk Topcu公司 , 内克米耶·奥扎伊 , 刘军(Jun Liu) , 理查德·默里 以下为:
模型不确定性下鲁棒离散控制器的综合。 85-94 埃布鲁·艾丁·戈尔 , 米尔恰·拉扎尔 , 凯琳·贝尔塔 以下为:
离散时间线性系统的语言引导控制器综合。 95-104
验证3——抽象和随机搜索
皮埃尔·罗斯 , 罗曼·乔布雷多 , 皮埃尔·洛伊克·卡洛什 , 埃里克·费隆 以下为:
线性时不变系统的通用椭球抽象域。 105-114 Parasara Sridhar Duggirala公司 , 萨扬密特拉 以下为:
混合系统必然性的李雅普诺夫抽象。 115-124 斯里拉姆·桑卡拉纳拉亚南 , 乔治·费内科斯 以下为:
使用交叉熵方法伪造混合系统的时间特性。 125-134
应用和建模
亚伦·D·艾姆斯 , 埃里克·卡西诺 , 马修·鲍威尔 以下为:
通过受人启发的混合零动力学,使用NAO实现动态稳定的两足机器人行走。 135-144 亚历山德罗·科伦坡 , Domitilla Del Vecchio公司 以下为:
交叉口避碰的有效算法。 145年至154年 利纳尔·米基耶夫 , 维雷娜·沃尔夫 以下为:
生化反应网络随机混合模型的参数估计。 155-166 彼得·施拉姆 , 伯特兰·珍妮特 以下为:
从混合数据流语言到混合自动机:一个完整的翻译。 167-176年
稳定性和切换系统
Vamsi Kalyan Putta公司 , 朱光伟 , 江海湖 , 沈静来 以下为:
广义输入状态的有效计算 2 -离散时间切换线性系统的增益。 177-186 知坤社 , 白雪 以下为:
切换混杂系统渐近稳定性的代数分析。 187-196 帕维思拉·普拉巴卡 , 盖尔·杜勒鲁德 , 马赫什·维斯瓦纳坦 以下为:
稳定性推理的先决条件。 197-206
随机系统(1)
萨代赫·埃斯迈尔·扎德赫·苏贾尼(Sadegh Esmaeil Zadeh Soudjani) , 亚历山德罗·阿巴特 以下为:
混合确定性随机动力系统的概率不变性。 207-216 保罗·祖利亚尼 , 克里斯特尔·拜尔 , 埃德蒙·克拉克 以下为:
随机混合系统的Rareevent验证。 217-226 伊利亚·特卡切夫 , 亚历山德罗·阿巴特 以下为:
无限大概率特性的bellman方程的正则化。 227-236
量化和符号控制系统
朱峰 , 韩愈 , 迈克尔·麦考特 , 帕诺斯·安萨克利斯 以下为:
量化下切换系统的无源性和稳定性。 237-244 李立春 , 王晓峰 , 迈克尔·D·莱蒙 以下为:
量化事件触发控制系统中的稳定比特率。 245-254 亚历山德罗·博里 , 佐丹诺·波拉 , 玛丽亚·多梅尼卡·迪贝内代托 以下为:
非线性网络控制系统设计的符号方法。 255-264
随机系统(2)
陈陶璐 , 马可·戴西奥拉 , Marta Z.Kwiatkowska公司 , 亚历山德鲁·梅雷克莱 以下为:
连续时间马尔可夫链上线性持续时间特性的验证。 265-274 亚历山德罗·丹诺琴佐 , 亚历山德罗·阿巴特 , 乔斯特·皮特·卡托恩 以下为:
稳健的PCTL模型检查。 275-286
工具文件
埃梅卡·艾伊西 , 贾白 , 德里克·莱利 , 翁建年 , 严伟 , 袁雪 , Xenofon D.Koutsoukos公司 , Janos Sztipanovits公司 以下为:
NCSWT:网络控制系统的集成建模和仿真工具。 287-290 黄振琪 , 萨扬密特拉 以下为:
从采样的仿真轨迹计算有界到达集。 291-294