Timothy E.王。;皮埃尔·洛伊奇;鲁克斯,皮埃尔;罗曼·乔布雷多;埃里克·费伦 对模型和代码级别的健壮性进行形式化分析。 (英语) Zbl 1364.93249号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。125-134 (2016). 引用于1文件 MSC公司: 93B40码 系统理论中的计算方法(MSC2010) 90立方厘米22 半定规划 93B35型 灵敏度(稳健性) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:控制软件;形式验证;稳健性裕度;半定规划;静态分析;单输入单输出线性系统 软件:Simulink公司;卢斯特 PDF格式BibTeX公司 XML格式引用 \textit{T.E.Wang}等人,摘自:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。125-134(2016年;Zbl 1364.93249) 全文: 内政部 参考文献: 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。