{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,3,6]]，“日期-时间”：“2023-03-06T05:23:00Z”，“时间戳”：1678080180607}，“引用-计数”：98，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”:{“日期-零件”：[2022,11,1]]，”“日期-时刻”：“022-11-01T00:00Z”“，”timestamp“：1667260800000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[2022,11,1]]，“date-time”：“2022-11-01T00:00:00Z”，“timestamp”：16672608000000}，“content-version”：“stm-asf”，“delay-in-days”：“0，”URL“https:\\/doi.org\/10.15223\/policy-017“}，{”开始“：{”日期部分“：[2022,11,1]]，”日期时间“：“2022-11-01T00:00:00Z”，“timestamp”：1667260800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}，{“start”：{“date-parts”：[2022,11,1]]，“date-time”：“2022-11-01T00:00 Z”，，“URL”：“https:\/\/doi.org\/10.15223\/policy-012”}，{“start”：{“date-parts”：[[2022,11,1]]，“date-time”：“2022-11-01T00:00:00Z”，“timestamp”：166726080000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{（日期-parts）：[[22022,11,1]，“日期-时间”：“022-11-01T1T00:00Z”，”timestamp“：166726800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-004”}]，“资助者”：[{“doi”：“10.13039\/501100001809”，“名称”：“国家自然科学基金”，“doi-asserted-by”：“publisher”，“奖项”：[“61625206”，“61732001”，“6.1836005”，“60872341”，“62192732”]}serted-by“：”publisher“}，{”doi“：“10.13039\/501100007601”，“name”：“Horizon 2020”，“doi-asserted-by”：“publisher”}，{“doi”：“10.130.39\/100010663”，“name”：“European Research Council”，“doi-assertd-by”：“publisher”，“award”：[“787914”]}，}“doi:”10.13039\\100010665“，”name“：”H2020 Marie Sk\u0142odowska-Curie Actions“，”doi-assert-by“：”publisher“}”，{doi“：”10.13039\/100018693“，”名称“：“Horizon 2020”，“doi-asserted-by”：“publisher”，“award”：[“101008233”]}，{“doi”：“10.13039\/5010000781”，“name”：“European Research Council”，“doi-asserted-by”:“publishers”}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[”信息与计算“]，“published-print”:{日期部分“：[2022,11]]}，“DOI”：“10.1016\/j.ic.2022.104965”，“type”：“journal-article”，“created”：{“date-parts”：[2022,9,22]]，“date-time”：“2022-09-22T16:35:46Z”，“timestamp”：1663864546000}，《page》：“104965”，“is-referenced-by-count”：0，“标题”：[“将归纳不变量编码为障碍证书：通过差分凸编程合成”]，“前缀”：“10.1016”，“卷”：“289”，“作者”：[{“给定”：“求业”，“家族”：“王”，“序列”：“第一”，“从属”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0001-9663-7441”，“authenticated-ORCID”：false，“给定”:“明帅”，“家庭”：“陈”，“sequence”：“additional”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0001-9717-846X”，“authenticated-ORCID”：false，“give”：“Bai”，“family”：“Xue”，“sequence”：“additive”，“filiation“：[]{”给定：“Naijun”，“家族”：“Zhan”，“序列”：“additional”、“affidiation”：[]}“：”附加“，”从属“：[]}]，“member”：“78”，“reference”：[{“issue”：“1”，“key”：“10.1016\/j.ic.2022.104965_br0010”，“doi-asserted-by”：“crossref”，“首页”：“3”，“doi”：“101016\/0304-3975（94）00202-T”，”article-title“：“混合系统的算法分析”，“volume”：”138“author”：“Alure”，“year”：“1995”，“journal-title”：“Theor.Comput.”科学“}，{”问题“：”1“，”键“：“10.1016\/j.ic.2022.104965_br0020”，“doi-asserted-by”：“crossref”，“first page”：“19”，“doi”：“10.1145\/3313909.3313913”，“article-title”：“In memory of Oded Maler:automatic reatability analysis of hybrid-state automata”，“volume”：”6“，“author”：“Fr\u00e4nzle”，“year”：“2019”，“journal-title“：”ACM SIGLOG News“}，{”issue“3”，“密钥”：“10.1016\/j.ic.2022.104965_br0030”，“doi-asserted-by”：“crossref”，“首页”：“231”，“doi”：“10.1006\/jsco.2001.0472”，“article-title”：“线性向量场族的符号可达性计算”，“volume”：“32”，“author”：“Lafferiere”，“year”：“2001”，“journal-title“：”j.Symb.Comput.“}，{”key“10.1016”//j.ic.2020 2.104965 _br0040“，”系列标题“：“HSCC”，“first page”：“63”，“article-title”：“使用实量词消除的可达集计算”，“volume”：《vol.2034》，“author”：“Anai”，“year”：“2001”}，{“key”：”10.1016\/j.ic.2022.104965_br0050“，“series-title”：”ATVA“，“first-page”：“482”，“article-title”：“线性向量场族可达性的判定”，“volume”:“vol.9364”，“author”：“Gan”，“year”：“2015”}，{“key”：“10.1016\/j.ic.2022.104965_br0060”，“series-title”：“ECC”，“first-page”：“419”，“article-title”：《重新访问的线性向量场计算可达集》，“au作者”：“Gan”，“年份”：“2016”}crossref“，”首页“：”2003“，”doi“：“10.1109\/TAC.2017.2763785”，“article-title”：“可解动力系统的可达性分析”，“volume”：“63”，“author”：“Gan”，“year”：“2018”，“journal-title“：”IEEE Trans.Autom.Control“}，{“issue”：“1”，“key”：”10.1016\/j.ic.2022.104965_br0080“，”first page“154”：“Smith”，“year”：“2006”，“journal-title”：“Appl.Math.Comput.”}，{“key”：“10.1016\/j.ic.2022.104965_br0090”，“series-title”：”HSCC“，”first page“：”477“，”article-title“：”使用屏障证书的混合系统安全验证“，”volume“2993”，“author”：“Prajna”，“年份”：“2004”}、{“key”：”10.1016\/j.ic.2022.104955_br 0100“，”doi-asserted-by“：“crossref”，“first page”：“287”，“DOI”：“10.1016\/j.automatica.2016.12.013”，“article-title”：“使用区间分析构建动力学系统的参数屏障函数”，“volume”：”78“，“author”：“Djaballah”，“year”：“2017”，“journal-title“：”automatica“}”，{“key”:“10.1016 \/j.ic.2022.104965_br0110”，“series-title”：”CAV“，“first-page”：“219”，“article-title”：“现有的Delta-decision procedures for exists-for-all problems over the reals”，“volume”：“vol.10982”，“author”：“Kong”，“year”：“2018”}，{“key”：”10.1016\/j.ic.2022.104965_br0120“，”series-title“：”FM“，”first page“：”418，{“key”：“10.1016\/j.ic.2022.104965_br0130”，“doi-asserted-by”：“crossref”，“首页”：“62”，“doi”：“101016\/j.jsc.2016.07.010”，“article-title”：“重访障碍证书”，“volume”：”80“，“author”：“Dai”，“year”：“2017”，“journal-title“：”j.Symb.Comput.“}，{“key”：：“10.116\/j.ic.2022.10965_br0140“，”series-title“：”CAV“，”first page“：”242“，”article-title“：“基于指数条件的混合系统安全验证屏障证书生成”，“卷”：“vol.8044”，“作者”：“Kong”，“年份”：“2013”}，{“问题”：“1”，“密钥”：“10.1016\/j.ic.2022.104965_br0150”，“doi-asserted-by”：“crossref”，“首页”：“0”，“doi”：“101145\/2629424”，“article-title”：“基于双线性SOS表示的混合系统精确安全验证”，“卷”：“14”，“作者”：“杨”，“年份”：“2015”，“日志标题”：“ACM Trans.Embed.Comput.Syst.”}，{“key”：“10.1016\/j.ic.2022.104965_br0160”，“series-title”：“EMSOFT”，“首页”：“1”，“article-title”：“用于非线性混杂系统安全验证的Darboux型障碍物证书”，“author”：“Zeng”，“year”：“2016”}，{“key”：“10.1016\/j.ic.2022.104965_br0170”，“series-title”：“EMSOFT”，“first page”：”97“，“article-title”：”计算多项式动力系统的半代数不变量“，”author“Liu”，“year”：”2011“}：“10.1016\/j.ic.2022.104965_br0180”，“series-title”：“力矩、正多项式及其应用”，“volume”：“vol.1”，“author”：“Lasserre”，“year”：“2010”}，{“key”：”10.1016\/j.ic.2022.104865_br 0190“，”first page“：”2525“，”article-title“：“关于求解双线性矩阵不等式和静态输出反馈同时镇定的NP-Hard”，“卷”：“卷4”，“作者”：“Toker”，“年份”：“1995”}，{“密钥”：“10.1016\/j.ic.2022.104965_br0200”，“series-title”：“软件手册，PENOPT GbR软件手册，”，“文章标题”：“PENBMI用户指南（2.0版）”，“卷宗”：“vol.31”，“author”：“Kocvara”，“year”：“2005”}，{“key”：“10.1016\/j.ic.2022.104965_br0210”，{“问题”：“1”，“密钥”：“10.1016\/j.ic.202104965_br0230”，“doi断言者”：“crossref”，“首页”：“5”，“doi”：“10.1007\/s01007-018-1235-y”，“文章标题”：“DC编程和DCA:三十年的发展”，“卷”：“169”，“作者”：“Le Thi”，“年份”：“2018”，“期刊标题”：“Math.Program.”}，{“键”：“10.1016\/j.ic.202104965_br0240”，“系列标题”：“FM”，首页”：“721”，“article-title”：“基于线性规划松弛的混合系统障碍证书生成方法”，“volume”：“vol.9995”，“author”：“Yang”，“year”：“2016”}，{“key”：”10.1016\/j.ic.2022.104965_br0250“，”series-title“：”CAV“，”first page“：”582“，”article-title“：“一种解决屏障证书生成中BMI问题的新方法”，“卷”：“vol.12224”，“author”：“Chen”，“year”：“2020”}，{“key”：“10.1016\/j.ic.2022.104965_br0260”，“series-title”：“CAV（I）”，“first-page”：“443”，“article-title”：，“author”：“Wang”，“year”：“2021”}，｛“issue”：“6”，“key”：“10.1016\/j.ic.202.104965_br0270”，“doi断言”：“crossref”，“first page”：“1377”，“doi”：“10.1109\/TAC.2011.2176154”，“article title”：“结合凸\u2013凹分解和线性化方法求解BMI，并应用于静态输出反馈”，“volume”：“57”，“author”：“Dinh”，“year”：“2011”，“journal-title”：“IEEE Trans.Autom.Control”}，{“key”：“10.1016\/j.ic.2022.104965_br0280”，“series-title”：《系统与控制理论中的线性矩阵不等式》，“author”：“Boyd”，《year》：“1994”}0306英寸，“年”：“1993”｝，｛“键”：“10.1016\/j.ic.2021004965_br0300”，“系列标题”：“CAV”，“第一页”：“176”，“文章标题”：“将混合系统的微分不变量计算为固定点”，“卷”：“第5123卷”，“作者”：“Platzer”，“年”：“2008”｝，｛“键”：“10.1016\/j.ic.2021004965_br0310”，“第一页”：“145”，“文章标题”：“t-Barrier Certificates:A Continuous Analogy to K-Incluction”，“volume”：“vol.51”，“author”：“Bak”，“year”：“2018”}，{“key”：”10.1016\/j.ic.2022.104965_br0320“，“series-title”：“凸优化”，“author”:“Boyd”，“year”：”2004“}，“issue”：“11”，“key“10.1016\/j.ic.2022.104865_br00330”，“doi-asserted-by”：“crossref”，”first第“：”2768“，”内政部“：“10.1109”，“TCAD.2018.2858383”，“article-title”：“基于双线性规划的非线性混杂系统的安全验证”，“volume”：“37”，“author”：“Zhang”，“year”：“2018”，“journal-title“：”IEEE Trans.Compute.-Aided Des.Integr.Circuits Syst.“}，{“key”：”10.1016，“j.ic.2022.104965_br0340”，“series-title”：“初等代数和几何的判定方法”，“author”：“Tarski”，“year”：“1951”}，{“key”：“10.1016\/j.ic.2022.104965_br0350”，“first page”：《103》，“article-title”：“实多项式的平方和”，“volume”：第58卷，“author”：“Choi”，“年”：“1995”}、{“key”：”10.1016\/j.ic.2022.104960_br0360“，”series-title“：”CDC，“首页”：“3252”，“article-title”：“双线性矩阵不等式的可行性分析及其在多目标非线性观测器设计中的应用”，“author”：“Wang”，“year”：“2016”}，{“key”：“10.1016\/j.ic.2022.104965_br0370”，“doi-asserted-by”：“crossref”，“first page”：：“非线性半定规划的一阶和二阶分析”，“volume”：“77”，“author”：“Shapiro”，“year”：“1997”，“journal-title”：“Math.Program.”}，{“key”：”10.1016\/j.ic.2022.104965_br0380“，”series-title“：”STOC“，”First page“：”507“，”article-title“：“矩阵特征问题的复杂性”，“作者”：“Pan”，“年份”：“1999”}、{“key”：“10.1016\/j.ic.2022.104965_br0390”，“series-title”：“数值线性代数”，“author”：“Trefethen”，“year”：“1997”}，{“issue”：“1”，“key”：“10.106\/j.ic.2022.10.4965_br 0400”，“doi-asserted-by”：“crossref”，“first page”：”69“，“doi”：“101007\/s10107-017-1144-5”，“article-title”：”带代数多项式的非凸多项式的DC分解技术”，“卷”：“169”，“author”：“Ahmadi”，“year”：“2018”，“journal-title”：“Math.Program.”}，{“issue”：“7”，“key”：“10.1016\/j.ic.2022.104965_br0410”，“doi-asserted-by”：“crossref”，“first page”：《589》，“doi”：“101002\/nla.633”，“article-title“一种计算四阶部分对称张量最大M-特征值的实用方法”，“volume”：”16“author:”“王”，“year”：“2009”，“journal-title”：“Numer.Linear Algebra Appl.”}，{“key”：“10.1016\/j.ic.2022.104965_br0420”，“series-title”：”CDC“，”first page“：”1624“，”article-title“：”具有近线性时间复杂度的稀疏半定程序“，”author“：”Zhang“，”year“：”2018“}，}“key”：”10.1016\/j.ic.2022.10495_br0430“，”series-ttle“：“CDC”，“首页”：“6868”，“article-title”：“大型稀疏LMI可行性问题的高效算法”，“author”：“Zhang”，“year”：“2018”}，{“issue”：“4”，“key”：“10.1016\/j.ic.2022.104965_br0440”，“doi-asserted-by”：“crossref”，“first-page”：“527”，“doi”：“10：“求解凸非线性半定规划问题的交替方向法”，“卷”：“62”，“作者”：“张”，“年”：“2013”，“期刊标题”：“优化”}，{“关键”：“10.1016\/j.ic.2022.104965_br0450”，“系列标题”：《ATVA》，“首页”：“160”，“文章标题”：，“author”：“Cubuktepe”，“year”：“2018”}，{“key”：“10.1016\/j.ic.2022.104965_br0460”，“series-title”：“LICS”，“first-page”：“269”，“article-title”：”Ackermannian and primitive-recursive bounds with Dickson’s lemma“，”author“：”Figueira“，”year“：”2011“}，“issue”：“1”，“key“：”10.1016\/j.ic.2022.10495_br0470“，“doi-asserted-by”：“crossref”，“first page”：“234”，“doi”：“10.1007”，“s11424-017-6226-1”，“article-title”：“为非自治多项式混合系统生成半代数不变量”，“volume”：“30”，“author”：“Wang”，“year”：“2017”，“journal-title“：”J.Syst.Sci.Complex.“，”首页“：”3215“，“article-title”：“凸规划中的内点多项式时间方法”，“volume”：“42”，“author”：“Nemirovski”，“year”：“2004”，“journal-title“：”Lect.Notes“}，{“key”：”10.1016\/j.ic.2022.104965_br0500“，”first page“：”1759“，”article-title“:”On the concave-convex procedure“，”volume“：“volume9”，“作者”：“Sriperumbudur”，“年份”：“2009”}，{“issue”：“1”，“key”：“10.1016\/j.ic.2022.104965_br0510”，“doi-asserted-by”：“crossref”，“首页”：“103”，“doi”：“101007\/s10957-018-1345-y”，“article-title”：“带子分析数据的差分凸算法的收敛性分析”，“volume”：《179》，“author”：“Le Thi”，“year”：“2018”，“journal-title:”“j.Optim.Theory Appl.”}，{“问题”：“2”，“关键”：“10.1016\/j.ic.2022.104965_br0520”，“doi-asserted-by”：“crossref”，“首页”：“286”，“doi”：“10.1007\/s10703-017-0302-y”，“article-title”：“验证多项式不变量的数值半定规划求解器”，“volume”：“53”，“author”：“Roux”，”year“2018”，“journal-title“：”Form.Methods Syst.Des.“}，{”key“10.1016”：“1016.2049”65_br0530“，“series-tile”：“CAV”，“first page”：“415”，“article-title”：“非线性Craig插值生成”，“volume”：《vol.12224》，“author”：“Gan”，“year”：“2020”}，{“key”：”10.1016\/j.ic.2022.104965_br0540“，”series-title“：”自动机理论与形式语言第二届GI会议Kaiserslautern“，”first pages“：”134“，”article-title“：“圆柱代数分解对实闭域的量词消去”，“author”：“Collins”，“year”：“1975”}，{“key”：“10.1016\/j.ic.2022.104965_br0550”，“series-title”：“可满足性手册”，“首页”：“825”，“article-title”：：“10.1016\/j.ic.2022.104965_br0560”，“doi-asserted-by”：“crossref”，“first page”：“942”，“doi”：“10.106\/j.jsc.2020.11.001”，“article-title”：“退化可行集半定程序的精确算法”，“volume”：”104“，“author”：“Henrion”，“year”：“2021”，“journal-title“：”j.Symb.Comput.“}，{”key“10.1016”//j.ic。2022.104965_br0570“，”系列时间“：“TACAS”，“first page”：“337”，“article-title”：“Z3:一个高效的SMT求解器”，“volume”：《volume 4963》，“author”：“de Moura”，《year》：“2008”}，{“key”：”10.1016\/j.ic.2022.104965_br0580“，“series-title”：”CDC“，“first-pages”：“67”，“article-title”：“双线性矩阵不等式的凸松弛第一部分：理论结果”，“auther”：“Kheirandishfard”，“year”：“2018”}，{“key”：“10.1016\/j.ic.2022.104965_br0590”，“series-title”：“CAV”，“first-page”：“137”，“article-title”：”连续动力系统的数字归纳证明规则“，”volume“：”vol.11562“，”author“：”Gao“，”year“：”2019“}，{“key”：”10.1016\/j.ic.2022.1049965_br0600“，”series-ttle“：”ACC“，”first-page:“3571”，”article-title“：“通过Darboux多项式发现多项式系统的非多项式正不变量和Lyapunov函数”，“author”：“Goubault”，“year”：“2014”}，{“issue”：“1”，“key”：“10.1016\/j.ic.2022.104965_br0610”，“doi-asserted-by”：“crossref”，“first page”：”8“，“doi”：“101145\/1210268.1210276”，“article-title”：“通过基于约束传播的抽象求精对混合系统进行安全验证”，“卷”：“6”，“作者”：“Ratschan”，“年份”：“2007”，“日志标题”：“ACM Trans.Embed.Comput.Syst.”}，{“问题”：“7”，“键”：“10.1016\/j.ic.2022.104965_br0620”，“doi-asserted-by”：“crossref”，“首页”：“4377”，“doi”：“101137\/090749955”，“article-title”：“通过计算类Lyapunov函数为多项式系统的目标区域提供吸引域”，“体积”：“48”，“作者”：“Ratschan”，“年份”：“2010”，“期刊标题”：“SIAM J.Control Optim.”}，{“键”：“10.1016\/J.ic.2022.104965_br0630”，“系列标题”：”ARCH@CPSWeek“，“首页”：“42”，“文章标题”：“用于安全验证的非线性连续系统（基准提案）”，“卷”：“第43卷”，“作者”：“Sogokon”，“年份”：“2016”}，{“key”：“10.1016\/j.ic.2022.104965_br0640”，“series-title”：“CDC”，“首页”：“6348”，“文章标题”：“多项式动力系统多面体不变量集的迭代计算”，“author”：“Sassi”，“年”：“2014”}，{“key”：“10.1016\/j.ic.2022.104965_br0650”，“series-title”：“HSCC”，“first-page”：“291”，“article-tite”：“使用Bernstein多项式的多项式动力系统的稳定性和稳定化”，“author”：“Sassi”，“year”：“2015”}，{“issue”：“1”：“10.1007\/s10440-014-9974-0”，“article-title”：“寻找达布多项式”，“volume”：“139”，”author“：”Ferragut“，”year“：”2015“，”journal-title“：”Acta Appl.Math.“}，{”key“：”10.1016\/j.ic.2022.104965_br0670“，”series-title“：“AISC”，“first page”：”196“，作者“：“Ratschan”，“year”：“2006”}，{“key”：“10.1016\/j.ic.2022.104965_br0680”，“series-title”：“Systems Biology in Practice:Concepts，Implementation and Application”，“author”：“Klipp”，《年份》：“2008”}Papachristodoulou“}，{“问题”：“1\u20134”，“关键”：“10.1016\/j.ic.2022.104965_br0710”，“doi-asserted-by”：“crossref”，“first page”：“625”，“doi”：“10.1080\/10556789908805766”，“article-title”：“Using SeDuMi 1.02，a MATLAB toolbox for optimization over symmetric cone”，“volume”：”11“author”：“Sturm”，“year”：“1999”，“journal-title“Optim.Methods Softw.”}，{“issue”：“1”，“key”：\/j.ic.2022.104965_br0720“，“doi-asserted-by”：“crossref”，“first page”：“14”，“doi”：“10.1007\/s00332-020-09658-1”，“article-title”：“非线性动力系统和马尔可夫过程的极值不变测度的凸计算”，“volume”：”31“，“author”：“Korda”，“year”：“2021”，“journal-title:”J.nonlinear Sci.“}，{“issue”：“4”，“key”:“10.1016\/J.ic.2022.104965_br0730”，“doi-asserted-by”：“crossref”，“first page”：“2799”，“doi”：“10.1137\/17M1121044”，“article-title”：“离散时间多项式系统可达集的半定近似”，“volume”：”57“，”author“：”Magron“，”year“：”2019“，”journal-title“：”SIAM J.Control Optim.“}，{“issue”：“4”，”key“：”10.1016\/J.ic.2022.104965_br0740“，”doi-assert-b y“：”交叉参考“，“首页”：“722”，“DOI”：“10.1137\/080730287”，“article-title”：“基本半代数集的近似体积和积分”，“体积”：“51”，“作者”：“Henrion”，“年份”：“2009”，“日记标题”：“SIAM Rev.”}，{“key”：“101016\/j.ic.2022.104965_br0750”，“DOI-asserted-by”：“crossref”，“首页面”：“110”，“DOI”：”10.1016\/j.a自动2016.11.021“，“article-title”：“半代数集的简单近似及其在控制中的应用”，“volume”：“78”，“author”：“Dabbene”，“year”：“2017”，“journal-title“：”Automatica“}，{“key”：”10.1016\/j.ic.2022.104965_br0760“，”series-title“：“HSCC”，“first-page”：“514”，“article-title:”线性系统的近似可达性“，”volume“2623”，“author”：“Tiwari”，“year”：“2003”｝，｛“key”：“10.1016\/j.ic.202104965_br0770”，“系列标题”：“HSCC”，“第一页”：“539”，“文章标题”：“为混合系统构造不变量”，“volume”：“vol.2993”，“author”：“Sankaranarayanan”，“year”：“2004”｝，｛“key”：“10.1016\/j.ic.202104965_br0780”，“系列标题”：“CAV”，“第一页”：“190”，“文章标题”：“基于约束的混合系统分析方法”，“author”：“Gulwani”，“year”：“2008”}，{“key”：“10.1016\/j.ic.2022.104965_br0790”，“series-title”：“HSCC”，“first-page”：“133”，“article-title”：《混合动力系统的模拟指导Lyapunov分析》，“author”：“Kapinski”，“年份”：“2014”}、{“key”：《10.1016\/j.ic.2022.104865_br0800》，“series-title”：“ADHS”，“first page”：“54”，“article-title”：《安全关键控制的控制屏障功能鲁棒性》，“volume”：《vol.48》，“author”：“Xu”，“year”：“2015”}，{“issue”：“8”，“key”：”10.1016\/j.ic.2022.104965_br0810“，”doi-asserted-by“：”crossref“，“first-page”：“3861”，“doi”：“10.1109\/TAC.2016.2638961”，“article.title”蒂尔”：“用于安全关键系统的基于控制屏障函数的二次规划”，“卷”：“62”，“作者”：“Ames”，“年份”：“2016”，“期刊标题”：“IEEE Trans.Autom.Control”}，｛“问题”：“5s”，“密钥”：“10.1016\/j.ic.2021004965_br0820”，“doi断言者”：“crossref”，“首页”：“186:1”，“doi”：“10.1145\/3126508”，“文章标题”：“使用屏障证书对随机混合系统进行概率安全验证”，“卷”：“16”，“作者”：“黄”，“年份”：“2017年”，“日志标题”：“ACM Trans.Embed.Comput.Syst.”}，{“问题”：“7”，“密钥”：“10.1016\/j.ic.2022.104965_br0830”，“doi-asserted-by”：“crossref”，“首页”：“3097”，“doi”：“101109\/TAC.2020.303916”，”，“article-title”：“通过控制屏障证书对随机系统进行形式化综合”，“卷”：“66”，“作者”：“Jagtap”，“年份”：“2020”，“期刊标题”：“IEEE Trans.Autom.control”}，｛“密钥”：“10.1016\/j.ic.202.104965_br0840”，“系列标题”：“HSCC”，“首页”：“25:1”，“文章标题”：“使用神经网络合成屏障证书”，“作者”：“Zhao”，“年份”：“2020”}，{“key”：“10.1016\/j.ic.2022.104965_br0850”，“series-title”：“TACAS（I“：”24:1“，“article-title”：“FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式合成的软件工具”，“author”：“Abate”，“year”：“2021”}，{“issue”：“4”，“key”：“10.1016\/j.ic.2022.104965_br0870”，“doi-asserted-by”：“crossref”，”first page“：”365“，”doi“10.1007\/BF01099648”，“artice-title“：“biaffine矩阵不等式问题的全局优化”，“volume”：“7”，“author”：“Goh”，“year”：“1995”，“journal-title”：“J.Glob.Optim.”}，{“issue”：“7'”，“key”：”10.1016\/J.ic.2022.104965_br0880“，”doi-asserted-by“：”crossref“，”first page“：”561“，”doi“：”10.1002\/1099-1239（200006）10:7<561:：AID-RNC493>3.0.CO；2-C“，”文章标题“：“求解双线性矩阵不等式的新拉格朗日对偶全局优化算法”，“volume”：“10”，“author”：“Tuan”，“year”：“2000”，“journal-title”：“Int.J.鲁棒非线性控制：IFAC-Affil.J.”}，{“key”：”10.1016\/J.ic.2022.104965_br0890“，”first page“：”1870“，”article-title“：“用随机搜索解决BMI问题的秩最小化方法”，“volume”：“vol.3”，“author”：“Ibaraki”，“year”：“2001”}，{“issue”：“11”，“key”：”10.1016\/j.ic.2022.104965_br0900“，”doi-asserted-by“：”crossref“，”first page“：”1875“，”doi“：”10.116\/j.automatica.2006.05.026“，”article-title“：“求解秩约束线性矩阵不等式的类牛顿方法”，“volume”：“42”，“author”：“Orsi”，“year”：“2006”，“journal-title”：“Automatica”}，{“issue”：“3”，“key”：”10.1016\/j.ic.2022.104965_br0910“，”doi-asserted-by“：”crossref“，”first page“：”471“，”doi“：”10.1137\/070697835“，”article-title“：“通过核范数最小化保证线性矩阵方程的最小秩解”，“volume”：“52”，“author”：“Recht”，“year”：“2010”，“journal-title”：“SIAM Rev.”}，{“issue”：“1”，“key”：”10.1016\/j.ic.2022.104965_br0920“，”doi-asserted-by“：”crossref“，”first page“：”303“，”doi“：”10.1137\/S1052623402417298“，”article-title“：“非线性半定规划的全局算法”，“volume”：“15”，“author”：“Correa”，“year”：“2004”，“journal-title”：“SIAM J.Optim.”}，{“key”：”10.1016\/J.ic.2022.104965_br0930“，”first page“：”1“，”article-title“：”通过结合不同的封闭方法改进混合系统分析的SAT模ODE方法“，”author“：”Eggers“，”year“：“2012”，“journal-title”：“Softw.Syst.Model.”}，{“issue”：“5”，“key”：“10.1016\/j.ic.2022.104965_br0940”，“doi-asserted-by”：“crossref”，“first-page”：“1750”，“doi”：“101137\/S03601295279031”，“article-title“一类非线性规划问题的信赖区域内点SQP算法”，“volume”：”36“，“author”：“Dennis”，“year”：“1998年”，“journal-title”：“SIAM J.Control Optim.”}，{“issue”：“4”，“key”：“10.1016\/J.ic.2022.104965_br0950”，“doi-asserted-by”：“crossref”，“first-page:”1048“，”doi“：”10.1137\/S1052623400375865“，”article-title“：”一类特殊非线性半定规划问题的内点约束信赖域方法“，”volume“：”12“，”author“：”Leibfritz“，“year”：“2002”，“journal-title”：“SIAM J.Optim.”}，{“issue”：“7”，“key”：“10.1016\/J.ic.2022.104965_br0960”，“doi-asserted-by”：“crossref”，“first page”：”1241“，“doi”：“101109\/TSMC.2016.2571323”，“article-title“：”系统和控制设计中双线性矩阵不等式问题的变量约简方法“，”volume“：”47“，”author“：”Chiu“，”year“：“2016”，“journal-title”：“IEEE Trans.Syst.Man Cybern.Syst.”}，{“issue”：“3”，“key”：“10.1016\/j.ic.2022.104965_br0970”，“doi-asserted-by”：“crossref”，“首页”：“251”，“doi”：“101007\/s10589-005-3231-4”，“article-title“非线性半定程序的连续线性化方法”，“volume”：”31“，“author”：“Kanzow”，“year”：“2005年，“新闻标题”：“Compute.Optim.Appl.”}，{“issue”：“1\u20132”，“key”：“10.1016\/j.ic.2022.104965_br0980”，“doi-asserted-by”：“crossref”，“first-page”：“1”，“doi”：“101007\/s10107-010-0354-x”，“article-title”：“非线性半定规划原对偶内点法的局部和超线性收敛性”，“volume”：”132“，“author”：“Yamashita”，“year”：“2012”，“journal-title”：“Math.Program.”}]，“container-title“：[“Information and Computation”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0890540122001201？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540122001201？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2023,3,5]]，“date-time”：”2023-03-05T08:58:52Z“timestamp”：1678006732000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540122001201”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2022,11]]}，”references-count“：98，”alternative-id“：[”S08905401122001201“]，“URL”：“http://\/dx.doi.org\/101016\/j.ic.2022.104965”，“relation”：{}，N“：[”0890-5401“]，”ISSN-type“：[{”value“：”0890-5 401“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[2022,11]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：“将归纳不变量编码为屏障证书：通过差分凸编程合成”，“name:”articletle“，”label“：”article Title“}，{”value“：”Information and Computation“，”name“：“journaltle”，“label”：“Journal Title”}，{“value”：“https:\/\/doi.org\/101016\/j.ic.2022.104965”，“name”：“articlelink”，“标签”：“CrossRef doi link to publisher maintained version”}、{“值”：“文章”，“名称”：“content_type”，“标号”：“内容类型”}，“商品编号”：“104965”}}