{"id":"https://openalex.org/W4404037829","doi":"https://doi.org/10.1109/allerton63246.2024.10735269","title":"Generalized Barrier Functions: Integral Conditions &amp; Recurrent Relaxations","display_name":"Generalized Barrier Functions: Integral Conditions &amp; Recurrent Relaxations","publication_year":2024,"publication_date":"2024-09-24","ids":{"openalex":"https://openalex.org/W4404037829","doi":"https://doi.org/10.1109/allerton63246.2024.10735269"},"language":"en","primary_location":{"id":"doi:10.1109/allerton63246.2024.10735269","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/allerton63246.2024.10735269","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 60th Annual Allerton Conference on Communication, Control, and Computing","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/A5102010946","display_name":"Yue Shen","orcid":"https://orcid.org/0009-0007-8117-0915"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yue Shen","raw_affiliation_strings":["Johns Hopkins University,The Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,The Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039914913","display_name":"Hussein Sibai","orcid":"https://orcid.org/0000-0002-6053-1001"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hussein Sibai","raw_affiliation_strings":["Washington University in St. Louis,Hussein Sibai is with the Department of Computer Science and Engineering,St. Louis,MO,USA,63130"],"affiliations":[{"raw_affiliation_string":"Washington University in St. Louis,Hussein Sibai is with the Department of Computer Science and Engineering,St. Louis,MO,USA,63130","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032910355","display_name":"Enrique Mallada","orcid":"https://orcid.org/0000-0003-1568-1833"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrique Mallada","raw_affiliation_strings":["Johns Hopkins University,The Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,The Department of Electrical and Computer Engineering,Baltimore,MD,USA,21218","institution_ids":["https://openalex.org/I145311948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102010946"],"corresponding_institution_ids":["https://openalex.org/I145311948"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33437526,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10940","display_name":"Navier-Stokes equation solutions","score":0.12200000137090683,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T10940","display_name":"Navier-Stokes equation solutions","score":0.12200000137090683,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.11020000278949738,"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.10350000113248825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/integral-equation","display_name":"Integral equation","score":0.45903563499450684},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.38790497183799744},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38610589504241943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3432449996471405},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.29320186376571655}],"concepts":[{"id":"https://openalex.org/C27016315","wikidata":"https://www.wikidata.org/wiki/Q580101","display_name":"Integral equation","level":2,"score":0.45903563499450684},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.38790497183799744},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38610589504241943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3432449996471405},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.29320186376571655}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/allerton63246.2024.10735269","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/allerton63246.2024.10735269","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 60th Annual Allerton Conference on Communication, Control, and Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1163992022","display_name":null,"funder_award_id":"CAREER 1752362, CPS 2136324","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1563147540","https://openalex.org/W1607353007","https://openalex.org/W1972149633","https://openalex.org/W2033118636","https://openalex.org/W2041076275","https://openalex.org/W2050383062","https://openalex.org/W2099354898","https://openalex.org/W2106850246","https://openalex.org/W2129729773","https://openalex.org/W2151489480","https://openalex.org/W2171505650","https://openalex.org/W2560504659","https://openalex.org/W2789826932","https://openalex.org/W2798791976","https://openalex.org/W2968945909","https://openalex.org/W3035313359","https://openalex.org/W3120116240","https://openalex.org/W3168522732","https://openalex.org/W3195647294","https://openalex.org/W4292249799","https://openalex.org/W4315472354","https://openalex.org/W4382203285","https://openalex.org/W4386586165","https://openalex.org/W4391020211","https://openalex.org/W4396571409","https://openalex.org/W6639175102"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"Barrier":[0],"functions":[1],"constitute":[2],"an":[3],"effective":[4],"tool":[5],"for":[6,56,95],"assessing":[7],"and":[8,191],"enforcing":[9],"safety-critical":[10],"constraints":[11],"on":[12,137],"dynamical":[13],"systems.":[14],"To":[15],"this":[16,77,83,102],"end,":[17],"one":[18],"is":[19,153,205],"required":[20],"to":[21,81,117,166,207],"find":[22],"a":[23,30,53,73,87,144,181],"function":[24,59,185],"<tex":[25,43,60,96,126,138,169,201],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[26,44,61,97,127,139,155,170,195,202],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$h$</tex>":[27,62,98],"that":[28,63,91,112,160,192],"satisfies":[29,64],"Lyapunov-like":[31],"differential":[32,66,119],"condition,":[33],"thereby":[34],"ensuring":[35],"the":[36,58,93,118,133,163,193,198,209],"invariance":[37,135],"of":[38,125,197],"its":[39],"zero":[40],"super-level":[41,199],"set":[42,152,164,200],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$h\\geq":[45,203],"0$</tex>,":[46],"This":[47],"methodology,":[48],"however,":[49],"does":[50],"not":[51],"prescribe":[52],"general":[54],"method":[55],"finding":[57],"such":[65],"conditions,":[67,180],"which,":[68],"in":[69,103,162],"general,":[70],"can":[71,186],"be":[72],"daunting":[74],"task.":[75],"In":[76],"paper,":[78],"we":[79,107,130],"seek":[80],"overcome":[82],"limitation":[84],"by":[85],"developing":[86],"generalized":[88],"barrier":[89,110],"condition":[90,190],"makes":[92],"search":[94],"easier.":[99],"We":[100,175],"do":[101],"two":[104],"steps.":[105],"First,":[106],"develop":[108],"integral":[109],"conditions":[111],"reveal":[113],"equivalent":[114],"asymptotic":[115],"behavior":[116],"ones,":[120],"but":[121],"without":[122],"requiring":[123],"differentiability":[124],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$h$</tex>.":[128],"Subsequently,":[129],"further":[131],"replace":[132],"stringent":[134],"requirement":[136],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$h":[140],"\\geq":[141],"0$</tex>":[142,204],"with":[143],"more":[145],"flexible":[146],"concept":[147],"known":[148],"as":[149],"recurrence.":[150],"A":[151],"(<tex":[154,194],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\tau$</tex>-)recurrent":[156],"if":[157],"every":[158],"trajectory":[159],"starts":[161],"returns":[165],"it":[167],"(within":[168],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\tau$</tex>":[171],"seconds)":[172],"infinitely":[173],"often.":[174],"show":[176],"that,":[177],"under":[178],"mild":[179],"simple":[182],"sign":[183],"distance":[184],"satisfy":[187],"our":[188],"relaxed":[189],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\tau$</tex>-)recurrence":[196],"sufficient":[206],"guarantee":[208],"system's":[210],"safety.":[211]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}