{"id":"https://openalex.org/W7155043970","doi":"https://doi.org/10.48550/arxiv.2604.17902","title":"Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems","display_name":"Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7155043970","doi":"https://doi.org/10.48550/arxiv.2604.17902"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.17902","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17902","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.2604.17902","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134186913","display_name":"Bai Xue","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xue, Bai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134106032","display_name":"Peixin Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Peixin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134108188","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":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"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.5440000295639038,"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.5440000295639038,"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.14749999344348907,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.1363999992609024,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6805999875068665},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.6621999740600586},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.5435000061988831},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48330000042915344},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.46050000190734863},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.43290001153945923},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4212000072002411},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4043999910354614}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6805999875068665},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.6621999740600586},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5435000061988831},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4869999885559082},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48330000042915344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47620001435279846},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.46050000190734863},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.46050000190734863},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.43290001153945923},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4171000123023987},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4043999910354614},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.3862999975681305},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C99692599","wikidata":"https://www.wikidata.org/wiki/Q596577","display_name":"Dissipative system","level":2,"score":0.3626999855041504},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.32919999957084656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32409998774528503},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2915000021457672},{"id":"https://openalex.org/C18015164","wikidata":"https://www.wikidata.org/wiki/Q6935000","display_name":"Multiplicative noise","level":5,"score":0.2856000065803528},{"id":"https://openalex.org/C48406656","wikidata":"https://www.wikidata.org/wiki/Q534112","display_name":"Martingale (probability theory)","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2614000141620636},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.2605000138282776}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.17902","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17902","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.2604.17902","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.17902","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,16,49,71,107,125],"quantitative":[4],"verification":[5],"of":[6,18,55,74,110,124],"constrained":[7],"occupation":[8],"time":[9],"in":[10],"stochastic":[11,62],"discrete-time":[12],"systems,":[13],"focusing":[14],"on":[15],"probability":[17],"visiting":[19],"a":[20,75,80],"target":[21],"set":[22],"at":[23],"least":[24],"$k$":[25],"times":[26],"while":[27,113],"maintaining":[28],"safety.":[29],"Such":[30],"cumulative":[31],"properties":[32],"are":[33],"essential":[34],"for":[35,91],"certifying":[36,56],"repeated":[37],"behaviors":[38],"like":[39],"surveillance":[40],"and":[41,94],"periodic":[42],"charging.":[43],"To":[44],"address":[45],"this,":[46],"we":[47,86,98],"present":[48],"first":[50],"barrier":[51,63],"certificate":[52],"framework":[53,127],"capable":[54],"these":[57],"behaviors.":[58],"We":[59],"introduce":[60],"multiplicative":[61],"functions":[64],"that":[65,100],"encode":[66],"visitation":[67],"counts":[68],"implicitly":[69],"within":[70],"algebraic":[72],"structure":[73],"scalar":[76],"barrier.":[77],"By":[78],"adopting":[79],"switched-system":[81],"reformulation":[82],"to":[83],"handle":[84],"safety,":[85],"derive":[87],"rigorous":[88],"probabilistic":[89],"bounds":[90,105,118],"both":[92],"finite":[93],"infinite":[95],"horizons.":[96],"Specifically,":[97],"show":[99],"dissipative":[101],"barriers":[102,115],"establish":[103],"upper":[104],"ensuring":[106],"exponential":[108],"decay":[109],"frequent":[111],"visits,":[112],"attractive":[114],"provide":[116],"lower":[117],"via":[119],"submartingale":[120],"analysis.":[121],"The":[122],"efficacy":[123],"proposed":[126],"is":[128],"demonstrated":[129],"through":[130],"numerical":[131],"examples.":[132]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-22T00:00:00"}