斯特凡诺·米诺波利;戈兰·弗雷斯 从仿真模型到使用紧急和松弛的混合自动机。 (英语) Zbl 1366.68148号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。287-296(2016年)。 MSC公司: 第68季度第45季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 68岁20岁 模拟(MSC2010) 93A30型 系统数学建模(MSC2010) 关键词:混成自动机;混合系统;数值分析;可达性分析;紧迫性 软件:Matlab公司;托勒密;Modelica公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Minopoli}和\textit{G.Frehse},in:第19届ACM混合系统国际会议论文集:计算和控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。287--296(2016年;Zbl 1366.68148) 全文: 内政部 参考文献: 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。