{"id":"https://openalex.org/W4407949677","doi":"https://doi.org/10.1109/cdc56724.2024.10885790","title":"Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis","display_name":"Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407949677","doi":"https://doi.org/10.1109/cdc56724.2024.10885790"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10885790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10885790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","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/A5011942189","display_name":"Sander Tonkens","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sander Tonkens","raw_affiliation_strings":["University of California,San Diego"],"affiliations":[{"raw_affiliation_string":"University of California,San Diego","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057475370","display_name":"Alex Toofanian","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Toofanian","raw_affiliation_strings":["University of California,San Diego"],"affiliations":[{"raw_affiliation_string":"University of California,San Diego","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076864687","display_name":"Zhizhen Qin","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhizhen Qin","raw_affiliation_strings":["University of California,San Diego"],"affiliations":[{"raw_affiliation_string":"University of California,San Diego","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081085178","display_name":"Sicun Gao","orcid":"https://orcid.org/0000-0003-2524-4960"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sicun Gao","raw_affiliation_strings":["University of California,San Diego"],"affiliations":[{"raw_affiliation_string":"University of California,San Diego","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071321544","display_name":"Sylvia Herbert","orcid":"https://orcid.org/0000-0002-3863-8945"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sylvia Herbert","raw_affiliation_strings":["University of California,San Diego"],"affiliations":[{"raw_affiliation_string":"University of California,San Diego","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5011942189"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":0.2632,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59431753,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"3577","last_page":"3584"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9111999869346619,"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.9111999869346619,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9010394811630249},{"id":"https://openalex.org/keywords/hamilton\u2013jacobi-equation","display_name":"Hamilton\u2013Jacobi equation","score":0.623310387134552},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5097615122795105},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5095622539520264},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4165138602256775},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34959888458251953},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.2905753254890442},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2749483287334442}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9010394811630249},{"id":"https://openalex.org/C2778860007","wikidata":"https://www.wikidata.org/wiki/Q1060137","display_name":"Hamilton\u2013Jacobi equation","level":2,"score":0.623310387134552},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5097615122795105},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5095622539520264},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4165138602256775},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34959888458251953},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2905753254890442},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2749483287334442},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10885790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10885790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd 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":30,"referenced_works":["https://openalex.org/W1833752784","https://openalex.org/W1845972764","https://openalex.org/W1886421468","https://openalex.org/W1980569135","https://openalex.org/W2001331101","https://openalex.org/W2116364955","https://openalex.org/W2171505650","https://openalex.org/W2968945909","https://openalex.org/W3010970209","https://openalex.org/W3011042361","https://openalex.org/W3082066778","https://openalex.org/W3106152188","https://openalex.org/W3119862069","https://openalex.org/W3143034939","https://openalex.org/W3145762295","https://openalex.org/W3206190169","https://openalex.org/W4205430897","https://openalex.org/W4205950066","https://openalex.org/W4245376853","https://openalex.org/W4312639337","https://openalex.org/W4312847395","https://openalex.org/W4315606134","https://openalex.org/W4387123822","https://openalex.org/W4391741307","https://openalex.org/W6763711611","https://openalex.org/W6764969207","https://openalex.org/W6800526921","https://openalex.org/W6801468180","https://openalex.org/W6804671889","https://openalex.org/W6809713462"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459","https://openalex.org/W2889071233","https://openalex.org/W2380814829"],"abstract_inverted_index":{"Safe":[0],"value":[1,34,55,61,69,84,91,119,129,183],"functions,":[2,7,35],"such":[3],"as":[4],"control":[5],"barrier":[6],"characterize":[8],"a":[9,14,21,46,59,67,141],"safe":[10,33,54,60,90,182],"set":[11,113],"and":[12,103,117,133,154,186],"synthesize":[13,31],"safety":[15,74,101,135,146,189],"filter,":[16],"overriding":[17],"unsafe":[18],"actions,":[19],"for":[20,143],"dynamic":[22,48],"system.":[23],"While":[24],"function":[25,70,92,120,130],"approximators":[26],"like":[27],"neural":[28],"networks":[29],"can":[30],"approximately":[32,53,89,181],"they":[36],"typically":[37],"lack":[38],"formal":[39,73,134],"guarantees.":[40],"In":[41],"this":[42,112],"paper,":[43],"we":[44,175],"propose":[45],"local":[47],"programming-based":[49],"approach":[50,124],"to":[51,57,170],"\u201cpatch\u201d":[52],"functions":[56,184],"obtain":[58],"function.":[62,85],"This":[63,123],"algorithm,":[64],"HJ-PATCH,":[65],"produces":[66],"novel":[68],"that":[71,95],"provides":[72],"guarantees,":[75],"yet":[76],"retains":[77],"the":[78,82,100,118,126,160,177],"global":[79],"structure":[80],"of":[81,114,166,179],"initial":[83],"HJ-PATCH":[86,158],"modifies":[87],"an":[88],"at":[93],"states":[94,116],"are":[96],"both":[97,111],"(i)":[98],"near":[99],"boundary":[102],"(ii)":[104],"may":[105],"violate":[106],"safety.":[107],"We":[108,148],"iteratively":[109],"update":[110],"\u201cactive\u201d":[115],"until":[121],"convergence.":[122],"bridges":[125],"gap":[127],"between":[128],"approximation":[131],"methods":[132],"through":[136],"Hamilton-Jacobi":[137],"(HJ)":[138],"reachability,":[139],"offering":[140],"framework":[142],"integrating":[144],"various":[145],"methods.":[147],"provide":[149],"simulation":[150],"results":[151],"on":[152],"analytic":[153],"learned":[155],"examples,":[156],"demonstrating":[157],"reduces":[159],"computational":[161],"complexity":[162],"by":[163],"2":[164],"orders":[165],"magnitude":[167],"with":[168],"respect":[169],"standard":[171],"HJ":[172],"reachability.":[173],"Additionally,":[174],"demonstrate":[176],"perils":[178],"using":[180,190],"directly":[185],"showcase":[187],"improved":[188],"HJ-PATCH.":[191]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}