{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,18]]，“日期时间”：“2024-04-18T21:11:24Z”，“时间戳”：1713474684148}，“出版商位置”：“查姆”，“引用计数”：31，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319657646”，“类型”：”打印“}，{“值”：“9783319657653”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：148322880000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2017,1,1]]，0:00:00Z“，”时间戳“：14832288000000}，”内容-版本“：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2017]]}，”DOI“：”10.1007\/978-319-65765-3_16“，”type“：”book-capter“，”created“：”{“date-part”：[2017]}，8,2]]，“日期时间”：“2017-08-02T09:08:38Z”，“时间戳”：1501664918000}，“page”：“281-299”，“source”：《Crossref》，“is-referenced-by-count”：13，“title”：[“时滞微分方程可达集的安全过逼近和欠逼近”]，“prefix”：“10.1007”，“author”：[{“给定”：“Bai”，“family”：“Xue”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Peter Nazier”，“家族”：“Mosaad”，“序列”：“additional”，“隶属关系”：[]}，{“给定”：“马丁”，“家庭”：“Fr\u00e4nzle”，“序列”：“附加”，“隶属”：[]}，}“给定的”：“明帅”，“家族”：“陈”，“顺序”：“额外”，“从属关系”：[]}：“附加”，“隶属关系”：[]}]，“成员”：“297”，“published-online”：{“date-parts”：[[2017,8,3]]}，“reference”：[{“key”：“16_CR1”，“doi-asserted-by”：“crossref”，《非结构化》：“Althoff，M.：使用保守多项式和非凸集对非线性系统进行可达性分析。In：Belta，C.，Ivancic，F.（eds.）第16届混合动力系统国际会议论文集：计算与控制（HSCC 2013），费城，2013年8月11日，2013年4月11日，第173\u2013182页。ACM（2013）“，”DOI“：”10.1145\/2461328.2461358“}，{”key“：”16_CR2“，”unstructured“：”Althoff，M.：CORA 2016手册（2016）。\nhttp:\/\/www6.in.tum.de\/Main\/SoftwareCORA“}”，{“key”：“16_CR3”，“DOI-asserted-by”：“crossref”，“unstructure”：“Althoff，M.，Stursberg，O.，Buss，M.：使用保守线性化对具有不确定参数的非线性系统进行可达性分析。摘自：《第47届IEEE决策与控制会议论文集》（CDC 2008），Canc\u00fan，2008年12月9日，第4042\u20134048页。IEEE（2008）“，“DOI”：“10.1109\/CDC.2008.4738704”}，{“key”：“16_CR4”，“unstructured”：“Bellman，R.，Cooke，K.L.：微分方程。技术报告R-374-PR，加州圣莫尼卡兰德公司，1963年1月”}9-2英寸卷：“10”，“作者”：“R Bellman”，“年份”：“1943”，“非结构化”：“Bellman，R.等人：线性微分方程解的稳定性。杜克大学数学。J.10（4），643\u2013647（1943）“，“新闻标题”：“数学公爵”。J.“}，{”issue“：”4“，”key“：”16_CR6“，”doi-asserted-by“：”crossref“，”first-page“：”361“，”doi“：”10.1023\/A:1024467732637“，”volume“：“4”，”author“：”M Berz“，”year“：”1998“，”unstructured“：”Berz，M.，Makino，K.：在高阶Taylor模型上使用微分代数方法验证ODE和流的集成。Reliab.Comput.4（4），361\u2013369（1998））“，”新闻标题“：”Reliab。计算。“}，{”key“：”16_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“137”，”doi“：”10.1007\/978-3319-48989-6_9“，”volume-title“：“FM 2016:Formal Methods”，”author“：”M Chen“，”year“：”2016“，”unstructured“：”Chen，M.，Fr\u00e4nzle，M.、Li，Y.、Mosaad，P.N.、Zhan，N.：基于仿真验证延迟微分动力学。收录人：Fitzgerald，J.、Heitmeyer，C.、Gnesi，S.、Philippou，A.（编辑）FM 2016。LNCS，第9995卷，第137\u2013154页。查姆施普林格（2016）。doi:\n10.1007\/978-3-319-48989-6_9“}，{“key”：“16_CR8”，“unstructured”：“Chen，X.，Sankaranarayanan，S.，\u00c1brah\u00e1m，E.：非线性连续系统的欠近似流管。In:计算机辅助设计的形式方法（FMCAD 2014），洛桑，2013年10月21日，2014年10月24日，第59\u201366页。IEEE（2014）“}，{”key“：”16_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Chutinan，A.，Krogh，B.H.：计算动态系统流管的多面体近似。摘自：《第37届IEEE决策与控制会议论文集》，第2卷，第2089\u20132094页。IEEE（1998）“，”DOI“：”10.1109\/CDC.1998.758642“}，{”key“：”16_CR10“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“174”，“DOI”：“10.1007\/978-3-540-71493-4_16”，“volume-title”：“混合系统：计算和控制”，“author”：“A Donz\u00e9”，“年份”：“2007”，“非结构化”：“Donz\u00e9，A.，Maler，O.：使用敏感性分析进行系统模拟。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第4416卷，第174\u2013189页。斯普林格，海德堡（2007）。doi:\n10.1007\/978-3-540-71493-4_16“}，{“key”：“16_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”291“，“doi”：“10.1007\/978-3-540-31954-2_19”，“volume-title”：”混合系统：计算与控制“，“author”：“A Girard”，“year”：“2005”，“unstructured”：“Girard，A.：使用区域图的不确定线性系统的可达性。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第3414卷，第291\u2013305页。斯普林格，海德堡（2005）。doi:\n10.1007\/978-3-540-31954-2_19“}，{“key”：“16_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Goubault，E.，Mullier，O.，Putt，S.，Kieffer，M.：内近似可达性分析。In:Fr\u00e4nzle，M.，Lygeros，J.（eds.）第17届混合系统国际会议：计算与控制（CPS周的一部分）（HSCC 2014），柏林，2013年4月15日，2014年4月17日，第163页。ACM（2014）“，”DOI“：”10.1145\/2562059.2562113“}，{”key“：”16_CR13“，”DOI-asserted-by“：”crossref“，”first-page:“211”，“DOI”：“10.1016\/j.nahs.2016.05.005”，“volume”：“23”，“author”：“Z Huang”，”year“：”2017“，”unstructured“：”Huang，Z.，Fan，C.，Mitra，S.：时滞非线性网络动力系统的有界不变量验证。非线性分析。混合系统。23211\u2013229（2017）”，“期刊标题”：“非线性分析。混合系统。“}，{”key“：”16_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Kaynama，S.，Maidens，J.N.，Oishi，M.，Mitchell，I.M.，Dumont，G.A.：使用最大可达集计算生存核。In：Dang，T.，Michell，I.M.（eds.）《混合系统：计算与控制》（CPS Week 2012的一部分）（HSCC 2012），北京，2013年4月17日，2012年4月19日，第55\u201364页。ACM（2012）“，”DOI“：”10.1145\/2185632.2185644“}，{”issue“：”23“，”key“：”16_CR15“，”DOI-asserted-by“：”crossref“，”first page“：“534”，“DOI”：“10.3182\/20130904-3-FR-2041.0002”，“volume”：“46”，“author”：“M Korda”，“year”：“2013”，“unstructured”：“Korda，M.，Henrion，D.，Jones，C.N.：多项式动力系统吸引域的内部近似。IFAC程序。第46卷（23），534\u2013539（2013）“，“期刊标题”：“IFAC Proc。卷“}，{“key”：“16_CR16”，“volume-title”：“时滞微分方程：在人口动力学中的应用”，“author”：“Y Kuang”，“year”：“1993”，“unstructured”：“Kuang，Y.：时滞微分方程，在人口动力学的应用，第191卷。学术出版社，波士顿（1993）“}，{”key“：”16_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“202”，”doi“：”10.1007\/3-540-46430-1_19“，”volume-title“：“Hybrid Systems:Computation and Control”，”author“：”AB Kurzhanski“，”year“：”2000“，”unstructured“：”Kurzhanski，A.B.，Varaiya，P.：可达性分析的椭球体技术。收录：Lynch，N.，Krogh，B.H.（编辑）HSCC 2000。LNCS，第1790卷，第202\u2013214页。斯普林格，海德堡（2000）。doi:\n10.1007\/3-540-46430-1_19“}，{“key”：“16_CR18”，“doi-asserted-by”：“publisher”，“first page”：”193“，“doi”：“10.1007\/10984413_12”，“volume-title”：“控制理论的新方向和应用”，“author”：“AB Kurzhanski”，“year”：“2005”，“unstructured”：“Kurzhanski，A.B.，Varaiya，P.：混合动力学的椭球体技术：可达性问题。摘自：Dayawansa，W.P.，Lindquist，A.，Zhou，Y.（编辑）《控制理论的新方向和应用》，第321卷，第193\u2013205页。斯普林格，海德堡（2005）。doi:\n10.1007\/10984413_12“}，{“issue”：“2”，“key”：“16_CR19”，“doi-asserted-by”：“crossref”，“first page”：”250“，“doi”：“10.1016\/j.nahs.2009.03.002”，“volume”：：“4”，“author”：“C Guernic Le”，”year：“2010”，“unstructured”：“Le Guernic，C.，Girard，A.：使用支持函数的线性系统的可达性分析。非线性分析。混合系统。4（2），250\u2013262（2010）“，“期刊标题”：“非线性分析。混合系统。“}，{”key“：”16_CR20“，”first-page“：”103“，”volume“：“2”，”author“：”RE Moore“，”year“：”1965“，”unstructured“：”Moore，R.E.：在常微分方程解的区间计算中，自动进行局部坐标变换以减少误差界的增长。错误数字计算.2，103\u2013140（1965）“，”journal-title“：”错误数字。计算。“}，{”issue“：”1“，”key“：”16_CR21“，”doi-asserted-by“：”crossref“，”first-page“：”236“，”doi“：”10.1137\/050638448“，”volume“：“45”，“author”：“M Neher”，“year”：“2007”，“unstructured”：“Neher，M.，Jackson，K.R.，Nedialkov，N.S.：关于基于泰勒模型的ODE集成。SIAM J.Numer.Anal.45（1），236\u2013262（2007）”，“新闻标题”：“SIAM J.数字分析”}，{“key“：”16_CR22“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”477“，”doi“：”10.1007\/978-3-540-24743-232“，”volume-title“：“混合系统：计算与控制”，“author”：“S Prajna”，“year”：“2004”，“unstructured”：“Prajno，S.，Jadbabaie，答：使用屏障证书对混合系统进行安全验证。In:Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第2993卷，第477\u2013492页。斯普林格，海德堡（2004）。doi:\n10.1007\/978-3-540-24743-232“}，{“key”：“16_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Prajna，S.，Jadbabaie，A.：时滞系统的安全验证方法。见：第44届IEEE决策与控制会议论文集，第4348\u20134353页。IEEE（2005）“，”DOI“：”10.1109\/CDC.2005.1582846“}，{”key“：”16_CR24“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“573”，“DOI”：“10.1007\/978-3-540-31954-2_37”，“volume-title”：“混合系统：计算和控制”，“author”：“S Ratschan”，“year”：“2005”，“unstructured”：“Ratschan，S.，She，Z.：通过基于约束传播的抽象求精对混合系统进行安全验证。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第3414卷，第573\u2013589页。斯普林格，海德堡（2005）。doi:\n10.1007 \/978-3-540-31954-2_37“}，{“key”：“16_CR25”，“unstructured”：“Stauring，O.，Madsen，K.：数值解的自动验证。丹麦技术大学丹马克-特尼斯克大学信息学和数学建模研究所信息学系博士论文，Matematisk Modelering（1997）”}非结构化”：“Taylor，S.R.：延迟微分方程的概率性质（2004）”}，{“issue”：“1”，“key”：“16_CR27”，“doi-asserted-by”：“crossref”，“first-pages”：“3”，“doi”：“10.1016\/0024-3795（75）90112-3”，“volume”：《11》，“author”：“JM Varah”，“year”：“1975”，“unstructured”：“Varah，J.M.：矩阵最小奇异值的下限。线性代数应用。11（1），3\u20135（1975）“，“期刊标题”：“线性代数应用。“｝，｛”issue“：”10“，”key“：”16_CR28“，”doi asserted by“：”crossref“，”first page“：”2508“，”doi“：”10.1109\/TAC.2013.2263916“，”volume“：”58“，”author“：”T Wang“，”year“：”2013“，”nonstructured“：”Wang，T.，Lall，S.，West，M.：多项式系统可达集估计的多项式级集方法。IEEE Trans.Autom.Control 58（10），2508\u20132521（2013）“，”期刊标题“：”IEEE Trans。自动。Control”｝，｛“key”：“16_CR29”，“nonstructured”：“Xue，B.，Easwaran，A.，Cho，N.-J，Franzle，M.：Reach避免基于边界分析的非线性系统验证。IEEE Trans.Autom.Control 62（7），3518\u20133523（2017）”｝，｛“key”：“16_CR30”，“series title”：“计算机科学讲义”，“doi断言者”，“第一页”：“457”，“doi”：“10.1007\/978-3-319-41528-4_25“，“volume-title”：“计算机辅助验证”，“author”：“B Xue”，“year”：“2016”，“unstructured”：“Xue，B.，She，Z.，Easwaran，A.：通过多胞体的欠近似后向可达集。收录：Chaudhuri，S.，Farzan，A.（编辑）CAV 2016。LNCS，第9779卷，第457\u2013476页。查姆施普林格（2016）。doi:\n10.1007\/978-3-319-41528-4_25“}，{“key”：“16_CR31”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”338“，“doi”：“10.1007\/978-3-319-21668-3_20”，“volume-title”：”计算机辅助验证“，“author”：“L Zou”，“year”：“2015”，“unstructured”：“Zou，L.，Fr\u00e4nzle，M.，Zhan，N.，Mosaad，P.N.：时滞微分方程稳定性和安全性的自动验证。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9207卷，第338\u2013355页。查姆施普林格（2015）。doi:\n10.1007\/978-3-319-21668-3_20“}]，“container-title”：[“计算机科学课堂讲稿”，“时间系统的形式化建模和分析”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/9783-319-65765-3_16”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“寄存”：｛“日期部分”：[[2017,8,8]]，“日期-时间”：“2017-08-08T17:33:32Z”，“时间戳”：1502213612000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-319-65765-3_16”｝，“副标题”：[]，“短标题”：[]，“发行”：｛“日期部分”：[[2017]]｝，“ISBN”：[“9783319657646”，“9783319657657657657646”3“]，”引用次数“：31，”URL“：“http://\/dx.doi.org\/10.1007\/978-3-319-65765-3_16”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”