{"id":"https://openalex.org/W7133358132","doi":"https://doi.org/10.48550/arxiv.2603.01918","title":"PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions","display_name":"PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions","publication_year":2026,"publication_date":"2026-03-02","ids":{"openalex":"https://openalex.org/W7133358132","doi":"https://doi.org/10.48550/arxiv.2603.01918"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.01918","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.01918","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.01918","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051183647","display_name":"Taoran Wu","orcid":"https://orcid.org/0000-0003-3398-0466"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Taoran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127934779","display_name":"Dominik Wagner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wagner, Dominik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127890579","display_name":"C. -H. Luke Ong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ong, C. -H. Luke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5036963419","display_name":"Bai Xue","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xue, Bai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"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/T10142","display_name":"Formal Methods in Verification","score":0.49729999899864197,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.49729999899864197,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.07900000363588333,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.06069999933242798,"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/generalization","display_name":"Generalization","score":0.732699990272522},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6484000086784363},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6274999976158142},{"id":"https://openalex.org/keywords/independent-and-identically-distributed-random-variables","display_name":"Independent and identically distributed random variables","score":0.607699990272522},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5895000100135803},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5317999720573425},{"id":"https://openalex.org/keywords/disturbance","display_name":"Disturbance (geology)","score":0.428600013256073},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4124000072479248},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3804999887943268}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.732699990272522},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6484000086784363},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6274999976158142},{"id":"https://openalex.org/C141513077","wikidata":"https://www.wikidata.org/wiki/Q378542","display_name":"Independent and identically distributed random variables","level":3,"score":0.607699990272522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5950999855995178},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5895000100135803},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5317999720573425},{"id":"https://openalex.org/C2777601987","wikidata":"https://www.wikidata.org/wiki/Q5283581","display_name":"Disturbance (geology)","level":2,"score":0.428600013256073},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4124000072479248},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3804999887943268},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37139999866485596},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.35740000009536743},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3540000021457672},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.32350000739097595},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.32249999046325684},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.2883000075817108},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25929999351501465},{"id":"https://openalex.org/C207201462","wikidata":"https://www.wikidata.org/wiki/Q182505","display_name":"Bayes' theorem","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.01918","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.01918","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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.01918","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.01918","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":"article"},"sustainable_development_goals":[{"score":0.4446640610694885,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"investigate":[1],"the":[2,63,67,70,75,78,101,133],"problem":[3],"of":[4,39,69],"establishing":[5],"finite-time":[6],"probabilistic":[7],"safety":[8,29,142,155],"guarantees":[9],"for":[10,151],"discrete-time":[11,158],"stochastic":[12,159],"dynamical":[13],"systems":[14],"subject":[15],"to":[16],"unknown":[17],"disturbance":[18,45],"distributions,":[19],"using":[20,120],"barrier":[21],"certificate":[22],"methods.":[23],"Our":[24],"approach":[25],"develops":[26],"a":[27,36,52,82,87],"data-driven":[28,154],"certification":[30,53,71],"framework":[31],"that":[32,77],"relies":[33],"only":[34],"on":[35],"finite":[37,88,110],"collection":[38],"independent":[40],"and":[41,127,141,148],"identically":[42],"distributed":[43],"(i.i.d.)":[44],"samples.":[46,111],"Within":[47],"this":[48],"framework,":[49],"we":[50,115],"propose":[51],"procedure":[54,72],"such":[55],"that,":[56],"with":[57],"confidence":[58],"at":[59,91],"least":[60,92],"$1-\u03b4$":[61],"over":[62,86],"sampled":[64],"disturbances,":[65],"if":[66],"output":[68],"is":[73,90],"accepted,":[74],"probability":[76],"system":[79],"remains":[80],"within":[81],"prescribed":[83],"safe":[84],"set":[85],"horizon":[89],"$1-\u03b5$.":[93],"A":[94],"key":[95],"challenge":[96],"lies":[97],"in":[98,157],"formally":[99],"characterizing":[100],"probably":[102],"approximately":[103],"correct":[104],"(PAC)":[105],"generalization":[106,118],"behavior":[107],"induced":[108],"by":[109],"To":[112],"address":[113],"this,":[114],"derive":[116],"PAC":[117],"bounds":[119],"tools":[121],"from":[122],"VC":[123],"dimension,":[124],"scenario":[125],"optimization,":[126],"Rademacher":[128],"complexity.":[129],"These":[130],"results":[131],"illuminate":[132],"fundamental":[134],"trade-offs":[135],"between":[136],"sample":[137],"size,":[138],"model":[139],"complexity,":[140],"tolerance,":[143],"providing":[144],"both":[145],"theoretical":[146],"insight":[147],"practical":[149],"guidance":[150],"designing":[152],"reliable,":[153],"certificates":[156],"systems.":[160]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-04T00:00:00"}