{"id":"https://openalex.org/W2066423936","doi":"https://doi.org/10.1109/acc.2010.5530514","title":"Hamilton-Jacobi formulation for reach-avoid problems with an application to air traffic management","display_name":"Hamilton-Jacobi formulation for reach-avoid problems with an application to air traffic management","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2066423936","doi":"https://doi.org/10.1109/acc.2010.5530514","mag":"2066423936"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2010.5530514","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2010.5530514","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 American Control Conference","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/A5000801527","display_name":"Kostas Margellos","orcid":"https://orcid.org/0000-0001-8865-8568"},"institutions":[{"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":"K Margellos","raw_affiliation_strings":["Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology, Zurich, Switzerland","Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology (ETH), Physikstrasse 3, ETL I22, 8092, Z\u00fcrich, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology, Zurich, Switzerland","institution_ids":[]},{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology (ETH), Physikstrasse 3, ETL I22, 8092, Z\u00fcrich, Switzerland#TAB#","institution_ids":["https://openalex.org/I5124864"]}]},{"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/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":"J Lygeros","raw_affiliation_strings":["Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology, Zurich, Switzerland","Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology (ETH), Physikstrasse 3, ETL I22, 8092, Z\u00fcrich, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology, Zurich, Switzerland","institution_ids":[]},{"raw_affiliation_string":"Automatic Control Laboratory, Department of Electrical Engineering, Swiss Federal Institute of Technology (ETH), Physikstrasse 3, ETL I22, 8092, Z\u00fcrich, Switzerland#TAB#","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":25.8227,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.9895748,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"3045","last_page":"3050"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11489","display_name":"Air Traffic Management and Optimization","score":0.9970999956130981,"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/T11489","display_name":"Air Traffic Management and Optimization","score":0.9970999956130981,"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/T12158","display_name":"Guidance and Control Systems","score":0.9818999767303467,"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.9778000116348267,"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.715286135673523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5884335041046143},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5832696557044983},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5735352039337158},{"id":"https://openalex.org/keywords/classification-of-discontinuities","display_name":"Classification of discontinuities","score":0.5554808974266052},{"id":"https://openalex.org/keywords/air-traffic-control","display_name":"Air traffic control","score":0.5145963430404663},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.48901185393333435},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47943681478500366},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4779529571533203},{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.43597212433815},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.4181225597858429},{"id":"https://openalex.org/keywords/air-traffic-management","display_name":"Air traffic management","score":0.41803205013275146},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.38774579763412476},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2544458508491516},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.23817741870880127},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18577101826667786},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1344863474369049},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.09894970059394836}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.715286135673523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5884335041046143},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5832696557044983},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5735352039337158},{"id":"https://openalex.org/C15627037","wikidata":"https://www.wikidata.org/wiki/Q541961","display_name":"Classification of discontinuities","level":2,"score":0.5554808974266052},{"id":"https://openalex.org/C166961238","wikidata":"https://www.wikidata.org/wiki/Q221395","display_name":"Air traffic control","level":2,"score":0.5145963430404663},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.48901185393333435},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47943681478500366},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4779529571533203},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.43597212433815},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.4181225597858429},{"id":"https://openalex.org/C2776777543","wikidata":"https://www.wikidata.org/wiki/Q1361182","display_name":"Air traffic management","level":3,"score":0.41803205013275146},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.38774579763412476},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2544458508491516},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.23817741870880127},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18577101826667786},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1344863474369049},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.09894970059394836},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/acc.2010.5530514","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2010.5530514","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 American Control Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.748.6952","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.748.6952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0911.4625.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W653657380","https://openalex.org/W1550828720","https://openalex.org/W1561445488","https://openalex.org/W1879112630","https://openalex.org/W1964345118","https://openalex.org/W1991113069","https://openalex.org/W1994955742","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/W2106816694","https://openalex.org/W2110065373","https://openalex.org/W2111216640","https://openalex.org/W2123357397","https://openalex.org/W2130519480","https://openalex.org/W2163403581","https://openalex.org/W2165489953","https://openalex.org/W2612952478","https://openalex.org/W3021722416"],"related_works":["https://openalex.org/W2135905813","https://openalex.org/W2043775914","https://openalex.org/W631350582","https://openalex.org/W2008390173","https://openalex.org/W2585807273","https://openalex.org/W2091753509","https://openalex.org/W4205399654","https://openalex.org/W2519895254","https://openalex.org/W1973192480","https://openalex.org/W1508688136"],"abstract_inverted_index":{"A":[0],"new":[1],"framework":[2],"for":[3],"formulating":[4],"reachability":[5],"problems":[6,16,28],"with":[7],"nonlinear":[8,106],"dynamics":[9,107],"and":[10,108,123,146],"state":[11],"constraints":[12,151],"as":[13],"optimal":[14,86],"control":[15,87],"is":[17,24,99,138],"developed.":[18],"The":[19,89,132],"work":[20],"in":[21,29,36,43,81,96,113,152],"this":[22,97],"paper":[23,98],"motivated":[25],"by":[26,140],"such":[27],"the":[30,38,44,53,82,85,93,120,124,127,135],"area":[31],"of":[32,40,46,84,92,115,126,134],"air":[33],"traffic":[34],"management,":[35],"particular":[37],"problem":[39],"collision":[41],"avoidance":[42],"presence":[45],"4D":[47],"constraints,":[48],"called":[49],"Target":[50,149],"Windows,":[51],"that":[52,100],"aircraft":[54,155],"have":[55],"to":[56,58,64,70,78,105,143],"respect":[57],"meet":[59],"their":[60],"schedule.":[61],"Earlier":[62],"approaches":[63],"reach-avoid":[65],"computations":[66],"are":[67,129],"either":[68],"restricted":[69],"linear":[71],"systems,":[72],"or":[73],"face":[74],"numerical":[75,117],"difficulties":[76],"due":[77],"possible":[79],"discontinuities":[80],"Hamiltonian":[83,125],"problem.":[88],"main":[90],"advantage":[91],"approach":[94],"proposed":[95,136],"it":[101,142],"can":[102],"be":[103],"applied":[104],"has":[109],"very":[110],"good":[111],"properties":[112],"terms":[114],"its":[116],"solution,":[118],"since":[119],"value":[121],"function":[122],"system":[128],"both":[130],"continuous.":[131],"performance":[133],"method":[137],"demonstrated":[139],"applying":[141],"conflict":[144],"detection":[145],"resolution":[147],"under":[148],"Window":[150],"a":[153],"two":[154],"scenario.":[156]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}