{"id":"https://openalex.org/W4400995113","doi":"https://doi.org/10.1007/978-3-031-65633-0_14","title":"Inner-Approximate Reachability Computation via\u00a0Zonotopic Boundary Analysis","display_name":"Inner-Approximate Reachability Computation via\u00a0Zonotopic Boundary Analysis","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400995113","doi":"https://doi.org/10.1007/978-3-031-65633-0_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65633-0_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_14.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083481413","display_name":"Dejin Ren","orcid":"https://orcid.org/0000-0001-7779-0096"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"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":"Dejin Ren","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425176","display_name":"Zhen Liang","orcid":"https://orcid.org/0000-0002-1171-7061"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Liang","raw_affiliation_strings":["College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chenyu Wu","orcid":"https://orcid.org/0009-0003-1571-4831"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"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":"Chenyu Wu","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103244212","display_name":"Jianqiang Ding","orcid":"https://orcid.org/0000-0003-0705-0345"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jianqiang Ding","raw_affiliation_strings":["Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051183647","display_name":"Taoran Wu","orcid":"https://orcid.org/0000-0003-3398-0466"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"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":"Taoran Wu","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"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":"Bai Xue","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5083481413"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.2728,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86017254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"307","last_page":"328"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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.9934999942779541,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9540058374404907},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.819429874420166},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7348616123199463},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.5762268900871277},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45041602849960327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39116787910461426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14232489466667175},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07497537136077881}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9540058374404907},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819429874420166},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7348616123199463},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5762268900871277},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45041602849960327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39116787910461426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14232489466667175},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07497537136077881}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-65633-0_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/130386","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/7fc6202b-1410-4509-92d5-d7869ba310aa","pdf_url":null,"source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-65633-0_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G3857777821","display_name":null,"funder_award_id":"ISCAS-JCMS-202302","funder_id":"https://openalex.org/F4320335644","funder_display_name":"Institute of Software, Chinese Academy of Sciences"}],"funders":[{"id":"https://openalex.org/F4320335644","display_name":"Institute of Software, Chinese Academy of Sciences","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400995113.pdf","grobid_xml":"https://content.openalex.org/works/W4400995113.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1522228969","https://openalex.org/W1569692898","https://openalex.org/W1574960890","https://openalex.org/W1789809724","https://openalex.org/W1978711628","https://openalex.org/W2025669802","https://openalex.org/W2054768162","https://openalex.org/W2109771665","https://openalex.org/W2118741873","https://openalex.org/W2136099734","https://openalex.org/W2158451642","https://openalex.org/W2163590987","https://openalex.org/W2220755305","https://openalex.org/W2483544051","https://openalex.org/W2606692557","https://openalex.org/W2808841883","https://openalex.org/W2884574904","https://openalex.org/W2936781873","https://openalex.org/W2964102294","https://openalex.org/W3012067785","https://openalex.org/W3090255919","https://openalex.org/W3107034996","https://openalex.org/W3118621910","https://openalex.org/W3119746089","https://openalex.org/W4235915798","https://openalex.org/W4238022180","https://openalex.org/W4239940594","https://openalex.org/W4254205555","https://openalex.org/W4298255709","https://openalex.org/W4376457114","https://openalex.org/W4400995113","https://openalex.org/W6602301541"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585","https://openalex.org/W2477549100"],"abstract_inverted_index":{"Abstract":[0],"Inner-approximate":[1],"reachability":[2,59,66,86],"analysis":[3,14,23,60],"involves":[4],"calculating":[5],"subsets":[6],"of":[7,20,33,36,102,112,116,140,166,184],"reachable":[8],"sets,":[9],"known":[10],"as":[11,27],"inner-approximations.":[12,169,202],"This":[13],"is":[15,105,193],"crucial":[16],"in":[17,75,157,200],"the":[18,34,57,64,77,96,109,113,117,137,141,150,155,164,172],"fields":[19],"dynamic":[21],"systems":[22,69],"and":[24,128,135],"control":[25],"theory":[26],"it":[28,177],"provides":[29],"a":[30,39,48,158,182],"reliable":[31],"estimation":[32],"set":[35,143],"states":[37,46,93],"that":[38,131,190],"system":[40],"can":[41,132],"reach":[42],"from":[43,95],"given":[44],"initial":[45,97,118,142],"at":[47],"specific":[49],"time":[50],"instant.":[51],"In":[52],"this":[53,103],"paper,":[54],"we":[55,123,148,175],"study":[56],"inner-approximate":[58],"problem":[61],"based":[62],"on":[63,108],"set-boundary":[65,85],"method":[67,87,104,192],"for":[68,163],"modelled":[70],"by":[71,91,145,153],"ordinary":[72],"differential":[73],"equations,":[74],"which":[76,161],"computed":[78],"inner-approximations":[79],"are":[80],"represented":[81,144],"with":[82,178],"zonotopes.":[83,146],"The":[84,100,186],"computes":[88],"an":[89],"inner-approximation":[90],"excluding":[92],"reached":[94],"set\u2019s":[98],"boundary.":[99],"effectiveness":[101],"highly":[106],"dependent":[107],"efficient":[110,196],"extraction":[111],"exact":[114,138],"boundary":[115,127,139],"set.":[119],"To":[120,170],"address":[121],"this,":[122],"propose":[124],"methods":[125,180],"leveraging":[126],"tiling":[129],"matrices":[130],"efficiently":[133],"extract":[134],"refine":[136],"Additionally,":[147],"enhance":[149],"exclusion":[151],"strategy":[152],"contracting":[154],"outer-approximations":[156],"flexible":[159],"way,":[160],"allows":[162],"computation":[165],"less":[167],"conservative":[168],"evaluate":[171],"proposed":[173],"method,":[174],"compare":[176],"state-of-the-art":[179],"against":[181],"series":[183],"benchmarks.":[185],"numerical":[187],"results":[188],"demonstrate":[189],"our":[191],"not":[194],"only":[195],"but":[197],"also":[198],"accurate":[199],"computing":[201]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}