第24届HSCC 2021:美国田纳西州纳什维尔
塞尔吉·博戈莫洛夫 , 拉斐尔·荣格斯 :
HSCC’21:第24届ACM混合系统国际会议:计算与控制,田纳西州纳什维尔,2021年5月19-21日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8339-4
混合系统理论
杨国松 , 丹尼尔·利伯松 , 乔·佩·赫斯帕尼亚 :
非线性切换系统的拓扑熵。 1:1-1:11 米里亚姆·加西亚·索托 , 托马斯·汉津格 , 克里斯蒂安·席林 :
从时间序列数据合成仿射动力学混合自动机。 2:1-2:11 白云君 , 汀甘 , 李娇 , 碧灿霞 , 白雪 , 詹乃军(Naijun Zhan) :
扰动下时滞混合系统的切换控制器综合。 3:1-3:11 奎西·J·拉特利奇 , 格伦·周 , 内克米耶·奥扎伊 :
触发间混合自动机的合成安全规则。 4:1-4:11
合成
鲁帕克·马朱姆达尔 , 萨代赫·苏贾尼 :
LQR和LQG控制的可计算性。 5:1-5:7 约翰杰克逊 , 卢卡·劳伦蒂 , 埃里克·弗雷 , 莫特扎·拉希贾尼安 :
部分已知切换随机系统的策略综合。 6:1-6:11 邢绍鹏 , 王佳万 , 雷布 , Xin Chen(新晨) , 李宣东 :
基于分类的无导数优化的近似最优混合控制综合。 7:1-7:11 陈景凯 , 布莱恩·威廉姆斯 , 楚楚凡 :
线性混杂系统的最优混合离散连续规划。 8:1-8:12
验证
爱德华·坎伯扬 :
从后条件到后区域不变量:混合对象的演绎验证。 9:1-9:11 哈马德·艾哈迈德 , Jean-Baptiste珍妮 :
验证混合系统信号时序逻辑规范的程序逻辑。 10:1-10:11 马修·阿巴特 , 马克·莫特 , 埃里克·费隆 , 塞缪尔·库根 :
具有不确定性的动态系统的验证和运行时保证。 11:1-11:10
学习
马克斯·科恩 , 凯琳·贝尔塔 :
基于模型的强化学习用于具有时序逻辑规范的近似最优控制。 12:1-12:11 陈少如 , 马亚尔·法兹利亚布 , 曼弗雷德·莫拉里 , 乔治·J·帕帕斯 , 维克托·普雷西亚多 :
混合系统的lyapunov函数学习。 13:1至13:11 内森·亨特 , 内森·富尔顿 , 萨拉·马利亚坎 , Trong Nghia Hoang公司 , 子hro Das , 阿曼多·索拉勒扎马 :
端到端强化学习的可验证安全探索。 14:1-14:11
可达性
莫汉·丹塔姆 , 阿默里·波利 :
连续时间线性时不变系统可达性的判定。 15:1-15:12 马克·韦兹林格 , 阿德里安·库姆伯格 , 马蒂亚斯·阿尔霍夫 :
非线性系统可达性分析的自适应参数整定。 16:1至16:11
基于神经网络的方法
赵庆叶 , Xin Chen(新晨) , 张一凡 , 蒙沙 , 杨正峰 , 王琳 , 恩义堂 , 陈启光 , 李宣东 :
合成具有两个隐藏层的ReLU神经网络作为混合系统的屏障证书。 17:1-17:11 杨晓东 , 泰勒·T·约翰逊 , Hoang-Dung Tran公司 , 山口友也(Tomoya Yamaguchi) , 巴德·霍夏 , 丹尼尔·普罗霍罗夫 :
使用面顶点关联对深度ReLU神经网络的可达性进行分析。 18:1-18:7 阿尔卑斯·艾迪诺格鲁 , 马亚尔·法兹利亚布 , 曼弗雷德·莫拉里 , 迈克尔·波萨 :
具有神经网络控制器的互补系统的稳定性分析。 19:1-19:10
网络化系统
加布里埃尔·德·阿尔伯克基·格莱泽 , 小曼纽尔·马佐。 :
计算事件触发控件的采样性能。 20:1-20:7 吉尔赫梅·斯卡宾·维奇纳萨 , 丹尼尔·利伯松 :
具有最小数据速率的切换线性系统的量化器设计。 21:1-21:11 赛义德·哈桑 , 强身(Qiang Shen) , 司郑勇 :
对延迟和丢失数据具有鲁棒性的路径相关控制器和估计器综合。 22:1-22:11
案例研究和工具文件
Niklas Kochdumper公司 , 费利克斯·格鲁伯 , 巴斯蒂安·舒尔曼 , 维克托·加曼 , 莫里茨·克利沙特 , 马蒂亚斯·阿尔霍夫 :
AROC:用于自动可达集最优控制器综合的工具箱。 23:1-23:6 亚历山德罗·阿巴特 , 丹尼尔·艾哈迈德 , 亚历克·爱德华兹 , 米尔科·贾科布 , 安德烈亚·佩鲁福 :
FOSSIL:一种使用神经网络对lyapunov函数和屏障证书进行形式化综合的软件工具。 24:1-24:11 马哈茂德·哈立德 , 马吉德·扎马尼 :
OmegaThreads:符号控制器设计 ω -常规目标。 25:1-25:7 高荣轩 , 敖龙寨 , Shusuke Shigenaka先生 , Masaki Onishi先生 :
道路网络中大规模人群运动的混合建模与预测控制。 26:1-26:7 尼古拉·贝尔尼尼 , 米哈伊尔·贝萨 , 雷米·德尔马斯 , 阿图尔·哥尔德 , 埃里克·古博 , 罗曼·佩内克 , 西尔维·普托 , 弗朗索瓦·西利翁 :
四旋翼机姿态控制强化学习中的一些经验教训。 27:1-27:11
海报和演示
阿波法兹·拉瓦伊 , 阿梅内赫·内贾蒂 , 萨代赫·苏贾尼 , 马吉德·扎马尼 :
估计具有形式误差界的随机系统的无穷小生成器:一种数据驱动方法。 28分28秒2 阿波法兹·拉瓦伊 , 阿梅内赫·内贾蒂 , Pushpak Jagtap公司 , 马吉德·扎马尼 :
未知连续时间系统的正式安全验证:数据驱动方法。 29:1-29:2 魏明祥 :
用神经网络设计动态系统的区间观测器。 30:1-30:2 杰里特·格罗·曼 , 迈克尔·巴肯科勒 , 维雷娜·沃尔夫 :
流行病的过度传播加强了流动限制的有效性。 31:1-31:2 萨蒂亚·普拉卡什·纳亚克 , 丹尼尔·奈德 , 马丁·齐默尔曼 :
rLTL游戏的自适应策略。 32:1-32:2 马哈茂德·哈立德 , 马吉德·扎马尼 :
OmegaThreads:符号控制器设计 ω -常规目标。 33:1-33:2 阿内尔·坦瓦尼 :
通过随机通信的网络进行过滤。 34:1-34:2 弗兰克·杰姆 , 阿迪蒂亚·祖奇 , Ufuk Topcu公司 :
飞行中未知系统的数据驱动可达性分析和控制:F-16飞机案例研究。 35:1-35:2