{"id":"https://openalex.org/W7154022588","doi":"https://doi.org/10.48550/arxiv.2604.08831","title":"Probabilistic Control Barrier Functions for Systems with State Estimation Uncertainty using Sub-Gaussian Concentration","display_name":"Probabilistic Control Barrier Functions for Systems with State Estimation Uncertainty using Sub-Gaussian Concentration","publication_year":2026,"publication_date":"2026-04-10","ids":{"openalex":"https://openalex.org/W7154022588","doi":"https://doi.org/10.48550/arxiv.2604.08831"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.08831","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08831","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":null,"license_id":null,"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.08831","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024918843","display_name":"Kazuya Echigo","orcid":"https://orcid.org/0009-0009-9585-5346"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Echigo, Kazuya","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133549402","display_name":"David E. J. van Wijk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"van Wijk, David E. J.","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":"middle","author":{"id":"https://openalex.org/A5014043432","display_name":"Ersin Da\u015f","orcid":"https://orcid.org/0000-0003-1291-3803"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Da\u015f, Ersin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133496633","display_name":"Joel W. Burdick","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Burdick, Joel W.","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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.29899999499320984,"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/T11082","display_name":"Spacecraft Dynamics and Control","score":0.29899999499320984,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.19009999930858612,"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/T10711","display_name":"Target Tracking and Data Fusion in Sensor Networks","score":0.06780000030994415,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8395000100135803},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.5148000121116638},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4487999975681305},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4426000118255615},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.4133000075817108},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.4041000008583069},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.38429999351501465},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.3736000061035156},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.34869998693466187}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8395000100135803},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5609999895095825},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.5148000121116638},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5024999976158142},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4487999975681305},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4426000118255615},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.4133000075817108},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.4041000008583069},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.3736000061035156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35280001163482666},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34869998693466187},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3192000091075897},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.31299999356269836},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C60782215","wikidata":"https://www.wikidata.org/wiki/Q3333679","display_name":"Probabilistic method","level":3,"score":0.30309998989105225},{"id":"https://openalex.org/C186215838","wikidata":"https://www.wikidata.org/wiki/Q772232","display_name":"Conditional expectation","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.298799991607666},{"id":"https://openalex.org/C137209882","wikidata":"https://www.wikidata.org/wiki/Q1403517","display_name":"Measurement uncertainty","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.2662999927997589},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.26190000772476196},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C123614077","wikidata":"https://www.wikidata.org/wiki/Q1364905","display_name":"Propagation of uncertainty","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.08831","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08831","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.08831","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08831","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":null,"license_id":null,"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":{"Safety-critical":[0],"control":[1],"systems,":[2,33],"such":[3],"as":[4],"spacecraft":[5],"performing":[6],"proximity":[7],"operations,":[8],"must":[9],"provide":[10],"formal":[11],"safety":[12,128,145],"guarantees":[13,45],"despite":[14],"stochastic":[15,32],"uncertainties":[16,78],"from":[17],"state":[18],"estimation":[19],"and":[20,46,114],"unmodeled":[21],"dynamics.":[22],"Although":[23],"Control":[24],"Barrier":[25],"Functions":[26],"(CBFs)":[27],"have":[28],"been":[29],"extended":[30],"to":[31],"existing":[34],"approaches":[35],"typically":[36],"face":[37],"a":[38,52,121],"trade-off":[39],"between":[40,106],"the":[41,63,67,87,103,136],"tightness":[42],"of":[43,66,86],"probabilistic":[44,54,116,144],"computational":[47],"tractability.":[48],"This":[49],"paper":[50],"presents":[51],"particle-based":[53,107],"CBF":[55],"framework":[56],"that":[57,76],"overcomes":[58],"this":[59,96,119],"limitation":[60],"by":[61],"exploiting":[62],"sub-Gaussian":[64],"structure":[65],"barrier":[68,88],"function":[69,89],"increment":[70],"under":[71],"Gaussian":[72,77],"uncertainties.":[73],"We":[74,130],"establish":[75],"propagating":[79],"through":[80,132],"Lipschitz-continuous":[81],"control-affine":[82],"dynamics":[83],"preserve":[84],"sub-Gaussianity":[85],"increment,":[90],"with":[91,126],"explicit":[92],"tail":[93],"bounds.":[94],"Leveraging":[95],"structure,":[97],"we":[98],"derive":[99],"finite-sample":[100,127],"bounds":[101],"on":[102],"approximation":[104],"error":[105],"Conditional":[108],"Value":[109],"at":[110],"Risk":[111],"(CVaR)":[112],"estimates":[113],"ground-truth":[115],"constraints;":[117],"applying":[118],"yields":[120],"tractable":[122],"optimization":[123],"problem":[124],"formulation":[125],"certificates.":[129],"show":[131],"numerical":[133],"experiments":[134],"how":[135],"proposed":[137],"approach":[138],"provides":[139],"tight":[140],"yet":[141],"provably":[142],"valid":[143],"guarantees.":[146]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-14T00:00:00"}