{"id":"https://openalex.org/W2106816694","doi":"https://doi.org/10.1109/tac.2011.2105730","title":"Hamilton\u2013Jacobi Formulation for Reach\u2013Avoid Differential Games","display_name":"Hamilton\u2013Jacobi Formulation for Reach\u2013Avoid Differential Games","publication_year":2011,"publication_date":"2011-01-13","ids":{"openalex":"https://openalex.org/W2106816694","doi":"https://doi.org/10.1109/tac.2011.2105730","mag":"2106816694"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2011.2105730","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2105730","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-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/A5000801527","display_name":"Kostas Margellos","orcid":"https://orcid.org/0000-0001-8865-8568"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Kostas Margellos","raw_affiliation_strings":["Automatic Control Laboratory, Department of Electrical Engineering and Information Technology, Swiss Federal Institute of Technology, Zurich, Switzerland","Dept. of Electr. Eng. & Inf. Technol., Swiss Fed. Inst. of Technol. (ETH), Zu\u0308rich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering and Information Technology, Swiss Federal Institute of Technology, Zurich, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Inf. Technol., Swiss Fed. Inst. of Technol. (ETH), Zu\u0308rich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007359599","display_name":"John Lygeros","orcid":"https://orcid.org/0000-0002-6159-1962"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"John Lygeros","raw_affiliation_strings":["Automatic Control Laboratory, Department of Electrical Engineering and Information Technology, Swiss Federal Institute of Technology, Zurich, Switzerland","Dept. of Electr. Eng. & Inf. Technol., Swiss Fed. Inst. of Technol. (ETH), Zu\u0308rich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering and Information Technology, Swiss Federal Institute of Technology, Zurich, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Inf. Technol., Swiss Fed. Inst. of Technol. (ETH), Zu\u0308rich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":129.3087,"has_fulltext":false,"cited_by_count":237,"citation_normalized_percentile":{"value":0.99867747,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"56","issue":"8","first_page":"1849","last_page":"1861"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12158","display_name":"Guidance and Control Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12158","display_name":"Guidance and Control Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9814000129699707,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9807000160217285,"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/classification-of-discontinuities","display_name":"Classification of discontinuities","score":0.641543447971344},{"id":"https://openalex.org/keywords/underactuation","display_name":"Underactuation","score":0.6327028870582581},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.6205854415893555},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5974645614624023},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.568983793258667},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.521033763885498},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5132513046264648},{"id":"https://openalex.org/keywords/differential-game","display_name":"Differential game","score":0.49782800674438477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47489944100379944},{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.4656228721141815},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.45337411761283875},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.43736347556114197},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.43453487753868103},{"id":"https://openalex.org/keywords/hamiltonian-system","display_name":"Hamiltonian system","score":0.4215143918991089},{"id":"https://openalex.org/keywords/nonlinear-control","display_name":"Nonlinear control","score":0.41305258870124817},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3949577808380127},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.24645718932151794},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09237760305404663}],"concepts":[{"id":"https://openalex.org/C15627037","wikidata":"https://www.wikidata.org/wiki/Q541961","display_name":"Classification of discontinuities","level":2,"score":0.641543447971344},{"id":"https://openalex.org/C88337583","wikidata":"https://www.wikidata.org/wiki/Q7883433","display_name":"Underactuation","level":3,"score":0.6327028870582581},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.6205854415893555},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5974645614624023},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.568983793258667},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.521033763885498},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5132513046264648},{"id":"https://openalex.org/C2779006483","wikidata":"https://www.wikidata.org/wiki/Q1973196","display_name":"Differential game","level":2,"score":0.49782800674438477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47489944100379944},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.4656228721141815},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45337411761283875},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.43736347556114197},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.43453487753868103},{"id":"https://openalex.org/C121770821","wikidata":"https://www.wikidata.org/wiki/Q2072471","display_name":"Hamiltonian system","level":2,"score":0.4215143918991089},{"id":"https://openalex.org/C91581856","wikidata":"https://www.wikidata.org/wiki/Q2707001","display_name":"Nonlinear control","level":3,"score":0.41305258870124817},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3949577808380127},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.24645718932151794},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09237760305404663},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"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},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"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/tac.2011.2105730","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2011.2105730","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life below water","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1238092070","https://openalex.org/W1489501223","https://openalex.org/W1544599017","https://openalex.org/W1550828720","https://openalex.org/W1561445488","https://openalex.org/W1594591069","https://openalex.org/W1879112630","https://openalex.org/W1964345118","https://openalex.org/W1986571762","https://openalex.org/W1991113069","https://openalex.org/W1994955742","https://openalex.org/W1997539213","https://openalex.org/W2000521360","https://openalex.org/W2038855137","https://openalex.org/W2041944778","https://openalex.org/W2056616297","https://openalex.org/W2088907413","https://openalex.org/W2090501324","https://openalex.org/W2102158516","https://openalex.org/W2110065373","https://openalex.org/W2111216640","https://openalex.org/W2115595609","https://openalex.org/W2116364955","https://openalex.org/W2117374887","https://openalex.org/W2118477082","https://openalex.org/W2123357397","https://openalex.org/W2130519480","https://openalex.org/W2134384818","https://openalex.org/W2139132599","https://openalex.org/W2163403581","https://openalex.org/W2165489953","https://openalex.org/W2612952478","https://openalex.org/W2795744704","https://openalex.org/W3021722416","https://openalex.org/W4244726376"],"related_works":["https://openalex.org/W587013945","https://openalex.org/W1485310626","https://openalex.org/W33907905","https://openalex.org/W4285553839","https://openalex.org/W2950973671","https://openalex.org/W3124904228","https://openalex.org/W3175511261","https://openalex.org/W2372055629","https://openalex.org/W2804430586","https://openalex.org/W2088134843"],"abstract_inverted_index":{"A":[0],"new":[1],"framework":[2],"for":[3],"formulating":[4],"reachability":[5],"problems":[6,18,23,32],"with":[7,88],"competing":[8],"inputs,":[9],"nonlinear":[10,89],"dynamics,":[11,90],"and":[12,91,106],"state":[13],"constraints":[14],"as":[15],"optimal":[16,60],"control":[17,61],"is":[19,73,121],"developed.":[20],"Such":[21],"reach-avoid":[22,39],"arise":[24],"in,":[25],"among":[26],"others,":[27],"the":[28,56,59,67,103,107,110,118,132,141],"study":[29],"of":[30,58,66,83,98,109,117,135,143],"safety":[31],"in":[33,55,70,96,140],"hybrid":[34],"systems.":[35],"Earlier":[36],"approaches":[37],"to":[38,44,52,79,126],"computations":[40],"are":[41,112],"either":[42],"restricted":[43],"linear":[45],"systems,":[46],"or":[47],"face":[48],"numerical":[49,100],"difficulties":[50],"due":[51],"possible":[53],"discontinuities":[54],"Hamiltonian":[57,108],"problem.":[62],"The":[63,115],"main":[64],"advantage":[65],"approach":[68],"proposed":[69,119],"this":[71],"paper":[72],"that":[74],"it":[75,125],"can":[76],"be":[77],"applied":[78],"a":[80,127],"general":[81],"class":[82],"target-hitting":[84,133],"continuous":[85],"dynamic":[86],"games":[87],"has":[92],"very":[93],"good":[94],"properties":[95],"terms":[97],"its":[99],"solution,":[101],"since":[102],"value":[104],"function":[105],"system":[111],"both":[113],"continuous.":[114],"performance":[116],"method":[120],"demonstrated":[122],"by":[123],"applying":[124],"case":[128],"study,":[129],"which":[130],"involves":[131],"problem":[134],"an":[136],"underactuated":[137],"underwater":[138],"vehicle":[139],"presence":[142],"obstacles.":[144]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":27},{"year":2024,"cited_by_count":25},{"year":2023,"cited_by_count":22},{"year":2022,"cited_by_count":31},{"year":2021,"cited_by_count":21},{"year":2020,"cited_by_count":31},{"year":2019,"cited_by_count":17},{"year":2018,"cited_by_count":20},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}