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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。