{“id”:“https://openalex.org/W3186552360“,”doi“:”https://doi.org/10.23919/acc50511.2021.9483095“,”title“:”随机离散时间系统的Reach-avoid Analysis“,”display_name“:”离散时间随机系统的Reache-avoid分析“,”publication_year“:2021,”publitation_date“:”2021-05-25“,”ids“:{”openalex“:”https://openalex.org/W3186552360“,”doi“:”https://doi.org/10.23919/acc50511.2021.9483095“,”mag“:”3186552360“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.23919/acc50511.2021.9483095“,”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/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/I4210165038“,”display_name“:”中科院大学“,”ror“:”https://ror.org/05qbk4x57“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Bai Xue“,”raw _affiliation_strings“:[“中国科学院软件研究所计算机科学国家重点实验室,中国北京”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5058992602“,”display_name“:”李仁觉“,”orcid“:null},”机构“:[{”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/I4210165038“,”display_name“:”中科院大学“,”ror“:”https://ror.org/05qbk4x57“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Renjue Li“,”raw _ afiliation_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/I4210165038“,”display_name“:”中科院大学“,”ror“:”https://ror.org/05qbk4x57“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Naijun Zhan“,”raw _affiliation_strings“:[“中国科学院软件研究所计算机科学国家重点实验室,中国北京”]},{“author_position”:“last”,“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 Franzle“,”raw _affiliation_strings“:[“德国奥尔登堡奥尔登堡卡尔·冯·奥斯西茨基大学\u00e4t”]}]、”countries_distict_count“:2,”institutions_disticenc_count“:3,”corresponding_author_ids“:[],”correcponding_institution_ids支付“:null,”has_fulltext“:false,”cited_by_count“:1,”cited_by_percentile_year“:{”min“:63,”max“:72},”biblio“:{”volume“:null,”issue“:nul,”first_page“:null,”last_page“:null},“is_retracted”:false、“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T10791“,”“display_name”:“工业过程中的模型预测控制”,“score”:0.999,“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.999,“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/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9977,“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/T10046“,”display_name“:”网络控制系统“,”score“:0.9809,”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/del延时系统“,”display_name“:”Time-Delay Systems“,”score“:0.559478},{”id“:”https://openalex.org/keywords/statibility-annalysis(https://openalex.org/keywords/statibility-annalysis)“,”display_name“:”稳定性分析“,”score“:0.535906},{”id“:”https://openalex.org/keywords/real-time优化“,”display_name“:”实时优化“,”score“:0.526711},{”id“:”https://openalex.org/keywords/probabilistic-systems网站“,”display_name“:”概率系统“,”score“:0.507762},{”id“:”https://openalex.org/keywords/constraint-handling“,”display_name“:”约束处理“,”score“:0.504203}],”concepts“:[{”id“:”https://openalex.org/C34388435,“wikidata”:https://www.wikidata.org/wiki/Q2267362“,”display_name“:”绑定函数“,”level“:2,”score“:0.65717304},{”id“:”https://openalex.org/C55689738,“wikidata”:https://www.wikidata.org/wiki/Q15963867“,”display_name“:”离散时间和连续时间“,”level“:2,”score“:0.63309467},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.6047904},{”id“:”https://openalex.org/C126255220,“wikidata”:https://www.wikidata.org/wiki/Q141495“,”display_name“:”数学优化“,”level“:1,”score“:0.5715912},{”id“:”https://openalex.org/C45374587,“wikidata”:https://www.wikidata.org/wiki/Q12525525“,”display_name“:”计算“,”级别“:2,”分数“:0.5532382},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.5145923},{”id“:”https://openalex.org/C37404715,“wikidata”:https://www.wikidata.org/wiki/Q380679“,”display_name“:”动态编程“,”level“:2,”score“:0.51081705},{”id“:”https://openalex.org/C75553542,“wikidata”:https://www.wikidata.org/wiki/Q178161“,”display_name“:”先验和后验“,”level“:2,”score“:0.46352845},{”id“:”https://openalex.org/C8272713,“wikidata”:https://www.wikidata.org/wiki/Q176737“,”display_name“:”随机过程“,”level“:2,”score“:0.46153554},{”id“:”https://openalex.org/C92703954,“wikidata”:https://www.wikidata.org/wiki/Q176737网址“,”display_name“:”离散时间随机过程“,”level“:4,”score“:0.4608462},{”id“:”https://openalex.org/C137631369,“wikidata”:https://www.wikidata.org/wiki/Q7617831“,”display_name“:”随机编程“,”level“:2,”score“:0.45617956},{”id“:”https://openalex.org/C2776029896,“wikidata”:https://www.wikidata.org/wiki/Q3935810“,”display_name“:”放松(心理学)“,”level“:2,”score“:0.43093604},{”id“:”https://openalex.org/C158535547,“wikidata”:https://www.wikidata.org/wiki/Q5165437“,”display_name“:”连续时间随机过程“,”level“:3,”score“:0.38994983},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.37741944},{”id“:”https://openalex.org/C194387892,“wikidata”:https://www.wikidata.org/wiki/Q1747770“,”display_name“:”随机优化“,”level“:2,”score“:0.35724905},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.26537818},{”id“:”https://openalex.org/C15744967,“wikidata”:https://www.wikidata.org/wiki/Q9418“,”display_name“:”心理学“,”等级“:0,”分数“:0.0},{”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/C105795698,“wikidata”:https://www.wikidata.org/wiki/Q12483“,”display_name“:”Statistics“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C77805123,“wikidata”:https://www.wikidata.org/wiki/Q161272“,”display_name“:”社会心理学“,”level“:1,”score“: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/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.23919/acc50511.2021.9483095“,”pdf_url“:null,”source“:null,”license“:null.,”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false}],”best_oa_location“:nul,”sustainable_development_goals“:[],”grants“:{”funder“:”https://openalex.org/F4320320879“,”funder_display_name“:”Deutsche Forschungsgemeinschaft“,”award_id“:”DFG GRK 1765“},{“funder”:“https://openalex.org/F4320321001“,”funder_display_name“:”国家自然科学基金“,”award_id“:”61872341618360056162520661732001“}],”datasets“:[],”versions“:[],”referenced_works_count“:13,”referrenced_works“:[”https://openalex.org/W1494154421","https://openalex.org/W1552300625","https://openalex.org/W2012811607","https://openalex.org/W2044372633","https://openalex.org/W2080813827","https://openalex.org/W2084772009","https://openalex.org/W2106816694","https://openalex.org/W2504507112","https://openalex.org/W2536620281","https://openalex.org/W2612876721","https://openalex.org/W2964058170","https://openalex.org/W3091748809","https://openalex.org/W3119044986“],”related_works“:[”https://openalex.org/W4250722264","https://openalex.org/W3121615167","https://openalex.org/W2949098703","https://openalex.org/W2602009922","https://openalex.org/W2138230037","https://openalex.org/W2078113993","https://openalex.org/W2019710194","https://openalex.org/W2019374575","https://openalex.org/W2007546606","https://openalex.org/W1978379809“],”ngrams_url“:”https://api.openalex.org/works/W3186552360/ngrams“,”“abstract_inverted_index”:{“随机”:[0],“离散时间”:[1,4,50,63],“系统”,:[2,19],“即”:[3],“动态”:[5],“系”:[6,51],“主题”:[7],“到”:[8,25,81101142],“随机”:[9,62,74],“干扰”:[10,75],“是”:[11],“an”:[12,84],“基本”:[13],“建模”:[14],“工具”:[15],“用于”:[16],“许多”:[17],“工程”:[18],“和“:[20,33,76151],”reach-avoid“:[21,46],”analysis“:[22],”is“:[23,67,80139152],”able“:[24],”guarantee“:[26],”safety“:[27],”(即“:[28,35,54],”via“:[29,36],”availing“:[30],”unsafe“:[31],”sets)“:[32],”progress“:[34],”eaching“:[37],”target“:[38119],”set)。“:[39],”In“:[40],”this“:[41],”论文“:[42],”we“:[43],”研究“:[44],”the“:[45,7130136143166169175],”problem“:[47,78160],”of“:[48,6,5,87104118126135145165168],”over“:[52],”open“:[53],”not“:[55],”bounded“:[56],”a“:[571002115124146157163],”priori“:[58],”time“:[59],“地平线。“:[60],”The“:[61,91133],”system“:[64],”interest“:[66],”modeled“:68],”by“:[69155],”iterative“:%70],”多项式“:[71],”maps“:[72],”with“:/73107],”addressed“:[79],”effectively“:[82],”compute“:+83],”inner“:[85],”approximation“:[86],”its“:88],”p-reach-avoid“:[89,92137],”set“。“:[90171],”set“:[93117125138150],”collects“:[94],”these“:[95],”initial“:[96],”states“:[97120128],”that“:[98],”give“:[99],”rise“:[100],”bundle“:[103],”trajectives“:[105],”which“:[106],”probability“:[108],”being“:[109],”larger“:[110],”thir“:[111],”p“:[112],”finally“:[113]],“命中”:[114],“指定”:[116],“while”:[121],“剩余”:[122],“内部“:[123],”安全“:[127],”之前“:[129],”第一个“:[131140],”命中。“:[132],”计算“:[134144],”简化“:[141],”对应“:[147],”严格“:[148],”p-超级别“:[149],”然后“:[153],”内近似“:[154],”求解“:[156],”半定“:[158],”编程“:[159],”获得“:[161],”来自“:[162],”松弛“:[164],”定义“:[167],”超级别“:170],”二“:[172],”示例“:[173],“演示”:[174],“提出了“:[176],”方法。“:[177]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W3186552360“,”counts_by_year“:[{”年“:2023,”cited_by_count“:1}],”更新日期“:”2024-05-15T08:50:44.525275“,”创建日期“:“2021-08-02”}