{"id":"https://openalex.org/W2947417799","doi":"https://doi.org/10.1109/tcad.2020.3012859","title":"Reachability Analysis of Linear Hybrid Systems via Block Decomposition","display_name":"Reachability Analysis of Linear Hybrid Systems via Block Decomposition","publication_year":2020,"publication_date":"2020-10-02","ids":{"openalex":"https://openalex.org/W2947417799","doi":"https://doi.org/10.1109/tcad.2020.3012859","mag":"2947417799"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.3012859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012859","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.02458","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle upon Tyne, U.K","Newcastle University"],"raw_orcid":"https://orcid.org/0000-0002-0686-0365","affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013537691","display_name":"Marcelo Forets","orcid":"https://orcid.org/0000-0002-9831-7801"},"institutions":[{"id":"https://openalex.org/I180910786","display_name":"Universidad de la Rep\u00fablica de Uruguay","ror":"https://ror.org/030bbe882","country_code":"UY","type":"education","lineage":["https://openalex.org/I180910786"]},{"id":"https://openalex.org/I4210128172","display_name":"Universidad CLAEH","ror":"https://ror.org/038vdm896","country_code":"UY","type":"education","lineage":["https://openalex.org/I4210128172"]}],"countries":["UY"],"is_corresponding":false,"raw_author_name":"Marcelo Forets","raw_affiliation_strings":["Universidad de la Rep\u00fablica, CURE, Maldonado, Uruguay","[Universidad de la Rep\u00fablica, CURE, Maldonado, Uruguay]"],"raw_orcid":"https://orcid.org/0000-0002-9831-7801","affiliations":[{"raw_affiliation_string":"Universidad de la Rep\u00fablica, CURE, Maldonado, Uruguay","institution_ids":["https://openalex.org/I180910786","https://openalex.org/I4210128172"]},{"raw_affiliation_string":"[Universidad de la Rep\u00fablica, CURE, Maldonado, Uruguay]","institution_ids":["https://openalex.org/I180910786","https://openalex.org/I4210128172"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039488370","display_name":"Goran Frehse","orcid":"https://orcid.org/0000-0002-5441-0481"},"institutions":[{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Goran Frehse","raw_affiliation_strings":["U2IS, ENSTA ParisTech, Palaiseau, France","U2IS, ENSTA-ParisTech, Palaiseau, France"],"raw_orcid":"https://orcid.org/0000-0002-5441-0481","affiliations":[{"raw_affiliation_string":"U2IS, ENSTA ParisTech, Palaiseau, France","institution_ids":["https://openalex.org/I201181511"]},{"raw_affiliation_string":"U2IS, ENSTA-ParisTech, Palaiseau, France","institution_ids":["https://openalex.org/I201181511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039570829","display_name":"Kostiantyn Potomkin","orcid":"https://orcid.org/0000-0002-4726-8931"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kostiantyn Potomkin","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle upon Tyne, U.K","Newcastle University"],"raw_orcid":"https://orcid.org/0000-0002-4726-8931","affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074526208","display_name":"Christian Schilling","orcid":"https://orcid.org/0000-0003-3658-1065"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christian Schilling","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","Institute of Science and Technology Austria"],"raw_orcid":"https://orcid.org/0000-0003-3658-1065","affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"Institute of Science and Technology Austria","institution_ids":["https://openalex.org/I157556583"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1268,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.46871384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"39","issue":"11","first_page":"4018","last_page":"4029"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9781000018119812,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9237998127937317},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7269413471221924},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6039649248123169},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5505046844482422},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.5084630250930786},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4777904450893402},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4555959701538086},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.44769585132598877},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4378831386566162},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4180053770542145},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.4138382375240326},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35018807649612427},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34391194581985474}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9237998127937317},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7269413471221924},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6039649248123169},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5505046844482422},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.5084630250930786},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4777904450893402},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4555959701538086},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.44769585132598877},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4378831386566162},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4180053770542145},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.4138382375240326},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35018807649612427},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34391194581985474},{"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/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/tcad.2020.3012859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012859","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1905.02458","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1905.02458","pdf_url":"https://arxiv.org/pdf/1905.02458","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pub.research-explorer.ista.ac.at:8287","is_oa":true,"landing_page_url":"https://research-explorer.ista.ac.at/record/8287","pdf_url":"https://research-explorer.ista.ac.at/download/8287/8288","source":{"id":"https://openalex.org/S7407055285","display_name":"Institute of Science and Technology Austria","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: <i>Proceedings of the International Conference on Embedded Software</i>. ; 2020.","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:pub.research-explorer.ista.ac.at:8790","is_oa":true,"landing_page_url":"https://doi.org/10.1109/TCAD.2020.3012859","pdf_url":null,"source":{"id":"https://openalex.org/S7407055285","display_name":"Institute of Science and Technology Austria","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. <i>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</i>. 2020;39(11):4018-4029. doi:<a href=\"https://doi.org/10.1109/TCAD.2020.3012859\">10.1109/TCAD.2020.3012859</a>","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1905.02458","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.02458","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.02458","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1905.02458","pdf_url":"https://arxiv.org/pdf/1905.02458","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4470488369","display_name":"ISTplus - Postdoctoral Fellowships","funder_award_id":"754411","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5625176068","display_name":null,"funder_award_id":"Z211-N23 (Wittgenstein Award)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7044494920","display_name":null,"funder_award_id":"S11402-N23 (RiSE/SHiNE)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7656110088","display_name":null,"funder_award_id":"FA2386-17-1-4065","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7822884593","display_name":null,"funder_award_id":"S11402-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G799444927","display_name":null,"funder_award_id":"Z211\u2010N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2947417799.pdf","grobid_xml":"https://content.openalex.org/works/W2947417799.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W315739085","https://openalex.org/W1541882523","https://openalex.org/W1546282418","https://openalex.org/W1569692898","https://openalex.org/W1598128844","https://openalex.org/W1604596197","https://openalex.org/W1606189410","https://openalex.org/W1709870800","https://openalex.org/W1769594948","https://openalex.org/W1885187308","https://openalex.org/W1965510097","https://openalex.org/W1966165240","https://openalex.org/W1995691455","https://openalex.org/W2000472767","https://openalex.org/W2012592827","https://openalex.org/W2024772987","https://openalex.org/W2026019548","https://openalex.org/W2040584579","https://openalex.org/W2040637657","https://openalex.org/W2071775092","https://openalex.org/W2100908223","https://openalex.org/W2110549766","https://openalex.org/W2111546354","https://openalex.org/W2131441094","https://openalex.org/W2139426253","https://openalex.org/W2146630246","https://openalex.org/W2147340401","https://openalex.org/W2148642357","https://openalex.org/W2159907637","https://openalex.org/W2176215692","https://openalex.org/W2568852336","https://openalex.org/W2569330252","https://openalex.org/W2576277975","https://openalex.org/W2578616199","https://openalex.org/W2602950602","https://openalex.org/W2604744961","https://openalex.org/W2604773389","https://openalex.org/W2606133973","https://openalex.org/W2617343351","https://openalex.org/W2735951711","https://openalex.org/W2739746066","https://openalex.org/W2793102200","https://openalex.org/W2919694184","https://openalex.org/W2948377308","https://openalex.org/W2963286335","https://openalex.org/W2963403829","https://openalex.org/W2963934573","https://openalex.org/W3098560806","https://openalex.org/W6635911431","https://openalex.org/W6649502603","https://openalex.org/W6683676856","https://openalex.org/W6731923558","https://openalex.org/W6732886444","https://openalex.org/W6735882710","https://openalex.org/W6741754468"],"related_works":["https://openalex.org/W3091334978","https://openalex.org/W100449171","https://openalex.org/W2782140726","https://openalex.org/W2122240941","https://openalex.org/W2112280527","https://openalex.org/W2150907142","https://openalex.org/W2603150469","https://openalex.org/W2079376791","https://openalex.org/W3159586066","https://openalex.org/W1520624628","https://openalex.org/W1598793897","https://openalex.org/W1604596197","https://openalex.org/W3107034996","https://openalex.org/W192952563","https://openalex.org/W2606133973","https://openalex.org/W2746967387","https://openalex.org/W1568518466","https://openalex.org/W2034592322","https://openalex.org/W2068951165","https://openalex.org/W3176180643"],"abstract_inverted_index":{"Reachability":[0,27],"analysis":[1,28],"aims":[2],"at":[3],"identifying":[4],"states":[5,40],"reachable":[6,41],"by":[7,30,80,108],"a":[8,11,118,129],"system":[9],"within":[10],"given":[12],"time":[13,89],"horizon.":[14],"This":[15],"task":[16],"is":[17],"known":[18],"to":[19,38,43],"be":[20],"computationally":[21],"expensive":[22],"for":[23,88,92],"linear":[24],"hybrid":[25],"systems.":[26],"works":[29],"iteratively":[31],"applying":[32],"continuous":[33,44],"and":[34,45,58,115],"discrete":[35,46],"post":[36],"operators":[37,57],"compute":[39],"according":[42],"dynamics,":[47],"respectively.":[48],"In":[49,73],"this":[50],"article,":[51],"we":[52,75],"enhance":[53],"both":[54],"of":[55,63,96,112,117,125,131],"these":[56],"make":[59],"sure":[60],"that":[61],"most":[62],"the":[64,77,93,97,101,110,113,123],"involved":[65],"computations":[66,82,107],"are":[67],"performed":[68],"in":[69,83],"low-dimensional":[70,106],"state":[71,85],"space.":[72],"particular,":[74],"improve":[76],"continuous-post":[78],"operator":[79,104],"performing":[81],"high-dimensional":[84],"space":[86],"only":[87],"intervals":[90],"relevant":[91],"subsequent":[94],"application":[95],"discrete-post":[98,103],"operator.":[99],"Furthermore,":[100],"new":[102],"performs":[105],"leveraging":[109],"structure":[111],"guard":[114],"assignment":[116],"considered":[119],"transition.":[120],"We":[121],"illustrate":[122],"potential":[124],"our":[126],"approach":[127],"on":[128],"number":[130],"challenging":[132],"benchmarks.":[133]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}