{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期-部分”：[[2024,1,23]]，“日期-时间”：“2024-01-23T17:32:40Z”，“时间戳”：1706031160505}，“参考-计数”：16，“出版商”：“IEEE”，“资助者”：[{“DOI”：“10.13039\/501100001809”，“名称”：“国家自然科学基金”，“DOI-asserted-by”：“publisher”，“奖项”：[“61872341618360056162520661732001”]}，｛“DOI”：“10.13039\/50101100001659”，“name”：“Deutsche Forschungsgemeinschaft”，“DOI asserted by”：“publisher”，“award”：[“DFG GRK 1765”]｝]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2021,5,25]]｝，“DOI”：“10.23919\/acc50511.2021.9483095”，“type”：“proceedings article”，“created”：{“date-parts”：[[2021,7,28]]，“date-time”：“2021-07-28T20:29:16Z”，“timestamp”：1627504156000}，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Reach-avoid Analysis for Stochastic Discrete-time Systems”]，“prefix”：“10.23919”，“author”：[{“given”：厥”，“家族”：“理”，“序列”：“additional”，“affiliation”：[]}，{“given”：“Naijun”，“family”：“Zhan”，“sequence”：“addressional”，“filiation“：[]{”given“：“Martin”，”family“：”Franzle“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/TAC.2011.2105730“}，{“key”：“ref11”，“author”：“mosek”，“year”：“2015”，“journal-title”：“MATLAB手册的MOSEK优化工具箱”}，{“key”：“ref12”，“volume”：：“2”，“author”：“ogata”，“year”：“1995”，“johnal-tittle”：《离散时间控制系统》}，}“key:”ref13“，”volume“：”2“author:”oppenheim“，“year:”2001“，”journal-title“：”离散时间信号处理“}”，{”key“：“ref14”，“doi-asserted-by”：“publisher”“，”doi“：“10.1016\/j.automatia.2010.08.006”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TCAD.2020.3013135”}asserted-by“：”publisher“，”doi“：“10.1109\/CDC.2017.8264291”}，{“key”：“ref3”，“首页”：“134”，“article-title”：“随机可达-无效问题控制合成的半定规划方法”，“author”：“drzajic”，“year”：“2016”，“journal-title“：”ARCH CPSWeek“}，”{“key”：”ref6“，”doi-asserted-by“：”publisher“，”doi“：”10.23919\/ECC.2013.669603“}”，{”key“：”ref5“，“doi-asserted-by”：“publisher”，“DOI”：“10.1109\/CCDC.2011.6161228”}，{“key”：“ref8”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/DCDC.2013.6760626“}，}“key:”ref7“，“volume”：”3“，“author”：“khalil”，“year”：“2002”，“journal-title”：“Nonlinear Systems”}、{“密钥”：“ref2”，“auther”：“clarke”，“年份”：“2018”，“日记title“：”模型检查“}，{”key“：”ref1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1016\/j.automatica.2008.03.027”}，{“key”：“ref9”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/CACSD.2004.1393890“}]，“event”：{“name”：“2021 American Control Conference（ACC）”，“location”：“New Orleans，LA，USA”，“start”：{date-parts”：[2021,5,25]}，“end”：{date-parts“：[2021,5,28]]}}，“集装箱运输”：[“2021年美国控制会议（ACC）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9482409\/9483095.pdf？arnumber=9483095”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,10,6]]，“date-time”：“2021-10-06T10:51:17Z”，“时间戳”：1633517477000}，“分数”：1，“资源”：｛“primary”：｛“URL”：“https:\/\/ieexplore.ieee.org/document\/9483095\/”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2021,5,25]]｝，“引用数”：16，“URL”：“http:\/\/dx.doi.org/10.23919\/acc50511.2021.9483095”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2021,5,25]]｝｝