{“id”：“https://openalex.org/W4376457114“，”doi“：”https://doi.org/10.109/tac.2023.3274821“，”title“：”Reach-Avoid Verification Based on Convex Optimization“，”display_name“：”基于凸优化的Reach-Avaid Verifications“，”publication_year“：2024，”publiation_date“：”2024-01-01“，”ids“：{”openalex“：”https://openalex.org/W4376457114“，”doi“：”https://doi.org/10.1109/tac.2023.3274821“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tac.2023.3274821“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S184954342“，”display_name“：”IEEE自动控制事务“，”issn_l“：”0018-9286“，”isn“：[”0018-92“，”1558-2523“，”2334-3303“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：true，”“oa_status”：“green”，“oa_url”：“”https://arxiv.org/pdf/2208.08105“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”网址：https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”raw _affiliation_strings“：[“中国科学院北京软件研究所计算机科学国家重点实验室”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5026435847“，”display_name“：”Naijun Zhan“，”orcid“：”https://orcid.org/0000-0003-3298-3817}，“机构”：[{“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“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”网址：https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Naijun Zhan“，”rau_affiliation_strings“：[“中国科学院北京软件研究所计算机科学国家重点实验室”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089746112“，”display_name“：”Martin Fr\u00e4nzle“，”orcid“：”https://orcid.org/0000-0002-9138-8340}，“机构”：[{“id”：https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Fr\u00e4nzle“，”raw _affiliation_strings“：[“德国奥尔登堡奥尔登堡卡尔·冯·奥斯西茨基大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5070125237“，”display_name“：”Ji Wang“，”orcid“：”https://orcid.org/0000-0003-0637-8744}，“机构”：[{“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关联字符串“：[“中国长沙国防科技大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5082329778“，”display_name“：”刘万伟“，”orcid“：”https://orcid.org/0000-0002-2315-1704}，“机构”：[{“id”：https://openalex.org/I170215575“，”display_name“：”国防科技大学“，”ror“：”https://ror.org/05d2yfz11“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I170215575“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Wanwei Liu“，”raw_affiliation_strings“：【”中国长沙国防科技大学“】}]，“countries_distict_count”：2，“institutions_disticent_count”：4，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc_payed”：nul，“has_fulltext“：false，”cited_by_count“：1，”cited_by_percentile_year“：{”min“：92，”max“：97}，”biblio“：{”volume“：”69“，”issue“：”1“，”first_page“：”598“，”last_page“：“605”}“，”is_retracted“：假，”is_paratext“：假”，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”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.9975，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T14083“，”“display_name”：“动态系统中的极值搜索控制”，“score”：0.9829，“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/T10791“，”“display_name”：“工业过程中的模型预测控制”，“score”：0.9803，“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/real-time优化“，”display_name“：”实时优化“，”score“：0.526961}，{”id“：”https://openalex.org/keywords/constraint-handling“，”display_name“：”约束处理“，”score“：0.52181}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.513601}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.511353}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.500534}]，”concepts“：[{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.6518448}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.5916594}，{”id“：”https://openalex.org/C15312841，“wikidata”：https://www.wikidata.org/wiki/Q1657198“，”display_name“：”Set function“，”level“：3，”score“：0.5684446}，{”id“：”https://openalex.org/C167964875，“wikidata”：https://www.wikidata.org/wiki/Q17011487“，”display_name“：”指数稳定性“，”level“：3，”score“：0.54521143}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.52035016}，{”id“：”https://openalex.org/C101901036，“wikidata”：https://www.wikidata.org/wiki/Q2269096“，”display_name“：”半定规划“，”level“：2，”score“：0.5159727}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076网址“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.47963816}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4649163}，{”id“：”https://openalex.org/C13662910，“wikidata”：https://www.wikidata.org/wiki/Q193139“，”display_name“：”Trajectory“，”level“：2，”score“：0.46222293}，{”id“：”https://openalex.org/C179254644，“wikidata”：https://www.wikidata.org/wiki/Q13222844“，”display_name“：”力矩（物理）“，”等级“：2，”分数“：0.44215587}，{”id“：”https://openalex.org/C60033838，“wikidata”：https://www.wikidata.org/wiki/Q1751685“，”display_name“：”解决方案集“，”level“：3，”score“：0.43553105｝，｛”id“：”https://openalex.org/C177067428，“wikidata”：https://www.wikidata.org/wiki/Q17013331“，”display_name“：”可行区域“，”level“：2，”score“：0.4248745}，{”id“：”https://openalex.org/C151376022，“wikidata”：https://www.wikidata.org/wiki/Q168698“，”display_name“：”指数函数“，”level“：2，”score“：0.41592598}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41424775}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C74650414，“wikidata”：https://www.wikidata.org/wiki/Q11397“，”display_name“：”经典力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C158622935，“wikidata”：https://www.wikidata.org/wiki/Q660848“，”display_name“：”非线性系统“，”level“：2，”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/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”display_name“：”天文学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tac.2023.3274821“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S184954342“，”display_name“：”IEEE自动控制事务“，”issn_l“：”0018-9286“，”isn“：[”0018-92“，”1558-2523“，”2334-3303“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2208.08105，“pdf_url”：https://arxiv.org/pdf/2208.08105，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2208.08105，“pdf_url”：https://arxiv.org/pdf/2208.08105，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.52，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”拨款“：[{”资助者“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”DFG FR 2715/5-1“}“，{”funder“：”https://openalex.org/F4320321001“，”funder_display_name“：”国家自然科学基金“，”award_id“：”62032024“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：25，”referrenced_works“：[”https://openalex.org/W1499853177","https://openalex.org/W1607353007","https://openalex.org/W1698848442","https://openalex.org/W2015863039","https://openalex.org/W2033118636","https://openalex.org/W2034773561","https://openalex.org/W2050383062","https://openalex.org/W2084859862","https://openalex.org/W2085838366","https://openalex.org/W2091616860","https://openalex.org/W2096326343","https://openalex.org/W2106985815","https://openalex.org/W2129729773","https://openalex.org/W2131332110","https://openalex.org/W2149626391","https://openalex.org/W2169239645","https://openalex.org/W2528933731","https://openalex.org/W2536620281","https://openalex.org/W2889277448","https://openalex.org/W2932827394","https://openalex.org/W2968945909","https://openalex.org/W306903215","https://openalex.org/W3107034996","https://openalex.org/W3158895321","https://openalex.org/W4210812484“]，”related_works“：[”https://openalex.org/W930615311","https://openalex.org/W4287215267","https://openalex.org/W4211243739","https://openalex.org/W2969512097","https://openalex.org/W2502765915","https://openalex.org/W2392105230","https://openalex.org/W2185334956","https://openalex.org/W2057305555","https://openalex.org/W2055649011","https://openalex.org/W2055413939“]，”ngrams_url“：”https://api.openalex.org/works/W4376457114/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1190]，“article”：[2]，“we”：[3,35195]，“propose”：[4]，“novel”：/5]，“sufficient”：[6234]，“conditions”：[7,46235]，“for”：[8,4311217]，“verifying”：[9112218]，“reach-avoid”：[10,39114220]，“properties”：[11]，“of”：[12,33,53106119149163199209232]，“uous-time“：[13]，“系统”：[14]，“建模”：[15]，“通过“：[16]，”普通“：[17]，”微分“：[18]，”等式。“：[19]，”给定“：[20]，”a“：[21,26,3010012560197]，”系统“：[22]，”an“：[23136]，”初始“：[24,45,49,90]，”集“，”：[25,28,50]，”安全“：[27,75]，”和“：[29230]，”目标“：[31,69,80,95132]，”集合“：[32,70,76,91,96133148192198]，”状态“：[34]，”说“：[36]，“：[37,78146]，“该”：[38,48,54,68,74,85,89,94113117128131164174205219227]，“属性“：[40115221]，”保持“：[41]，”如果，“：[42]，”全部“：[44]，”in“：[47,62]，”任意“：[51]，”轨迹“：[52]，”系统“：[55,86129]，”开始“：[56,87]，”在“：[57135]，”它们“：[58]，”将“：[59]，”最终“：[60]，”即“：[61]，”无限“：[63]，”尚未“：[64]，”有限“：[65]，“时间”：[66]，“输入”：[67]，“while”：[71173]，“剩余”：[72]，“内部”：[73]，“直到”：[77]first“：[79]，”hit“：[81]，”（即“：[82]，”is，“：[83]，”if“：[84]，”from“：[88168]，”can“：[92]，”reach“：[93]，”safety）。“：[97]，”基于“：[98]，”关于“：[99]，”折扣“：[101]，”值“：[102]，”函数“：[103]，”两个“：[104207]，”集合“：[105208]，”量化“：[107]，”约束“：[108150210]，”are“：[109]，”派生“：[110167]，”via“：[116]，”计算“：[118]，”指数/渐近“：[120]，”引导“：[12156182]，”功能“：[122157183]，“（他们”：[123]，“形式”：[124]，”屏障“：[126]，”护送“：[127]，”到“：[130144]，”安全“：[134]，”指数“：[137155]，”或“：[138]，”渐近“：[139181]，”速率）。“：[140]，“It”：[141]，“is”：[142153158179184]，“interest”：[143]，“find”：[145]，“one”：[147166176]，“which”：[151177]，“solution”：%152178]，“term”：[154180]，“just”：[159]，“simplified”：161]，“version”：[162]，“existing”：[165]，“moment”：[170]，“based”：171]，“method”：%172]，“other”：+175]，“complete”“：[185]，”新增。“：[186]，”“此外，”：[187]，“构建”：[188]，“基于”：[189]，“新建”：[191]，“约束”，“：[194202]，“派生”：[196]，“更多”：[200215]，“表达”：[201]，“其中”：[203]，“包括”：[204]，“上述”：[206]，“作为”：[211]，“特殊”：[212]，“实例”：[213]，“提供”：[214]，“机会”：[216]，“成功。“：[222]，”最后，“：[223]，”几个“：[224]，”示例“：[225]，”演示“：[226]，”理论“：[228]，”发展“：[229]，”性能“：[231]，”建议“：[233]，”使用“：[236]，”半定“：[237]，”编程“：[238]，”方法。“：[239]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4376457114“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-05-16T08:46:13.427805“，”创建日期“：“2023-05-14”}