{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,7,20]]，“日期-时间”：“2022-07-2T11:11:58Z”，“时间戳”：1658315518879}，“参考-计数”：16，“出版商”：“IEEE”，“许可证”：[{“开始”：{“日期-部分”：[2019,12,1]]，”日期-时间“：”2019-12-01T00:00Z“，”时间戳“：157515840000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2019,12,1]]，“date-time”：“2019-12-01T00:00:00Z”，“timestamp”：157515840000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/1015223\/policy-029“}，{”start“：{”date-parts“：[[2019,12,1]]，“date-time”：“2019-12-01T00:00:00Z”，“timestamp”：157515840000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2019,12]]}，I“：”10.1109\/cdc40024.2019.9030135“，”类型“：“议事录文章”，“已创建”：｛“日期部分”：[[2020,3,13]]，“日期-时间”：“2020-03-13T04:43:11Z”，“时间戳”：1584074591000｝，“来源”：“Crossref”，“由计数引用”：1，“标题”：[“矩阵Riccati算法的计算机辅助验证”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“Vassilios A.”，“家族”：“Tsachouridis”，“序列”：“第一个”，“附属关系”：[]｝，｛“给定”：“Georgios”，“家族”：“Giantamidis”，“序列”：“附加”，“隶属关系”：[]｝]，“成员”：“263”，“参考文献”：[｛“密钥”：“ref10”，“doi asserted by”：“publisher”，“doi”：“10.4208\/jcm.1210-m4082”｝，｛“密钥”：“ref11”，“作者”：“snyder”，“年份”：“0”，“期刊标题”：“论Schatten范数与Thompson度量的关系”｝，｛“：”参考文献12“，”作者“：“konstantinov”，“year”：“2003”，“journal-title”：“矩阵方程的扰动理论”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/B:NUMA.00049462.70970.b6”}、{“密钥”：“ref14”，“文章-标题”：“Python中的PyInterval-Interval算法”，“年份”：“2019”}算术C++“，”年份“：”2019“}，{“key”：“ref16”，“article-title”：“代数Riccati方程数值解的基准示例集合II:离散时间情况”，“author”：“benner”，“year”：“1995”，“journal-title“：”技术报告Fak Mathematic TU Chemnitz-Xwickau“}，{“key”：”ref4“，”author“：”sima“，”year“：”1996“，”journal-title“”：“纯数学和应用数学中线性二次优化系列的算法”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-22627-4_20”}、{“key”：”ref6“，“article-title”：“数值方法的形式验证”，“author”：“pasca”，“year”：“2010”，“journal-title“：”PhD论文“}”，{”key“：”ref5“，“doi-asserted-by”：”publisher“，“DOI”：“10.1016\/0167-6911（85）90027-1”}，{“key”：“ref8”，“author”：“moore”，“year”：“1987”，“journal-title”：“区间分析SIAM Studies in Applied and Numerical Mathematics”}、{“key”：”ref7“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1137\/S089547922999“}，”{“key”：“ref2”，“article-title“：“实现可验证的正确控制，控制技术的影响第2部分：控制研究的挑战”，“author”：“monniaux”，“year”：“2011”，“journal-title”：“IEEE CSS报告”}，{“key”：“ref1”，“article-title“：“控制系统软件验证，控制技术影响第1部分：控制的成功案例”，“author”：“monniaux”，“year”：“2011”，“journal-title”：“IEEE CSS Report”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/050637637”}]，“event”：{“name”：“2019 IEEE第58届决策与控制会议（CDC）”，“location”：“Nice，France”，“start”：{“date-parts”：[2019,12,11]}，“end”：{date-parts:[2019,12,13]}}，“集装箱标签”：[“2019 IEEE第58届决策与控制会议（CDC）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/8977134\/9028853\/09030135.pdf？arnumber=9030135”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2022,7,19]]，“日期-时间“”：“2022-07-19T20:19:54Z”，“timestamp”：1658261994000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieexplore.iee.org\/document\/9030135\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2019,12]]}，'references-count“：16，”URL“：”http://\/dx.doi.org\/10.109\/cdc40024.2019.9030135“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“:[[2019,12]]}}}