{"id":"https://openalex.org/W4402496633","doi":"https://doi.org/10.1007/978-3-031-71177-0_10","title":"PyBDR: Set-Boundary Based Reachability Analysis Toolkit in\u00a0Python","display_name":"PyBDR: Set-Boundary Based Reachability Analysis Toolkit in\u00a0Python","publication_year":2024,"publication_date":"2024-09-12","ids":{"openalex":"https://openalex.org/W4402496633","doi":"https://doi.org/10.1007/978-3-031-71177-0_10"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71177-0_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_10.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-71177-0_10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103244212","display_name":"Jianqiang Ding","orcid":"https://orcid.org/0000-0003-0705-0345"},"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/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["CN","FI"],"is_corresponding":true,"raw_author_name":"Jianqiang Ding","raw_affiliation_strings":["Aalto University, Espoo, Finland","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"],"raw_orcid":"https://orcid.org/0000-0003-0705-0345","affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]},{"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"]}]},{"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"],"raw_orcid":"https://orcid.org/0000-0003-3398-0466","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":["National University of Defense Technology, Hunan, China"],"raw_orcid":"https://orcid.org/0000-0002-1171-7061","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Hunan, China","institution_ids":["https://openalex.org/I170215575"]}]},{"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"],"raw_orcid":"https://orcid.org/0000-0001-9717-846X","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":4,"corresponding_author_ids":["https://openalex.org/A5103244212"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I9927081"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.44707608,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"140","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9969000220298767,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8523067831993103},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8468002676963806},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.7735531330108643},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6857096552848816},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3328612446784973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8523067831993103},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8468002676963806},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.7735531330108643},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6857096552848816},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3328612446784973}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-71177-0_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_10.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/131134","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/7ff2f6e9-90e1-47c0-b9c6-aa1738b9657a","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-71177-0_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_10.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":[],"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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402496633.pdf","grobid_xml":"https://content.openalex.org/works/W4402496633.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W107960161","https://openalex.org/W172589331","https://openalex.org/W178772886","https://openalex.org/W191550043","https://openalex.org/W1604596197","https://openalex.org/W1996174386","https://openalex.org/W2015863039","https://openalex.org/W2073787328","https://openalex.org/W2105593549","https://openalex.org/W2116364955","https://openalex.org/W2132648515","https://openalex.org/W2158451642","https://openalex.org/W2176215692","https://openalex.org/W2207050309","https://openalex.org/W2268473646","https://openalex.org/W2417863416","https://openalex.org/W2483544051","https://openalex.org/W2528933731","https://openalex.org/W2576277975","https://openalex.org/W2604773389","https://openalex.org/W2606133973","https://openalex.org/W2613607093","https://openalex.org/W2734705105","https://openalex.org/W2807455070","https://openalex.org/W2919694184","https://openalex.org/W3009072669","https://openalex.org/W3011935159","https://openalex.org/W3035965352","https://openalex.org/W3098560806","https://openalex.org/W3099878876","https://openalex.org/W3107034996","https://openalex.org/W4283369533","https://openalex.org/W4293399525","https://openalex.org/W4308080812","https://openalex.org/W4382045668","https://openalex.org/W4388917779","https://openalex.org/W4400995113","https://openalex.org/W6600300406"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2207495067","https://openalex.org/W1906486629","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2],"PyBDR,":[3],"a":[4,92,131],"Python":[5],"reachability":[6,47,142],"analysis":[7,31,48,143],"toolkit":[8,66,163],"based":[9],"on":[10,15],"set-boundary":[11],"analysis,":[12],"which":[13,113],"centralizes":[14],"widely-adopted":[16],"set":[17,58],"propagation":[18],"techniques":[19],"for":[20,116],"formal":[21],"verification,":[22],"controller":[23],"synthesis,":[24],"state":[25],"estimation,":[26],"etc.":[27],"It":[28],"employs":[29],"boundary":[30],"of":[32,46,100,102,119,133,141],"initial":[33,156],"sets":[34,157],"to":[35,75],"mitigate":[36],"the":[37,44,76,138],"wrapping":[38],"effect":[39],"during":[40],"computations,":[41],"thus":[42],"improving":[43],"performance":[45],"algorithms":[49],"without":[50],"significantly":[51],"increasing":[52],"computational":[53],"costs.":[54],"Beyond":[55],"offering":[56],"various":[57],"representations":[59],"such":[60],"as":[61,108],"polytopes":[62],"and":[63,85,88,105],"zonotopes,":[64],"our":[65],"particularly":[67],"excels":[68],"in":[69,150],"interval":[70,82],"arithmetic":[71,83],"by":[72],"extending":[73],"operations":[74],"tensor":[77],"level,":[78],"enabling":[79],"efficient":[80],"parallel":[81],"computation":[84,99],"unifying":[86],"vector":[87],"matrix":[89],"intervals":[90],"into":[91],"single":[93],"framework.":[94],"Furthermore,":[95],"it":[96],"features":[97],"symbolic":[98],"derivatives":[101],"arbitrary":[103],"order":[104],"evaluates":[106],"them":[107],"real":[109],"or":[110,158],"interval-valued":[111],"functions,":[112],"is":[114,164],"essential":[115],"approximating":[117],"behaviours":[118],"nonlinear":[120],"systems":[121],"at":[122,166],"specific":[123],"time":[124,160],"instants.":[125],"Its":[126],"modular":[127],"architecture":[128],"design":[129],"offers":[130],"series":[132],"building":[134],"blocks":[135],"that":[136],"facilitate":[137],"prototype":[139],"development":[140],"algorithms.":[144],"Comparative":[145],"studies":[146],"showcase":[147],"its":[148],"strengths":[149],"handling":[151],"verification":[152],"tasks":[153],"with":[154],"large":[155],"long":[159],"horizons.":[161],"The":[162],"available":[165],"https://github.com/ASAG-ISCAS/PyBDR":[167],".":[168]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}