{"id":"https://openalex.org/W4311805750","doi":"https://doi.org/10.1137/21m1468796","title":"State Constraints, Higher Order Inward Pointing Conditions, and Neighboring Feasible Trajectories","display_name":"State Constraints, Higher Order Inward Pointing Conditions, and Neighboring Feasible Trajectories","publication_year":2022,"publication_date":"2022-12-15","ids":{"openalex":"https://openalex.org/W4311805750","doi":"https://doi.org/10.1137/21m1468796"},"language":"en","primary_location":{"id":"doi:10.1137/21m1468796","is_oa":false,"landing_page_url":"https://doi.org/10.1137/21m1468796","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","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/A5101437440","display_name":"Giovanni Colombo","orcid":"https://orcid.org/0000-0002-0675-0465"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]},{"id":"https://openalex.org/I2802148964","display_name":"Istituto Nazionale di Alta Matematica Francesco Severi","ror":"https://ror.org/01vx64p53","country_code":"IT","type":"funder","lineage":["https://openalex.org/I2802148964"]},{"id":"https://openalex.org/I4210105455","display_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Padova","ror":"https://ror.org/00z34yn88","country_code":"IT","type":"facility","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210105455"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giovanni Colombo","raw_affiliation_strings":["Universit\u00e0 di Padova, Dipartimento di Matematica \u201cTullio Levi-Civita,\u201d 35121 Padova, Italy, and Istituto Nazionale di Alta Matematica \u201cF. Severi,\u201d Unit\u00e0 di ricerca presso l\u2019Universit\u00e0 di Padova, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0675-0465","affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Padova, Dipartimento di Matematica \u201cTullio Levi-Civita,\u201d 35121 Padova, Italy, and Istituto Nazionale di Alta Matematica \u201cF. Severi,\u201d Unit\u00e0 di ricerca presso l\u2019Universit\u00e0 di Padova, Italy","institution_ids":["https://openalex.org/I138689650","https://openalex.org/I2802148964","https://openalex.org/I4210105455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063455557","display_name":"Nathalie T. Khalil","orcid":"https://orcid.org/0000-0002-4761-5868"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nathalie T. Khalil","raw_affiliation_strings":["Research Center for Systems and Technologies SYSTEC, Faculty of Engineering, University of Porto, Rua Roberto Frias s/n 4200-465 Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-4761-5868","affiliations":[{"raw_affiliation_string":"Research Center for Systems and Technologies SYSTEC, Faculty of Engineering, University of Porto, Rua Roberto Frias s/n 4200-465 Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033202825","display_name":"Franco Rampazzo","orcid":"https://orcid.org/0000-0002-4195-7621"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Rampazzo","raw_affiliation_strings":["Universit\u00e0 di Padova, Dipartimento di Matematica \u201cTullio Levi-Civita,\u201d 35121 Padova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Padova, Dipartimento di Matematica \u201cTullio Levi-Civita,\u201d 35121 Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101437440"],"corresponding_institution_ids":["https://openalex.org/I138689650","https://openalex.org/I2802148964","https://openalex.org/I4210105455"],"apc_list":null,"apc_paid":null,"fwci":0.3645,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58582197,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"60","issue":"6","first_page":"3326","last_page":"3357"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.9894000291824341,"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"}},"topics":[{"id":"https://openalex.org/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.9894000291824341,"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/T10545","display_name":"Optimization and Variational Analysis","score":0.9789999723434448,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9745000004768372,"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.8183279633522034},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6586623787879944},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.655534565448761},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5789445638656616},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5530211329460144},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.5215432643890381},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.47265946865081787},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.4491429924964905},{"id":"https://openalex.org/keywords/tangent","display_name":"Tangent","score":0.44573450088500977},{"id":"https://openalex.org/keywords/boundary-value-problem","display_name":"Boundary value problem","score":0.4424424171447754},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4354771375656128},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4269125163555145},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.39867621660232544},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3693428635597229},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3570629358291626},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.253250390291214},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.18980193138122559},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.14258691668510437},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.12214338779449463},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10429078340530396}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8183279633522034},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6586623787879944},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.655534565448761},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5789445638656616},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5530211329460144},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5215432643890381},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.47265946865081787},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.4491429924964905},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.44573450088500977},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.4424424171447754},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4354771375656128},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4269125163555145},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.39867621660232544},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3693428635597229},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3570629358291626},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.253250390291214},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.18980193138122559},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.14258691668510437},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.12214338779449463},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10429078340530396},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/21m1468796","is_oa":false,"landing_page_url":"https://doi.org/10.1137/21m1468796","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","raw_type":"journal-article"},{"id":"pmh:oai:www.research.unipd.it:11577/3467869","is_oa":false,"landing_page_url":"https://hdl.handle.net/11577/3467869","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"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":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5257438900","display_name":null,"funder_award_id":"ONR N00014-20-1-2691","funder_id":"https://openalex.org/F4320323885","funder_display_name":"Universit\u00e9 Europ\u00e9enne de Bretagne"}],"funders":[{"id":"https://openalex.org/F4320323885","display_name":"Universit\u00e9 Europ\u00e9enne de Bretagne","ror":"https://ror.org/033c46s90"},{"id":"https://openalex.org/F4320324049","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1487586009","https://openalex.org/W1983536992","https://openalex.org/W1996026793","https://openalex.org/W2011822463","https://openalex.org/W2013692585","https://openalex.org/W2037380981","https://openalex.org/W2054814636","https://openalex.org/W2065316130","https://openalex.org/W2141616022","https://openalex.org/W2994790354","https://openalex.org/W4240902880","https://openalex.org/W4251849361","https://openalex.org/W4252517507"],"related_works":["https://openalex.org/W1941703695","https://openalex.org/W3131574667","https://openalex.org/W4323768008","https://openalex.org/W2348909947","https://openalex.org/W4292672442","https://openalex.org/W4248382324","https://openalex.org/W2362101859","https://openalex.org/W4360995134","https://openalex.org/W579172577","https://openalex.org/W1981145713"],"abstract_inverted_index":{"The":[0],"classical":[1],"inward":[2,135],"pointing":[3,136],"condition":[4,137],"(IPC)":[5],"for":[6,61,162],"a":[7,67,79,96,117,132,148,156,163,167,181,204,209],"control":[8,159,207],"system":[9,63,81],"whose":[10,89,171],"state":[11],"x":[12,35,55],"is":[13,56,93,111,120,178],"constrained":[14,118,168,220],"in":[15,123,126],"the":[16,33,39,42,45,48,74,86,100,113,142,153,174,192,196,199,218,224],"closure":[17],"C":[18],":=":[19,104],"\\=":[20,52],"\\Omega":[21,26,38,53],"of":[22,32,47,51,115,141,155,166,198,203,223],"an":[23,188],"open":[24],"set":[25],"prescribes":[27],"that":[28,84,131,211],"at":[29,54],"each":[30],"point":[31],"boundary":[34,197],"\\in":[36],"\\partial":[37],"intersection":[40],"between":[41],"dynamics":[43],"and":[44,88,152],"interior":[46],"tangent":[49],"cone":[50],"nonempty.":[57],"Under":[58],"this":[59,127],"hypothesis,":[60],"every":[62],"trajectory":[64,82,119,169,176],"x(.)":[65,92,177],"on":[66],"time":[68],"interval":[69],"[0,":[70],"T],":[71],"possibly":[72],"violating":[73],"constraint,":[75],"one":[76,213],"can":[77],"construct":[78],"new":[80],"\\^x(.)":[83,170],"satisfies":[85],"constraint":[87],"distance":[90,172],"from":[91,173],"bounded":[94,179],"by":[95,180],"quantity":[97,182],"proportional":[98,183],"to":[99,184,195,214],"maximal":[101],"deviation":[102],"d":[103],"dist(\\Omega":[105],",":[106],"x([0,":[107],"T])).":[108],"When":[109],"IPC":[110],"violated,":[112],"construction":[114,165],"such":[116],"not":[121],"possible":[122],"general.":[124],"However,":[125],"paper":[128],"we":[129,190],"prove":[130],"``higher":[133],"order\"\"":[134],"involving":[138],"Lie":[139],"brackets":[140],"dynamics'":[143],"vector":[144],"fields":[145],"(together":[146],"with":[147],"nonpositiveness":[149],"curvature-like":[150],"assumption)":[151],"implementation":[154],"suitable":[157],"``rotating\"\"":[158],"strategy":[160],"allows":[161,212],"novel":[164],"reference":[175],"\\surd":[185],"d.":[186],"As":[187],"application,":[189],"establish":[191],"continuity":[193,210],"up":[194],"value":[200],"function":[201],"V":[202,216],"connected":[205],"optimal":[206],"problem,":[208],"regard":[215],"as":[217],"unique":[219],"viscosity":[221],"solution":[222],"corresponding":[225],"Bellman":[226],"equation.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}