{"id":"https://openalex.org/W7154951635","doi":"https://doi.org/10.48550/arxiv.2604.15477","title":"Safety Filtering with an Infinite Number of Constraints","display_name":"Safety Filtering with an Infinite Number of Constraints","publication_year":2026,"publication_date":"2026-04-16","ids":{"openalex":"https://openalex.org/W7154951635","doi":"https://doi.org/10.48550/arxiv.2604.15477"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.15477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15477","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.15477","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134023805","display_name":"Max H. Cohen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cohen, Max H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134005612","display_name":"Pio Ong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ong, Pio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071034766","display_name":"Pol Mestres","orcid":"https://orcid.org/0000-0002-6409-8903"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mestres, Pol","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5039171820","display_name":"Aaron D. Ames","orcid":"https://orcid.org/0000-0003-0848-3177"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ames, Aaron D.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.4377000033855438,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.4377000033855438,"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/T10142","display_name":"Formal Methods in Verification","score":0.2653000056743622,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.08699999749660492,"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/backup","display_name":"Backup","score":0.7788000106811523},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5651999711990356},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5023000240325928},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.4652000069618225},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.4016999900341034},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.38269999623298645}],"concepts":[{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.7788000106811523},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5651999711990356},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5023000240325928},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.4652000069618225},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4431000053882599},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4327999949455261},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.38269999623298645},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.34450000524520874},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.29589998722076416},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.2888999879360199},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.15477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15477","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.15477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.15477","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Control":[0],"barrier":[1],"functions":[2],"(CBFs)":[3],"provide":[4],"a":[5,20,89,95],"rigorous":[6],"framework":[7],"for":[8,19,64,145],"designing":[9],"controllers":[10,129],"enforcing":[11],"safety":[12,24],"constraints.":[13,36],"While":[14],"CBF":[15,105,128],"theory":[16,106,160],"is":[17],"well-developed":[18],"finite":[21,96],"number":[22,34],"of":[23,35,41,57,71,80,91,150,163],"constraints,":[25,58],"certain":[26],"applications,":[27],"e.g.,":[28],"backup":[29,164],"CBFs,":[30,42,141],"require":[31],"an":[32,54],"infinite":[33,55,92,109],"Despite":[37],"the":[38,68,77,81,85,108,126,151,158],"practical":[39,148],"success":[40],"several":[43],"fundamental":[44],"questions":[45,102],"remain":[46],"unanswered":[47],"when":[48,125],"safe":[49],"sets":[50],"are":[51,130],"defined":[52],"with":[53,74],"numbers":[56],"including:":[59],"necessary":[60],"and":[61,84,124,147],"sufficient":[62],"conditions":[63,115,144],"forward":[65],"set":[66],"invariance,":[67],"actual":[69],"definition":[70],"CBFs":[72],"associated":[73,127],"these":[75,101,137],"sets,":[76],"regularity":[78,114],"properties":[79],"resulting":[82,152],"controllers,":[83],"ability":[86],"to":[87,94,107,121,139],"reduce":[88],"collection":[90],"constraints":[93],"number.":[97],"This":[98],"paper":[99],"addresses":[100,161],"by":[103],"extending":[104],"constraint":[110],"setting.":[111],"We":[112,134],"identify":[113],"under":[116],"which":[117],"Nagumo's":[118],"Theorem":[119],"reduces":[120],"barrier-like":[122],"inequalities":[123],"at":[131],"least":[132],"continuous.":[133],"further":[135],"connect":[136],"results":[138],"optimal-decay":[140],"bridging":[142],"theoretical":[143],"invariance":[146],"instantiations":[149],"controller.":[153],"Finally,":[154],"we":[155],"illustrate":[156],"how":[157],"developed":[159],"limitations":[162],"CBFs.":[165]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-21T00:00:00"}