｛“id”：“https://openalex.org/W4391020653“，”doi“：”https://doi.org/10.1109/cdc49753.2023.10383410“，”title“：“随机离散时间动态系统的安全概率不变性验证”，”display_name“：”随机离散时间动力系统的安全几率不变性验证“，”publication_year“：2023，”publiation_date“：”2023-12-13“，”ids“：{”openalex“：”https://openalex.org/W4391020653“，”doi“：”https://doi.org/10.1109/cdc49753.2023.10383410“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/cdc49753.2023.10383410“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5022502376“，”display_name“：”杨宇“，”兽人“：”https://orcid.org/0000-0003-2942-3544}，“机构”：[{“id”：https://openalex.org/I20231570“，”display_name“：”北京大学“，”ror“：”https://ror.org/02v51f717“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I20231570“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yiqing Yu“，”raw_affiliation_strings“：【”北京大学数学学院信息科学系，100871“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5051183647“，”display_name“：”Taoran Wu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Taoran Wu“，”raw_affiliation_strings“：[“中国科学院软件研究所，中国计算机科学国家重点实验室，100191”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5065639971“，”display_name“：”碧蚕侠“，”兽人“：”https://orcid.org/0000-0002-9915-918X}，“机构”：[{“id”：https://openalex.org/I20231570“，”display_name“：”北京大学“，”ror“：”https://ror.org/02v51f717“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I20231570“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bican Xia“，”rau_affiliation_strings“：【”北京大学数学学院信息科学系，100871“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043091074“，”display_name“：”Ji Wang“，”orcid“：”https://orcid.org/0000-0001-6939-8676}，“机构”：[{“id”：https://openalex.org/I170215575“，”display_name“：”国防科技大学“，”ror“：”https://ror.org/05d2yfz11“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I170215575“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Ji Wang“，”raw _affiliation_strings“：[“国防科技大学，高性能计算国家重点实验室，中国计算机科学技术学院，410073”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”raw _affiliation_strings“：[“中国科学院软件研究所，中国计算机科学国家重点实验室，100191”]}]，”countries_distict_count“：1，”institutions_disticenc_count“：3，”corresponding_author_ids“：[]，”coresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：null，“has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：78}，”biblio“：{”volume“：null，”issue“：null:”first_page“：null，”last_page“：null}，“is_retracted”：false“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10791“，”“display_name”：“工业过程中的模型预测控制”，“score”：0.9942，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10876“，”“display_name”：“工业过程故障检测与诊断”，“score”：0.9904，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.582647}，{”id“：”https://openalex.org/keywords/stability-analysis网站“，”display_name“：”稳定性分析“，”score“：0.560968}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.550321}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.530975}，{”id“：”https://openalex.org/keywords/real-time优化“，”display_name“：”实时优化“，”score“：0.517778}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.86965525}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.71203357}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.604424}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6021178}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.4611393}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4466538}，{”id“：”https://openalex.org/C79379906，“wikidata”：https://www.wikidata.org/wiki/Q3174497“，”display_name“：”动力系统理论“，”level“：2，”score“：0.41616392}，{”id“：”https://openalex.org/C149441793，“wikidata”：https://www.wikidata.org/wiki/Q200726“，”display_name“：”概率分布“，”level“：2，”score“：0.4105315}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34837687}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2889338｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27377152}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/cdc49753.2023.10383410“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：20，“referrenced_works”：[”https://openalex.org/W1980146067","https://openalex.org/W1993112505","https://openalex.org/W2033118636","https://openalex.org/W2050383062","https://openalex.org/W2077328925","https://openalex.org/W2080813827","https://openalex.org/W2119974577","https://openalex.org/W2126053898网址","https://openalex.org/W2138700249","https://openalex.org/W2413875992","https://openalex.org/W2803107565","https://openalex.org/W3081304589","https://openalex.org/W3125855560","https://openalex.org/W3135454970","https://openalex.org/W3163376802","https://openalex.org/W3186552360","https://openalex.org/W4225388096","https://openalex.org/W4226081842","https://openalex.org/W4321471459","https://openalex.org/W72346910“]，”related_works“：[”https://openalex.org/W2470330431","https://openalex.org/W2124122503","https://openalex.org/W2081199208","https://openalex.org/W2071659383","https://openalex.org/W2009776842","https://openalex.org/W1935138604","https://openalex.org/W1846253165","https://openalex.org/W183350788","https://openalex.org/W1565271071","https://openalex.org/W1497573972“]，”ngrams_url“：”https://api.openalex.org/works/W4391020653/ngrams“，”“abstract_inverted_index”：{“确保”：[0]，“安全”：[1,97]，“通过”：[2125]，“设置”：[3,62,64,81]，“不变性”：[4,28]，“有”：[5]，“已证明”：[6]，“a”：[7,11,59]，“有用”：[8]，“方法”：[9]，“in”：[10,15104]，“种类”：[12]，“的”：[13,54,65119]，“应用程序”：[14]，”机器人：[16]，“and”：[17,51,63,99121]，“control.”：[18]，“in”：[19]，“this”：[20,87]，“paper”，“：[21]，”we“：[22,89]，“焦点”：[23]，“关于”：[24]，“该”：[25,40,49,55,71,74,79102]，“安全”：[26,61,80]，“概率”：[27]，“验证”：[29,98]，“问题”：[30]，“对于”：[31,58,82,96111]，“离散时间”：[32]，“动态”：[33]，“系统”：[34]，“主题”：[35]，“到”：[36,47]，“随机”：[37,93]，“扰动”：[38]，“过”：[39]，“无限”：[41]，“时间”：[42]，“地平线”。“：[43]，“我们的”：[44]，“目标”：[45]，“是”：[46]，“计算”：[48]，“下限”：[50]，“上限”：[52]，“界限”：[53]，“活性”：[56]，“概率”：[57,69113]，“给定”：[60]，“初始”：[66]，“状态”。“：[67]，”This“：[68]，”表示“：[70]，”可能性“：[72]，”that“：[73]，”system“：[75]，”will“：[76]，”remain“：[77]，”in“：[78]，”all“：[83]，”时间。“：[84]，“收件人”：[85]，“地址”：[86]，“问题”，：[88]，“绘图”：[90]，“灵感”：[91]，“来自”：[92]，“障碍”：[94]，“证书”：[95]，“构建”：[100]，“基于”：[101]，“发现”：[103]，“[21]，”：[105]，“其中”：[106]，“一个”：[107]，“等式”：[108]，“是”：[109]，“呈现”：[110]，“精确”：[112]，“分析。“：[114]，”We“：[115]，”present“：[116]，”two“：[117126]，”set“：[118]，”optimizations“：[120]，”demove“：[122]，”their“：[123]，”effectivity“：[124]，”examples“：[127]，”using“：[128]，”semi-fined“：[129]，”programming“：%130]，”tools“。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W4391020653“，”counts_by_year“：[]，”updated_date“：”2024-05-28T10:58:38.953434“，”created_date:“2024-01-20”}“