{"id":"https://openalex.org/W2760003929","doi":"https://doi.org/10.1109/cdc.2017.8263977","title":"Hamilton-Jacobi reachability: A brief overview and recent advances","display_name":"Hamilton-Jacobi reachability: A brief overview and recent advances","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2760003929","doi":"https://doi.org/10.1109/cdc.2017.8263977","mag":"2760003929"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2017.8263977","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263977","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1709.07523","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059176959","display_name":"Somil Bansal","orcid":"https://orcid.org/0000-0002-5826-7686"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Somil Bansal","raw_affiliation_strings":["The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100387244","display_name":"Mo Chen","orcid":"https://orcid.org/0000-0001-8506-3665"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mo Chen","raw_affiliation_strings":["The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071321544","display_name":"Sylvia Herbert","orcid":"https://orcid.org/0000-0002-3863-8945"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sylvia Herbert","raw_affiliation_strings":["The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045155646","display_name":"Claire J. Tomlin","orcid":"https://orcid.org/0000-0003-3192-3185"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire J. Tomlin","raw_affiliation_strings":["The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Electrical Engineering & Computer Sciences, University of California, Berkeley#TAB#","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":4.1039,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.95396652,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2242","last_page":"2253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9840999841690063,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.973800003528595,"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.9313020706176758},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.741754949092865},{"id":"https://openalex.org/keywords/curse-of-dimensionality","display_name":"Curse of dimensionality","score":0.6971642971038818},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.64908766746521},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4811471700668335},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4809110164642334},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4559898376464844},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4470319151878357},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.43255162239074707},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42806389927864075},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41687989234924316},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3858602046966553},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19057083129882812},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1782771646976471},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1480005383491516},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12968316674232483}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9313020706176758},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.741754949092865},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.6971642971038818},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.64908766746521},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4811471700668335},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4809110164642334},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4559898376464844},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4470319151878357},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.43255162239074707},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42806389927864075},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41687989234924316},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3858602046966553},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19057083129882812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1782771646976471},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1480005383491516},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12968316674232483},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/cdc.2017.8263977","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263977","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1709.07523","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1709.07523","pdf_url":"https://arxiv.org/pdf/1709.07523","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":"mag:2760003929","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1709.07523.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1709.07523","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1709.07523","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:1709.07523","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1709.07523","pdf_url":"https://arxiv.org/pdf/1709.07523","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/G233385737","display_name":null,"funder_award_id":"#N00014-16-1-2206","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G3331613907","display_name":null,"funder_award_id":"931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4183124897","display_name":"CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems","funder_award_id":"1545126","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4422603081","display_name":"DEVELOPMENT OF THE \"WHERE-TO-LAND\" DECISION FUNCTION FOR AN EXPERT PILOTING SYSTEMS (EPS) IN MAN-RATED AUTONOMOUS AIR VEHICLES. CURRENT AIRCRAFT HAVE","funder_award_id":"NNX12AR18A","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"},{"id":"https://openalex.org/G4466780832","display_name":null,"funder_award_id":"CNS-931843","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5613400488","display_name":null,"funder_award_id":"CNS-931843","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2760003929.pdf","grobid_xml":"https://content.openalex.org/works/W2760003929.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W315739085","https://openalex.org/W329007756","https://openalex.org/W1498432697","https://openalex.org/W1534222225","https://openalex.org/W1550828720","https://openalex.org/W1574960890","https://openalex.org/W1765178018","https://openalex.org/W1855169650","https://openalex.org/W1966165240","https://openalex.org/W1973553756","https://openalex.org/W1975236902","https://openalex.org/W1998452137","https://openalex.org/W1999244633","https://openalex.org/W2006859604","https://openalex.org/W2020254113","https://openalex.org/W2027664020","https://openalex.org/W2045814149","https://openalex.org/W2053572490","https://openalex.org/W2057789475","https://openalex.org/W2062319484","https://openalex.org/W2067265108","https://openalex.org/W2071797744","https://openalex.org/W2085744412","https://openalex.org/W2090501324","https://openalex.org/W2093834886","https://openalex.org/W2098073114","https://openalex.org/W2100538121","https://openalex.org/W2101324577","https://openalex.org/W2106816694","https://openalex.org/W2110073061","https://openalex.org/W2116364955","https://openalex.org/W2133404041","https://openalex.org/W2139132599","https://openalex.org/W2148247550","https://openalex.org/W2153012550","https://openalex.org/W2156155874","https://openalex.org/W2164090329","https://openalex.org/W2176215692","https://openalex.org/W2298907094","https://openalex.org/W2299263794","https://openalex.org/W2299601289","https://openalex.org/W2336607923","https://openalex.org/W2414457428","https://openalex.org/W2416561473","https://openalex.org/W2492473950","https://openalex.org/W2528403641","https://openalex.org/W2553348230","https://openalex.org/W2594675090","https://openalex.org/W2595217965","https://openalex.org/W2604410735","https://openalex.org/W2605995510","https://openalex.org/W2609474531","https://openalex.org/W2611136914","https://openalex.org/W2614012170","https://openalex.org/W2617250276","https://openalex.org/W2624482344","https://openalex.org/W2951930445","https://openalex.org/W2962822210","https://openalex.org/W2962888568","https://openalex.org/W2963395620","https://openalex.org/W2964187480","https://openalex.org/W3021722416","https://openalex.org/W3105818906","https://openalex.org/W3106187616","https://openalex.org/W6607093319","https://openalex.org/W6619414727","https://openalex.org/W6697550776","https://openalex.org/W6726601795","https://openalex.org/W6730978344","https://openalex.org/W6731923558","https://openalex.org/W6736999073","https://openalex.org/W6738191157"],"related_works":["https://openalex.org/W2964040381","https://openalex.org/W2116364955","https://openalex.org/W2807455070","https://openalex.org/W2090501324","https://openalex.org/W2963525569","https://openalex.org/W168874853","https://openalex.org/W2340842780","https://openalex.org/W2765665975","https://openalex.org/W1871170357","https://openalex.org/W2952046925","https://openalex.org/W2136516778","https://openalex.org/W2530957337","https://openalex.org/W2426186982","https://openalex.org/W2064047404","https://openalex.org/W2340032616","https://openalex.org/W2789625059","https://openalex.org/W1579323922","https://openalex.org/W3039791234","https://openalex.org/W563742211","https://openalex.org/W3186860181"],"abstract_inverted_index":{"Hamilton-Jacobi":[0],"(HJ)":[1],"reachability":[2,79,117],"analysis":[3],"is":[4,55],"an":[5,74,92],"important":[6],"formal":[7,40],"verification":[8],"method":[9],"for":[10,84,101],"guaranteeing":[11],"performance":[12],"and":[13,45,81,131],"safety":[14],"properties":[15],"of":[16,42,48,66,76,96,110],"dynamical":[17],"systems;":[18],"it":[19],"has":[20],"been":[21],"applied":[22],"to":[23,63,118],"many":[24],"small-scale":[25],"systems":[26],"in":[27,114],"the":[28,46,64,86,111,121],"past":[29],"decade.":[30],"Its":[31],"advantages":[32],"include":[33],"compatibility":[34],"with":[35,61],"general":[36,129],"nonlinear":[37],"system":[38],"dynamics,":[39],"treatment":[41],"bounded":[43],"disturbances,":[44],"availability":[47],"well-developed":[49],"numerical":[50,89],"tools.":[51],"The":[52],"main":[53],"challenge":[54,123],"addressing":[56],"its":[57],"exponential":[58],"computational":[59],"complexity":[60],"respect":[62],"number":[65],"state":[67],"variables.":[68],"In":[69,105],"this":[70],"tutorial,":[71],"we":[72,107],"present":[73],"overview":[75],"basic":[77],"HJ":[78,116],"theory":[80],"provide":[82],"instructions":[83],"using":[85],"most":[87],"recent":[88],"tools,":[90],"including":[91],"efficient":[93],"GPU-parallelized":[94],"implementation":[95],"a":[97],"Level":[98],"Set":[99],"Toolbox":[100],"computing":[102],"reachable":[103],"sets.":[104],"addition,":[106],"review":[108],"some":[109],"current":[112],"work":[113],"high-dimensional":[115],"show":[119],"how":[120],"dimensionality":[122],"can":[124],"be":[125],"alleviated":[126],"via":[127],"various":[128],"theoretical":[130],"application-specific":[132],"insights.":[133]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}