第23届HSCC 2020:澳大利亚新南威尔士州悉尼
亚伦·D·艾姆斯 , 桑吉特·塞希亚 , Jyotirmoy Deshmukh公司 以下为:
HSCC’20:第23届ACM混合系统国际会议:计算与控制,澳大利亚新南威尔士州悉尼,2020年4月21日至24日。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7018-9
可达性
Niklas Kochdumper公司 , 巴斯蒂安·舒尔曼 , 马蒂亚斯·阿尔霍夫 以下为:
利用依赖关系获得可达集的子集。 1:1-1:10 Niklas Kochdumper公司 , 马蒂亚斯·阿尔霍夫 以下为:
具有非线性保护集的混合系统可达性分析。 2:1-2:10 维克托里奥·埃尔·哈基姆 , 马可·扬·杰里特·贝科奥伊(Marco Jan Gerrit Bekooij) 以下为:
混合自动机可达性分析中分解聚集的动态感知子空间识别。 3:1-3:11
线性系统分析
纪尧姆·O·伯杰 , 拉斐尔·荣格斯 以下为:
切换线性系统状态观测的最坏情况拓扑熵和最小数据率。 4:1-4:11 马本·拉比 以下为:
稳定仿射系统间多面体切换的分段解析轨迹计算。 5:1-5:11 詹姆斯·费雷兹 , 亚赛尔·舒克里 以下为:
AReN:用于LTI系统模型预测控制的有保证ReLU NN体系结构。 6:1-6:11
时间逻辑
Corto Mascle公司 , 丹尼尔·奈德 , 马克西米利安·施温格 , 保罗·塔布阿达 , 亚历山大·韦内特 , 马丁·齐默尔曼 以下为:
从LTL到rLTL监控:通过健壮语义改进可监控性。 7:1-7:12 韩慧琴(Hyejin Han) , 穆罕默德·马盖内姆 , 里卡多·桑费利斯 以下为:
混合系统中公式满足直到算子的充分条件。 8:1-8:10 萨拉·穆罕默德·内贾德 , Jyotirmoy V.Deshmukh公司 , 阿尼鲁德·戈皮纳特·普兰尼 , 马塞尔·巴斯奎兹·香拉特(Marcell Vazquez-Chanlatte) , 亚历山大·唐泽 以下为:
使用高效枚举技术对时间序列数据进行可解释的分类。 9:1-9:10
正式验证
卡琳娜·皮尔奇 , 阿恩·哈特曼斯 , 安妮·雷姆克 以下为:
具有随机触发的混合Petri网的经典和非营养模型检验。 10:1-10:11 Masaki Waga公司 以下为:
具有鲁棒性引导的黑盒检查的网络物理系统的伪造。 11:1-11:13 莫伊塔巴·扎雷 , Yu Wang(王宇) , 米罗斯拉夫·帕季奇 以下为:
基于学习的网络物理系统的统计验证。 12:1-12:7 泰萨·库什纳 , 斯里拉姆·桑卡拉纳拉亚南 , 马克·布雷顿 以下为:
葡萄糖-胰岛素动力学神经网络模型的一致性验证。 13:1-13:12
形式综合
鲁帕克·马朱姆达尔 , 考希克·马利克 , 萨代赫·苏贾尼 以下为:
随机系统上Büchi规范的符号控制器综合。 14:1-14:11 鲁帕克·马朱姆达尔 , 内克米耶·奥扎伊 , 安妮·凯瑟琳·施穆克 以下为:
基于抽象的输出反馈控制器设计。 15:1-15:11 卡斯拉·加西米 , 萨德拉·萨德拉迪尼 , 凯琳·贝尔塔 以下为:
通过假设担保合同的凸参数化进行合成。 16:1-16:10 普拉纳夫·阿肖克 , 马蒂亚斯·杰克米耶 , Pushpak Jagtap公司 , 扬·克伦斯克 , 马克西米利安·魏宁格 , 马吉德·扎马尼 以下为:
dtControl:用于控制器表示的决策树学习算法。 17:1-17:7
混合系统理论
大卫·布雷索林 , 彼得·柯林斯 , 卢卡·杰雷蒂 , 罗伯托·塞加拉 , 蒂齐亚诺别墅 , 萨尼娅·齐瓦诺维奇-冈萨雷斯 以下为:
混合自动机的可计算合成语义。 18:1-18:11 安东·普洛斯库尼科夫 以下为:
采样时间仿真是否保持指数稳定性? 19:1-19:8 贝诺·特凯劳德 , 马蒂亚斯·马兰丹 , 琼·蒂鲍特 以下为:
多模DAE系统的隐式结构分析。 20:1-20:11 穆罕默德·马盖内姆 , 里卡多·桑费利斯 以下为:
具有安全应用的混合系统可达性映射的局部lipschitzness。 21:1-21:11
安全关键控制
Pushpak Jagtap公司 , 阿卜杜拉·斯威基尔 , 马吉德·扎马尼 以下为:
互联控制系统的控制屏障功能的组成结构。 22:1-22:11 扎尼斯·阿内夫拉维斯 , 保罗·塔布阿达 以下为:
一种用于计算受控不变集的简单层次结构。 23:1-23:11 萨德拉·萨德拉迪尼 , 俄罗斯·特德雷克 以下为:
具有保证约束满足的鲁棒输出反馈控制。 24:1-24:10 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 以下为:
使用神经网络合成障碍证书。 25:1-25:11
自治和多智能体系统
科林·谢尔·布雷迈尔 , 胡萨姆·阿巴斯 以下为:
自治系统安全性的道义逻辑分析。 26:1-26:11 阿卡什·阿比舍克 , 哈里·苏德 , Jean-Baptiste珍妮 以下为:
汽车转弯时制动的正式验证。 27分27秒11秒 拉多斯拉夫·伊万诺夫 , 泰勒·J·卡彭特 , 詹姆斯·魏默 , 拉吉夫·阿鲁尔 , 乔治·J·帕帕斯 , 因苏普·李 以下为:
案例研究:使用神经网络控制器验证自动赛车的安全性。 28:1-28:7 丹尼尔·贾恩·奥尼亚 , 小曼纽尔·马佐。 以下为:
蚁群多智能体群的收敛性。 29:1-29:11
后期训练: 海报/演示文件
普拉纳夫·阿肖克 , 马蒂亚斯·杰克米耶 , Pushpak Jagtap公司 , 扬·克伦斯克 , 马克西米利安·韦宁格 , 马吉德·扎马尼 以下为:
dtControl:用于控制器表示的决策树学习算法。 30:1-30:2 阿波法兹·拉瓦伊 , 马哈茂德·哈立德 , 萨代赫·苏贾尼 , 马吉德·扎马尼 以下为:
AMYTISS:大型随机系统自动控制器综合的并行工具。 31:1-31:2 内克米耶·奥扎伊 以下为:
触发间混合自动机:责任敏感安全的形式主义。 32:1-32:2 斯坦利·塞缪尔 , 考希克·马利克 , 安妮·凯瑟琳·施穆克 , 丹尼尔·奈德 以下为:
基于弹性抽象的控制器设计。 33:1-33:2