{"id":"https://openalex.org/W7123347847","doi":"https://doi.org/10.1109/cdc57313.2025.11312331","title":"Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations","display_name":"Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123347847","doi":"https://doi.org/10.1109/cdc57313.2025.11312331"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312331","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5101337307","display_name":"Chong He","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chong He","raw_affiliation_strings":["Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030439070","display_name":"Mugilan Mariappan","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mugilan Mariappan","raw_affiliation_strings":["Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054794473","display_name":"Keval Vora","orcid":"https://orcid.org/0000-0002-5462-5116"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Keval Vora","raw_affiliation_strings":["Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020559544","display_name":"Mo Chen","orcid":"https://orcid.org/0000-0001-8390-6948"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mo Chen","raw_affiliation_strings":["Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University,School of Computing Science,Burnaby,BC,Canada,V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.63505477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1720","last_page":"1726"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.4943000078201294,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.4943000078201294,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.09239999949932098,"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.05299999937415123,"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/reachability","display_name":"Reachability","score":0.8927000164985657},{"id":"https://openalex.org/keywords/curse-of-dimensionality","display_name":"Curse of dimensionality","score":0.7734000086784363},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6837000250816345},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6068000197410583},{"id":"https://openalex.org/keywords/dimensionality-reduction","display_name":"Dimensionality reduction","score":0.5857999920845032},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.46389999985694885},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4205000102519989}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8927000164985657},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.7734000086784363},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6837000250816345},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6068000197410583},{"id":"https://openalex.org/C70518039","wikidata":"https://www.wikidata.org/wiki/Q16000077","display_name":"Dimensionality reduction","level":2,"score":0.5857999920845032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5286999940872192},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4887999892234802},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4828999936580658},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.46389999985694885},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3727000057697296},{"id":"https://openalex.org/C56858530","wikidata":"https://www.wikidata.org/wiki/Q15947151","display_name":"Reduction strategy","level":2,"score":0.3716999888420105},{"id":"https://openalex.org/C22789450","wikidata":"https://www.wikidata.org/wiki/Q420904","display_name":"Singular value decomposition","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2888000011444092},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C2778258933","wikidata":"https://www.wikidata.org/wiki/Q16918986","display_name":"Decomposition method (queueing theory)","level":2,"score":0.2678000032901764}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312331","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hamilton-Jacobi":[0],"(HJ)":[1],"Reachability":[2],"is":[3,127],"widely":[4],"used":[5],"to":[6,24,47,81,129],"compute":[7],"value":[8,64,92],"functions":[9,93],"for":[10,20,34,72],"states":[11],"satisfying":[12],"specific":[13],"control":[14],"objectives.":[15],"However,":[16],"it":[17],"becomes":[18],"intractable":[19],"high-dimensional":[21],"problems":[22],"due":[23],"the":[25,42,50,57,96,100,106,120,136],"curse":[26],"of":[27,63,99,108],"dimensionality.":[28],"Dimensionality":[29],"reduction":[30,102,132],"approaches":[31],"are":[32],"essential":[33],"mitigating":[35],"this":[36,53],"challenge,":[37],"whereas":[38],"they":[39],"could":[40],"introduce":[41,82,135],"\"leaking":[43,58,137],"corner":[44,59],"issue\",":[45],"leading":[46],"inaccuracies":[48],"in":[49,61],"results.":[51],"In":[52],"paper,":[54],"we":[55,115],"define":[56],"issue\"":[60],"terms":[62],"functions,":[65],"propose":[66],"and":[67],"prove":[68],"a":[69,83],"necessary":[70],"condition":[71],"its":[73],"occurrence.":[74],"We":[75,104],"then":[76],"use":[77],"these":[78],"theoretical":[79],"contributions":[80],"new":[84],"local":[85],"updating":[86],"method":[87,110,118],"that":[88,134],"efficiently":[89],"corrects":[90],"inaccurate":[91],"while":[94],"maintaining":[95],"computational":[97],"efficiency":[98],"dimensionality":[101,131],"approaches.":[103],"demonstrate":[105],"effectiveness":[107],"our":[109,117,125],"through":[111],"numerical":[112],"simulations.":[113],"Although":[114],"validate":[116],"with":[119],"self-contained":[121],"subsystem":[122],"decomposition":[123],"(SCSD),":[124],"approach":[126],"applicable":[128],"other":[130],"techniques":[133],"corners\".":[138]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-01-14T00:00:00"}