斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉迪约特 非线性系统分析的可伸缩静态杂交方法。 (英语) Zbl 1364.68243号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。155-164 (2016). 引用于4文件 MSC公司: 65年第68季度 形式语言和自动机 34A38型 常微分方程混合系统 60年第68季度 规范和验证(程序逻辑、模型检查等) 68平方英寸 模拟(MSC2010) 关键词:抽象;混合系统;杂交;可达性;模拟;验证 软件:SpaceEx公司;HYST公司;C2e2型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。155-164(2016年;Zbl 1364.68243) 全文: 内政部 参考文献: 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。