2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。 （英语） Zbl 1411.93004号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-6282-5）。xi，第299页。(2019). 将索引文章显示为搜索结果。 出版商描述：HSCC专注于原创研究，涉及来自计算机科学、控制理论和应用数学的概念、工具和技术，用于混合系统的分析和控制，重点是计算方面。HSCC的论文涵盖了从理论结果到实际考虑，以及从学术研究到工业应用的广泛主题。HSCC上提出的技术既适用于人造网络物理系统，也适用于表现出混合行为的自然系统。对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1402.93017号].索引文章：塞尔吉·博戈莫洛夫；Goran Frehse；阿米特·古龙（Amit Gurung）；李东旭；乔治·马蒂乌斯（Georg Martius）；Rayarshi Ray，使用符号可达性和轨迹拼接对混合系统进行伪造，1-10[Zbl 07120135号]埃里克·古鲍特（Eric Goubault）；Sylvie推杆，控制系统验证的内部和外部可达性，11-22[Zbl 07120136号]斯坦利·巴克；Tran，Hoang-Dung；泰勒·T·约翰逊。，十亿维仿射系统的数值验证，23-32[兹伯利07120137]亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。，SReachTools:一个MATLAB随机可达性工具箱，33-38[Zbl 07120138号]塞尔吉·博戈莫洛夫；马塞洛·福雷茨；Goran Frehse；Kostiantyn波托姆金；克里斯蒂安·席林，JuliaReach:基于集合的可达性工具箱，39-44[Zbl 07120139号]阿巴斯，侯赛姆；亚什·瓦尔丹（Yash Vardhan）长裤；拉胡尔·曼哈拉姆，一般信号类的时间逻辑鲁棒性，45-56[Zbl 07120140号]托马斯·费雷尔；德扬·尼科维奇；亚历山大·唐泽（Alexandre Donzé）；伊藤久弘；詹姆斯·卡宾斯基，接口软件信号时序逻辑，57-66[Zbl 07120141号]何希明，使用自动机模式重新访问定时逻辑，67-76[Zbl 07120142号]纳塔娜·菲亚尔科夫；约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔，关于线性时不变系统可达性的可判定性，77-86[Zbl 07120143号]拉诺特、拉格罗；马西莫·梅罗（Massimo Merro）；法比奥·莫加维罗，关于线性有界周期网络物理系统的可判定性，87-98[Zbl 07120144号]尼古拉·贝内什；卢博什，布里姆；贾纳，德拉日阿诺娃；塞缪尔·帕斯特瓦（Samuel Pastva）；萨夫拉内克，大卫，基于可判定SMT的非线性动力学系统的面抽象，99-108[Zbl 07120145号]穆罕默德·马盖内姆（Mohamed Maghenem）；里卡多·桑费利斯（Ricardo G.Sanfelice）。，通过屏障功能表征混杂夹杂物的安全性，109-118[Zbl 07120146号]杨国松；若昂·赫斯潘哈。；丹尼尔·利伯松，关于切换线性系统的拓扑熵和稳定性，119-127[Zbl 07120147号]薛、白；王秋叶；詹乃军；马丁·范策尔，状态约束摄动多项式系统的鲁棒不变集生成，128-137[兹伯利07120148]马修·菲利普；Jungers，拉斐尔·M。，路径完备方法顺序的完整表征，138-146[Zbl 07120149号]孙晓武；Khedr，Haitham；亚瑟·舒克利，神经网络控制自治系统的形式验证，147-156[Zbl 07120150号]Souradeep杜塔；陈欣；桑卡拉纳拉亚南，斯里拉姆，使用回归多项式规则推理对神经反馈系统进行可达性分析，157-168[Zbl 07120151号]拉多斯拉夫·伊万诺夫；詹姆斯·韦默（James Weimer）；拉杰夫·阿鲁尔；乔治·帕帕斯（George J.Pappas）。；Lee，Insup公司，Verisig：使用神经网络控制器验证混合系统的安全特性，169-178[Zbl 07120152号]雅古比、沙基巴；乔治·费内科斯，带机器学习组件的控制系统灰箱对抗性测试，179-184[Zbl 07120153号]Ghosh，Shromona；索米尔·班萨尔；阿尔贝托Sangiovanni-Vincentelli；Seshia，Sanjit A。；克莱尔·汤姆林，用于确定未知动力学系统的安全环境和控制器的新模拟度量，185-196[兹伯利07120154]黄超；李文超；朱，齐，弱硬系统的正式验证，197-207年[Zbl 07120155号]穆罕默德·哈提卜；马吉德·扎马尼，根据定时合同验证和合成互连嵌入式控制系统，208-217[Zbl 07120156号]阿涅夫拉维斯，坦桑尼亚；丹尼尔·奈德（Daniel Neider）；马修·菲利普；保罗·塔布阿达埃夫罗斯托斯。rLTL验证器，218-223[Zbl 07120157号]皮尔雷·让·梅耶（Pierre-Jean Meyer）；亚历克斯，德文波特；穆拉特·阿卡克，TIRA：区间可达性分析工具箱，224-229[Zbl 07120158号]托比亚马尔库奇；俄罗斯·特德雷克，用于优化控制分段仿射系统的混合整数公式，230-239[Zbl 07120159号]Nathalie Cauchi；卢卡·劳伦蒂；拉希贾尼安·莫特萨（Morteza Lahijanian）；亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；卢卡·卡德利，通过不确定性实现效率：随机混合系统的可扩展形式综合，240-251[Zbl 07120160号]哈立德，马哈茂德；马吉德·扎马尼,p面：符号控制加速生态系统，252-257[Zbl 07120161号]Nathalie Cauchi；亚历山德罗·阿巴特，海报摘要：StocHy–随机过程的自动验证和合成。，258-259 [Zbl 07120162号]纪尧姆·O·伯杰。；Jungers，拉斐尔·M。，海报摘要：计算非线性系统双曲不变集的形式化方法。，260-261 [Zbl 07120163号]Souradeep杜塔；陈欣；杰哈，苏米特；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里演示摘要：Sherlock–用于验证神经网络反馈系统的工具。，262-263 [Zbl 07120164号]亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。，演示摘要：SReachTools:一个MATLAB随机可达性工具箱。，264-265 [兹伯利07120165]秦欣；Jyotirmoy V.德斯穆赫。海报摘要：具有概率保证的信号时序逻辑预测监测。，266-267 [Zbl 07120166号]伊恩·米切尔（Ian M.Mitchell）。；雅各布·巴齐斯（Jacob Budzis）；安德烈·博利亚切韦，海报摘要：通过分区缩放进行不变量、生存性和鉴别核近似。，268-269 [Zbl 07120167号]阿南德·巴拉克里希南（Anand Balakrishnan）；Jyotirmoy V.德斯穆赫。，海报摘要：使用STL的结构化奖励功能。，270-271 [Zbl 07120168号]Masaki Waga；一郎·哈索，海报摘要：Moore-machine过滤，用于定时和非定时模式匹配。，272-273 [Zbl 07120169号]Masako Kishida海报摘要：带量化器的加密控制系统。，274-275 [Zbl 07120170号]拉特利奇（Kwesi Rutledge）；勇、司政；内克米耶·奥扎伊，海报摘要：均衡恢复：控制和估计的弱化不变性，276-277[Zbl 07120171号]杨立仁；内克米耶·奥扎伊，海报摘要：将LTL监控与模型失效相结合，以改进混合系统的故障可检测性分析。，278-279 [Zbl 07120172号]刘泽祥；内克米耶·奥扎伊，海报摘要：带预览自动装置的安全控制。，280-281 [Zbl 07120173号]穆罕默德·姆盖内姆；里卡多·桑费利斯（Ricardo G.Sanfelice）。，关于使用屏障功能对混杂夹杂物进行安全表征的海报，282-283[Zbl 07120174号]尤拉吉·科尔查克；一郎·哈索；杜布特，Jérémy；胜本，Shin-ya；戴维·斯普伦格（David Sprunger）；秋久山田，海报摘要：关系微分动态逻辑。，284-285 [Zbl 07120175号] 引用于1审查 MSC公司： 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 00B25型 杂项特定利益的会议记录 引文：Zbl 1402.93017号 PDF格式BibTeX公司 XML格式引用 2019年4月16日至18日，加拿大魁北克省蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（2019；Zbl 1411.93004） 全文： 内政部