{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,7,9]]，“日期-时间”：“2022-07-09T12:46:43Z”，“时间戳”：1657370803199}，“引用-计数”：9，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3”，“许可证”：[{“开始”：{“日期-零件”：[2016,9,27]]，我”：“2016-09-27T00:00:00Z”，“时间戳”：1474934400000｝，“内容版本”：“未指定”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“内容域”：｛“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[“Sci.China Inf.Sci.”]，“已发布的印刷品”：｛“日期部分”：[[2017,3]]｝，“DOI”：“10.1007\/s1432-015-980-7”，“类型”：“journal-article”，“created”：{“date-parts”：[[2016,9,30]]，“date-time”：“2016-09-30T02:35:11Z”，“timestamp”：1475202911000}，“update-policy”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”源“Crossref”，“is-referenced-by-count”：1，“title”：[“通过保守近似验证非线性混合系统的线性不变生成”]，“前缀”：“10.1007”，“卷”：“60”，“作者”：[{“给定”：“夏”，“家族”：“曾”，“序列”：“第一”，“从属”：[]}：“additional”，“affiliation”：[]}，{“given”：“Zhengbing”，“family”：“Zeng”，“sequence”：“addressive”，“filiation“：[]2]，“member”：“297”，“published-on-line”：{“date-parts”：[[2016,9,27]]}、“reference”：[{“key”：蒂尔”：“嵌入式软件国际会议论文集”，“作者”：“R Alur”，“年份”：“2011年”，“非结构化”：“Alur R.混合系统的形式验证。摘自：《嵌入式软件国际大会论文集》，纽约，2011年。273\u2013278“}，{“key”：“980_CR2”，“volume-title”：“稳健性和优化中的结构化半定程序和半代数几何方法”，“author”：“PA Parrilo”，“year”：“2000”，“unstructured”：“Parrilo PA。稳健性与优化中的结构半定程序与半代数几何法。博士论文。学位。洛杉矶：加州理工学院，2000年“}，{“key”：“980_CR3”，“doi-asserted-by”：“crossref”，“first-page”：“1415”，“doi”：“10.1109\/TAC.2007.902736”，“volume”：第52页，“author”：“S Prajna”，“year”：“2007”，“unstructured”：“Prajna-S，Jadbabaie A，Pappas-G-J。使用屏障证书进行最坏情况和随机安全验证的框架。IEEE Trans Automat Contr，2007，52:1415\u20131429“，“期刊标题”：“IEEE Trans-Automat Contrr”}，{“key”：“980_CR4”，“首页”：“242”，“volume-title”：“计算机辅助验证国际会议论文集，圣彼得堡”，“author”：“H Kong”，“year”：“2013”，“unstructured”：“Kong H，He F，Song X，et al。基于指数条件的混合系统安全验证屏障证书生成。摘自：《计算机辅助验证国际会议记录》，圣彼得堡，2013年。8044:242\u2013257“}，{“key”：“980_CR5”，“doi-asserted-by”：“crossref”，“first-page”：“190”，”doi“：“10.1007\/978-3-540-70545-1_18”，“volume”：”5123“，“author”：“S Gulwani”，“year”：“2008”，“unstructured”：“Gulwani-S，Tiwari A。基于约束的混合系统分析方法。摘自：《计算机辅助验证国际会议论文集》，普林斯顿，2008年。5123:190\u2013203“，“journal-title”：“计算机辅助验证国际会议论文集”}，{“key”：“980_CR6”，“doi-asserted-by”：“crossref”，“first-pages”：“98”，“doi”：“10.1007\/s10703-009-0079-8”，“volume”：《35》，“author”：《A Platzer》，“year”：“2009”，“unstructured”：“Platzer-A，Clarke E M。计算混合系统的微分不变量作为固定点。Form Methods Syst Des，2009，35:98\u2013120“，”journal-title“：”Form Met方法Syst Des“}，{“key”：“980_CR7”，“doi-asserted-by”：“crossref”，“first page”：”25“，”doi“：”10.1007\/s10703-007-0046-1“，”volume“：”32“，”author“：”S Sankaranarayanan“，”year“：”2008“，”unstructured“：”Sankaranayanan S，Sipma H，Manna Z。构造混合系统的不变量。表单方法系统设计，2008，32:25\u201355”，“日记标题”：“表单方法系统开发”}，{“关键字”：“980_CR8”，“首页”：“360”，“卷”：“9109”，“作者”：“刘军”，“年份”：“2015”，“非结构化”：“刘军，詹南，赵赫，等。通过变量变换抽象基本混合系统。摘自：2015年挪威第20届形式方法国际研讨会论文集。9109:360\u2013377“，“journal-title”：“第20届国际形式方法研讨会论文集”}，{“key”：“980_CR9”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“10.1145\/2629424”，“volume”：：“14”，“author”：“Z Yang”，“year”：“2015”，“unstructured”：“Yang Z，Lin W，Wu M。基于双线性SOS表示的混合系统精确验证。ACM Trans Embed Compute Syst，2015，14:1\u201319“，”journal-title“：”ACM Trans-Embed compute Syst}]，“container-title”：[“Science China Information Sciences”]，“original-titler”：[]，“language”：“en”，“link”：[{“URL”：“http://link.springer.com\/content\/pdf\/10007\/s11432-015-0980-7.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/article\/10.1007\/s11432-015-0980-7\/fulltext.html”，“内容类型”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.10007\/s1132-015-0980.7.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2022,7,9]]，”date-time“：”2022-07-09T12:23:58Z“，”timestamp“：1657369438000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com\/10007\/s11432-015-0980-7”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”rts“：[[2016,9,27]]}，”引用计数“：9，”新闻期刊“：{”期刊“：“3”，“published-print”：{“date-parts”：[[2017,3]]}}，“alternative-id”：[“980”]，“URL”：“http://\/dx.doi.org\/10.1007\/s11432-015-0980-7”，“relational”：{}，”ISSN“：[”1674-733X“，”1869-1919“]，”ISSN-type“：[{”value“：”1674-773X“”，“type”：“print”}，{“值”：“1869-1919”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2016,9,27]]}，“文章编号“：”39102“}}