{"id":"https://openalex.org/W7160416227","doi":"https://doi.org/10.48550/arxiv.2605.03595","title":"Almost Sure Reachability in Continuous-time Stochastic Systems","display_name":"Almost Sure Reachability in Continuous-time Stochastic Systems","publication_year":2026,"publication_date":"2026-05-05","ids":{"openalex":"https://openalex.org/W7160416227","doi":"https://doi.org/10.48550/arxiv.2605.03595"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.03595","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03595","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.2605.03595","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033874726","display_name":"Arash Bahari Kordabad","orcid":"https://orcid.org/0000-0001-8931-5372"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kordabad, Arash Bahari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Majumdar, Rupak","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5129728201","display_name":"Sadegh Soudjani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Soudjani, Sadegh","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.529699981212616,"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.529699981212616,"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/T11413","display_name":"Risk and Portfolio Optimization","score":0.09440000355243683,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10067","display_name":"Stochastic processes and financial applications","score":0.08380000293254852,"subfield":{"id":"https://openalex.org/subfields/2003","display_name":"Finance"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.95660001039505},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6068999767303467},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6032999753952026},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5623000264167786},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.5478000044822693},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.4828999936580658},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.44780001044273376},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4316999912261963}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.95660001039505},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6068999767303467},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6032999753952026},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5770000219345093},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5623000264167786},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.5478000044822693},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4828999936580658},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.44780001044273376},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4316999912261963},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4058000147342682},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3862000107765198},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3472999930381775},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.30869999527931213},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C85384003","wikidata":"https://www.wikidata.org/wiki/Q5421525","display_name":"Exponential polynomial","level":3,"score":0.29600000381469727},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C2778199601","wikidata":"https://www.wikidata.org/wiki/Q5165476","display_name":"Continuous function (set theory)","level":3,"score":0.25130000710487366},{"id":"https://openalex.org/C51955184","wikidata":"https://www.wikidata.org/wiki/Q1545585","display_name":"Stochastic differential equation","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.03595","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03595","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.2605.03595","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03595","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,17,57,149,158],"provide":[1],"certificates":[2,47,144,171],"for":[3,48,75,88,117],"almost":[4,29,49,76,96,173],"sure":[5,30,50,77,97,174],"reachability":[6,31,51,78,98,175],"of":[7,33,61,79,95,101,105],"continuous-time":[8,55,169],"stochastic":[9,13],"systems":[10],"governed":[11],"by":[12],"differential":[14],"equations":[15],"(SDEs).":[16],"first":[18],"show":[19],"that":[20,168,176],"a":[21,37,59,63,67,93,114,133,189],"standard":[22],"Euler-Maruyama":[23],"discretization":[24],"may":[25],"fail":[26],"to":[27,45,138,155],"preserve":[28],"property":[32],"the":[34,54,102,106,118,123,140,143,160,163,185],"system":[35,107],"using":[36],"double-well":[38,164],"Langevin":[39,165],"system.":[40,56,191],"This":[41,135],"observation":[42],"motivates":[43],"us":[44,137],"develop":[46],"directly":[52],"on":[53,162,188],"introduce":[58],"pair":[60],"certificates,":[62,87],"drift":[64,119],"function":[65,120,125,130],"and":[66,70,73,121],"variant":[68,124],"function,":[69],"prove":[71],"necessity":[72],"sufficiency":[74],"an":[80,128,152],"open":[81],"bounded":[82],"target":[83],"set.":[84],"Using":[85],"these":[86],"linear":[89],"SDEs,":[90,111],"we":[91,112,183],"give":[92],"characterization":[94],"in":[99,142],"terms":[100],"spectral":[103],"structure":[104],"matrices.":[108],"For":[109],"polynomial":[110,115,190],"fix":[113],"template":[116,126],"choose":[122],"as":[127],"exponential":[129],"composed":[131],"with":[132],"polynomial.":[134],"allows":[136],"translate":[139],"conditions":[141],"into":[145],"sum-of-squares":[146],"(SOS)":[147],"constraints.":[148],"then":[150],"propose":[151],"alternating":[153],"scheme":[154],"resolve":[156],"bilinearities.":[157],"illustrate":[159],"approach":[161,187],"example,":[166],"showing":[167],"SOS":[170,186],"recover":[172],"is":[177],"lost":[178],"under":[179],"time":[180],"discretization.":[181],"Moreover,":[182],"verify":[184]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-07T00:00:00"}