{"id":"https://openalex.org/W2921929842","doi":"https://doi.org/10.1109/cdc40024.2019.9029193","title":"Relaxing The Hamilton Jacobi Bellman Equation To Construct Inner And Outer Bounds On Reachable Sets","display_name":"Relaxing The Hamilton Jacobi Bellman Equation To Construct Inner And Outer Bounds On Reachable Sets","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2921929842","doi":"https://doi.org/10.1109/cdc40024.2019.9029193","mag":"2921929842"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9029193","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1903.07274","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055671285","display_name":"Morgan Jones","orcid":"https://orcid.org/0000-0003-1803-4447"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Morgan Jones","raw_affiliation_strings":["School for the Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"School for the Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077552862","display_name":"Matthew M. Peet","orcid":"https://orcid.org/0000-0001-9360-6738"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew M. Peet","raw_affiliation_strings":["School for the Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"School for the Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055671285"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":3.0692,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.91106886,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2397","last_page":"2404"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.98580002784729,"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"}},{"id":"https://openalex.org/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.9718999862670898,"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/mathematics","display_name":"Mathematics","score":0.7438547611236572},{"id":"https://openalex.org/keywords/pointwise","display_name":"Pointwise","score":0.7305737733840942},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.6669150590896606},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5558004379272461},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.471001535654068},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4482267200946808},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44362396001815796},{"id":"https://openalex.org/keywords/hausdorff-distance","display_name":"Hausdorff distance","score":0.437336266040802},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4191366136074066},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.34352409839630127},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33433258533477783},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2871587574481964},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.16633567214012146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1338214874267578}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7438547611236572},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.7305737733840942},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.6669150590896606},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5558004379272461},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.471001535654068},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4482267200946808},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44362396001815796},{"id":"https://openalex.org/C141898687","wikidata":"https://www.wikidata.org/wiki/Q1501997","display_name":"Hausdorff distance","level":2,"score":0.437336266040802},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4191366136074066},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.34352409839630127},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33433258533477783},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2871587574481964},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.16633567214012146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1338214874267578},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc40024.2019.9029193","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1903.07274","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.07274","pdf_url":"https://arxiv.org/pdf/1903.07274","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1903.07274","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.07274","pdf_url":"https://arxiv.org/pdf/1903.07274","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1510512524","https://openalex.org/W1578936488","https://openalex.org/W1606189410","https://openalex.org/W1960771713","https://openalex.org/W2020677283","https://openalex.org/W2024171867","https://openalex.org/W2032316144","https://openalex.org/W2036329456","https://openalex.org/W2066459185","https://openalex.org/W2098432798","https://openalex.org/W2116364955","https://openalex.org/W2766522243","https://openalex.org/W2795249039","https://openalex.org/W2804516376","https://openalex.org/W2885196497","https://openalex.org/W2913351371","https://openalex.org/W2914227762","https://openalex.org/W2964102294","https://openalex.org/W2972887175","https://openalex.org/W2995717061","https://openalex.org/W3103122215","https://openalex.org/W3135791089","https://openalex.org/W4300680548","https://openalex.org/W6639429317","https://openalex.org/W6667374276","https://openalex.org/W6753715011","https://openalex.org/W6755043720"],"related_works":["https://openalex.org/W143502885","https://openalex.org/W42113618","https://openalex.org/W2103468410","https://openalex.org/W2480115405","https://openalex.org/W3197542402","https://openalex.org/W1856228368","https://openalex.org/W2971527398","https://openalex.org/W82829784","https://openalex.org/W1929207905","https://openalex.org/W1025150868"],"abstract_inverted_index":{"We":[0,76],"consider":[1],"the":[2,9,49,54,59,73,106,113,122,138,152],"problem":[3],"of":[4,32,64],"overbounding":[5],"and":[6,11,25,35,69,84,91,96,102,118,134,141],"underbounding":[7],"both":[8,23],"backward":[10],"forward":[12,50,107],"reachable":[13,51,108,139],"set":[14,31,52,140],"for":[15,137,148],"a":[16,28,43],"given":[17,29],"polynomial":[18,82,94],"vector":[19],"field,":[20],"nonlinear":[21],"in":[22,42,121],"state":[24],"input,":[26],"with":[27,36],"semialgebriac":[30],"initial":[33],"conditions":[34],"inputs":[37],"constrained":[38],"pointwise":[39],"to":[40,62,87,105,131],"lie":[41],"semialgebraic":[44],"set.":[45,109],"Specifically,":[46],"we":[47,128],"represent":[48],"using":[53],"\"value":[55],"function\"":[56],"which":[57],"gives":[58],"optimal":[60,66],"cost":[61],"go":[63],"an":[65],"control":[67],"problems":[68],"if":[70],"smooth":[71],"satisfies":[72],"Hamilton-JacobiBellman":[74],"PDE.":[75],"then":[77],"show":[78,142],"that":[79,147],"there":[80],"exist":[81],"upper":[83,101],"lower":[85,103],"bounds":[86,104,136,157],"this":[88],"value":[89],"function":[90],"furthermore,":[92],"these":[93,116,156],"\"sub-value\"":[95,117],"\"super-value\"":[97,119],"functions":[98,120],"provide":[99],"provable":[100],"Finally,":[110],"by":[111],"minimizing":[112],"distance":[114,154],"between":[115,155],"L":[123],"<sub":[124],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[125],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sub>":[126],"-norm,":[127],"are":[129],"able":[130],"construct":[132],"inner":[133],"outer":[135],"numerically":[143],"on":[144],"several":[145],"examples":[146],"relatively":[149],"small":[150],"degree,":[151],"Hausdorff":[153],"is":[158],"negligible.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}