{"id":"https://openalex.org/W3186552360","doi":"https://doi.org/10.23919/acc50511.2021.9483095","title":"Reach-avoid Analysis for Stochastic Discrete-time Systems","display_name":"Reach-avoid Analysis for Stochastic Discrete-time Systems","publication_year":2021,"publication_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":{"id":"doi:10.23919/acc50511.2021.9483095","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9483095","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","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":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bai Xue","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058992602","display_name":"Renjue Li","orcid":"https://orcid.org/0000-0003-2472-0021"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","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":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Renjue Li","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","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":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, CAS, and Univ. of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089746112","display_name":"Martin Fr\u00e4nzle","orcid":"https://orcid.org/0000-0002-9138-8340"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Franzle","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg, Oldenburg, Germany"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100781916"],"corresponding_institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.824,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.72216076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"4879","last_page":"4885"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6571730375289917},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.6330946683883667},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6047903895378113},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5715911984443665},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5532382130622864},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5145922899246216},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.5108170509338379},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.46352845430374146},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4615355432033539},{"id":"https://openalex.org/keywords/discrete-time-stochastic-process","display_name":"Discrete-time stochastic process","score":0.4608461856842041},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.45617955923080444},{"id":"https://openalex.org/keywords/relaxation","display_name":"Relaxation (psychology)","score":0.4309360384941101},{"id":"https://openalex.org/keywords/continuous-time-stochastic-process","display_name":"Continuous-time stochastic process","score":0.38994982838630676},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37741944193840027},{"id":"https://openalex.org/keywords/stochastic-optimization","display_name":"Stochastic optimization","score":0.35724905133247375},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2653781771659851}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6571730375289917},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.6330946683883667},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6047903895378113},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5715911984443665},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5532382130622864},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5145922899246216},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.5108170509338379},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.46352845430374146},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4615355432033539},{"id":"https://openalex.org/C92703954","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Discrete-time stochastic process","level":4,"score":0.4608461856842041},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.45617955923080444},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.4309360384941101},{"id":"https://openalex.org/C158535547","wikidata":"https://www.wikidata.org/wiki/Q5165437","display_name":"Continuous-time stochastic process","level":3,"score":0.38994982838630676},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37741944193840027},{"id":"https://openalex.org/C194387892","wikidata":"https://www.wikidata.org/wiki/Q1747770","display_name":"Stochastic optimization","level":2,"score":0.35724905133247375},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2653781771659851},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc50511.2021.9483095","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9483095","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5377418968","display_name":null,"funder_award_id":"61872341,61836005,61625206,61732001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7074371790","display_name":null,"funder_award_id":"DFG GRK 1765","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1494154421","https://openalex.org/W1552300625","https://openalex.org/W1766888123","https://openalex.org/W2012811607","https://openalex.org/W2044372633","https://openalex.org/W2080813827","https://openalex.org/W2084772009","https://openalex.org/W2106816694","https://openalex.org/W2340735175","https://openalex.org/W2504507112","https://openalex.org/W2536620281","https://openalex.org/W2612876721","https://openalex.org/W2964058170","https://openalex.org/W3091748809","https://openalex.org/W3119044986","https://openalex.org/W6738055024","https://openalex.org/W6788339893"],"related_works":["https://openalex.org/W2019710194","https://openalex.org/W1978379809","https://openalex.org/W2019374575","https://openalex.org/W2138230037","https://openalex.org/W4250722264","https://openalex.org/W2078113993","https://openalex.org/W2949098703","https://openalex.org/W2007546606","https://openalex.org/W2602009922","https://openalex.org/W3121615167"],"abstract_inverted_index":{"Stochastic":[0],"discrete-time":[1,4,50,63],"systems,":[2,19],"i.e.,":[3],"dynamic":[5],"systems":[6,51],"subject":[7],"to":[8,25,81,101,142],"stochastic":[9,49,62,74],"disturbances,":[10,75],"are":[11],"an":[12,84],"essential":[13],"modelling":[14],"tool":[15],"for":[16],"many":[17],"engineering":[18],"and":[20,33,76,151],"reach-avoid":[21,46],"analysis":[22],"is":[23,67,80,139,152],"able":[24],"guarantee":[26],"safety":[27],"(i.e.,":[28,35,54],"via":[29,36],"avoiding":[30],"unsafe":[31],"sets)":[32],"progress":[34],"reaching":[37],"target":[38,119],"sets).":[39],"In":[40],"this":[41],"paper":[42],"we":[43],"study":[44],"the":[45,77,130,136,143,166,169,175],"problem":[47,78,160],"of":[48,65,87,104,118,126,135,145,165,168],"over":[52],"open":[53],"not":[55],"bounded":[56],"a":[57,102,115,124,146,157,163],"priori)":[58],"time":[59],"horizons.":[60],"The":[61,91,133],"system":[64],"interest":[66],"modeled":[68],"by":[69,155],"iterative":[70],"polynomial":[71],"maps":[72],"with":[73,107],"addressed":[79],"effectively":[82],"compute":[83],"inner":[85],"approximation":[86],"its":[88],"p-reach-avoid":[89,92,137],"set.":[90,171],"set":[93,117,125,138,150],"collects":[94],"those":[95],"initial":[96],"states":[97,120,128],"that":[98],"give":[99],"rise":[100],"bundle":[103],"trajectories":[105],"which":[106],"probability":[108],"being":[109],"larger":[110],"than":[111],"p":[112],"eventually":[113],"hits":[114],"designated":[116],"while":[121],"remaining":[122],"inside":[123],"safe":[127],"before":[129],"first":[131,140],"hit.":[132],"computation":[134,144],"reduced":[141],"corresponding":[147],"strict":[148],"p-super-level":[149],"then":[153],"inner-approximated":[154],"solving":[156],"semi-definite":[158],"programming":[159],"obtained":[161],"from":[162],"relaxation":[164],"definition":[167],"super-level":[170],"Two":[172],"examples":[173],"demonstrate":[174],"proposed":[176],"approach.":[177]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}