{"id":"https://openalex.org/W7221808845","doi":"https://doi.org/10.48550/arxiv.2610.17308","title":"Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems","display_name":"Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems","publication_year":2026,"publication_date":"2026-10-12","ids":{"openalex":"https://openalex.org/W7221808845","doi":"https://doi.org/10.48550/arxiv.2610.17308"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.17308","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.17308","pdf_url":"https://arxiv.org/pdf/2610.17308","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.17308","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138684329","display_name":"Tianyi Xia","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xia, Tianyi","raw_affiliation_strings":["Department of Mechanical Engineering , Tufts University , 419 Boston Avenue , Medford , MA 02155 , USA","Xia is with GRASP Lab , University of Pennsylvania , PA 19104 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering , Tufts University , 419 Boston Avenue , Medford , MA 02155 , USA","institution_ids":["https://openalex.org/I121934306"]},{"raw_affiliation_string":"Xia is with GRASP Lab , University of Pennsylvania , PA 19104 , USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034165188","display_name":"Ryan K. Cosner","orcid":"https://orcid.org/0000-0002-4035-1425","observed_orcids":["https://orcid.org/0000-0002-4035-1425"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cosner, Ryan K.","raw_affiliation_strings":["Cosner"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cosner","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.9990000128746033,"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.9990000128746033,"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.00019999999494757503,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/stochastic-hybrid-systems","display_name":"stochastic hybrid systems","score":0.9409999847412109},{"id":"https://openalex.org/keywords/safety-certificates","display_name":"safety certificates","score":0.5210000276565552},{"id":"https://openalex.org/keywords/stochastic-differential-equations","display_name":"stochastic differential equations","score":0.5899999737739563},{"id":"https://openalex.org/keywords/infinite-horizon","display_name":"infinite horizon","score":0.35899999737739563},{"id":"https://openalex.org/keywords/safety-filters","display_name":"safety filters","score":0.5289999842643738},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"collision avoidance","score":0.7770000100135803}],"concepts":[{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.6585999727249146},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.61080002784729},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4796000123023987},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4684000015258789},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.459199994802475},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.44179999828338623},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4309999942779541},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4074000120162964},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.4036000072956085},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C17435862","wikidata":"https://www.wikidata.org/wiki/Q29957","display_name":"Funnel","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C40842320","wikidata":"https://www.wikidata.org/wiki/Q19423","display_name":"Buffer overflow","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.28380000591278076},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C51955184","wikidata":"https://www.wikidata.org/wiki/Q1545585","display_name":"Stochastic differential equation","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2662000060081482},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C2776836416","wikidata":"https://www.wikidata.org/wiki/Q1364844","display_name":"False alarm","level":2,"score":0.25360000133514404},{"id":"https://openalex.org/C147080032","wikidata":"https://www.wikidata.org/wiki/Q176720","display_name":"Continuous-time Markov chain","level":5,"score":0.2531000077724457},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.25270000100135803},{"id":"https://openalex.org/C151637689","wikidata":"https://www.wikidata.org/wiki/Q5318064","display_name":"Dwell time","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.2508000135421753},{"id":"https://openalex.org/C99888217","wikidata":"https://www.wikidata.org/wiki/Q1288707","display_name":"Stopping time","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.17308","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.17308","pdf_url":"https://arxiv.org/pdf/2610.17308","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.17308","doi":"https://doi.org/10.48550/arxiv.2610.17308","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.17308","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.17308","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.17308","pdf_url":"https://arxiv.org/pdf/2610.17308","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221808845.pdf","grobid_xml":"https://content.openalex.org/works/W7221808845.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7143435689","https://openalex.org/W4295854926","https://openalex.org/W2066909430","https://openalex.org/W7098331453","https://openalex.org/W2029308352","https://openalex.org/W2513439345","https://openalex.org/W2044223164","https://openalex.org/W2145748930","https://openalex.org/W7097341052","https://openalex.org/W7097232833"],"abstract_inverted_index":{"This":[0],"work":[1],"studies":[2],"certified":[3,169],"reach-avoid":[4,84],"control":[5,123],"of":[6,176,199],"stochastic":[7,13,22],"hybrid":[8],"systems":[9,44],"in":[10,31],"which":[11],"a":[12,20,54,78,96,106,113,150,172,200],"differential":[14],"equation":[15],"governs":[16,24],"continuous":[17],"flow":[18,88],"and":[19,89,99,136,142,180],"controlled":[21],"kernel":[23],"guard-triggered":[25],"resets.":[26],"The":[27],"input":[28],"appears":[29],"only":[30,94],"the":[32,38,63,67,72,111,138,168,177,187],"reset":[33,108,143],"kernel,":[34],"where":[35,167,181],"it":[36],"determines":[37],"post-jump":[39],"distribution.":[40],"Certificates":[41],"for":[42],"such":[43,103],"have":[45],"so":[46],"far":[47],"assumed":[48],"spontaneous":[49],"or":[50,57],"controller-chosen":[51],"jump":[52,90],"times,":[53],"finite":[55],"horizon,":[56,65],"discrete-time":[58],"dynamics;":[59],"we":[60,82,130],"certify,":[61],"over":[62,153],"infinite":[64],"that":[66,101,132],"target":[68],"is":[69,171],"reached":[70],"before":[71],"unsafe":[73],"set":[74],"with":[75,105],"at":[76],"least":[77],"prescribed":[79],"probability.":[80],"First,":[81],"introduce":[83],"contact":[85],"certificates,":[86],"whose":[87],"conditions":[91],"are":[92,134],"imposed":[93],"on":[95],"sublevel":[97],"corridor,":[98],"prove":[100,131],"any":[102,154],"certificate":[104,147],"compatible":[107],"policy":[109],"meets":[110],"specification;":[112],"pointwise":[114],"safety":[115,184],"filter":[116,185],"extends":[117],"this":[118],"guarantee":[119],"from":[120,192],"verification":[121],"to":[122,194],"by":[124,158],"constraining":[125],"arbitrary":[126],"nominal":[127],"controllers.":[128],"Next,":[129],"executions":[133],"non-Zeno":[135],"bound":[137],"expected":[139],"settling":[140],"time":[141],"count.":[144],"We":[145,161],"frame":[146],"search":[148],"as":[149],"linear":[151],"program":[152],"twice-differentiable":[155],"dictionary":[156],"followed":[157],"independent":[159],"verification.":[160],"illustrate":[162],"our":[163,182],"approach":[164],"via":[165],"comparisons":[166],"region":[170],"subset":[173],"covering":[174],"93.6\\%":[175],"ground":[178],"truth":[179],"certificate-based":[183],"reaches":[186],"goal":[188],"while":[189],"reducing":[190],"collisions":[191],"68":[193],"zero":[195],"across":[196],"200":[197],"episodes":[198],"dribbling":[201],"ball":[202],"problem.":[203]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-10-15T00:00:00"}