{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:7Z2V7ELV34HDXPNQL55E2JRKMA","short_pith_number":"pith:7Z2V7ELV","schema_version":"1.0","canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","source":{"kind":"arxiv","id":"2508.20204","version":1},"attestation_state":"computed","paper":{"title":"Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Masoumeh Ghanbarpour, Sriram Sankaranarayanan","submitted_at":"2025-08-27T18:31:21Z","abstract_excerpt":"We study stochastic systems characterized by difference inclusions. Such stochastic differential inclusions are defined by set-valued maps involving the current state and stochastic input. For such systems, we investigate the problem of proving bounds on the worst-case probability of violating safety properties. Our approach uses the well-known concept of barrier functions from the study of stochastic control systems. However, barrier functions are hard to prove in the presence of stochastic inputs and adversarial choices due to the set-valued nature of the dynamics.\n  In this paper, we show t"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.20204","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-27T18:31:21Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"9dade49c37ea9874704a7938711774c55f3312e9bf1d7f8e621f1d0080616c70","abstract_canon_sha256":"949b83aa0d21ba20fc859d5b76d852aae40d4f6e5f875f4d6123c081486d3a8a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:00:31.236991Z","signature_b64":"ahUdi0EBavJvUlKBjnw6Guiuc3mdhDEBDqFVKFOdUPDyJXbXza9dZLqo2QBOeNT0kt4tiC3W2BuhPtMDTFysCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","last_reissued_at":"2026-07-05T12:00:31.236511Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:00:31.236511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Masoumeh Ghanbarpour, Sriram Sankaranarayanan","submitted_at":"2025-08-27T18:31:21Z","abstract_excerpt":"We study stochastic systems characterized by difference inclusions. Such stochastic differential inclusions are defined by set-valued maps involving the current state and stochastic input. For such systems, we investigate the problem of proving bounds on the worst-case probability of violating safety properties. Our approach uses the well-known concept of barrier functions from the study of stochastic control systems. However, barrier functions are hard to prove in the presence of stochastic inputs and adversarial choices due to the set-valued nature of the dynamics.\n  In this paper, we show t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.20204","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.20204/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.20204","created_at":"2026-07-05T12:00:31.236574+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.20204v1","created_at":"2026-07-05T12:00:31.236574+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20204","created_at":"2026-07-05T12:00:31.236574+00:00"},{"alias_kind":"pith_short_12","alias_value":"7Z2V7ELV34HD","created_at":"2026-07-05T12:00:31.236574+00:00"},{"alias_kind":"pith_short_16","alias_value":"7Z2V7ELV34HDXPNQ","created_at":"2026-07-05T12:00:31.236574+00:00"},{"alias_kind":"pith_short_8","alias_value":"7Z2V7ELV","created_at":"2026-07-05T12:00:31.236574+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2509.18518","citing_title":"Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems","ref_index":8,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA","json":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA.json","graph_json":"https://pith.science/api/pith-number/7Z2V7ELV34HDXPNQL55E2JRKMA/graph.json","events_json":"https://pith.science/api/pith-number/7Z2V7ELV34HDXPNQL55E2JRKMA/events.json","paper":"https://pith.science/paper/7Z2V7ELV"},"agent_actions":{"view_html":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA","download_json":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA.json","view_paper":"https://pith.science/paper/7Z2V7ELV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.20204&json=true","fetch_graph":"https://pith.science/api/pith-number/7Z2V7ELV34HDXPNQL55E2JRKMA/graph.json","fetch_events":"https://pith.science/api/pith-number/7Z2V7ELV34HDXPNQL55E2JRKMA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/action/storage_attestation","attest_author":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/action/author_attestation","sign_citation":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/action/citation_signature","submit_replication":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/action/replication_record"}},"created_at":"2026-07-05T12:00:31.236574+00:00","updated_at":"2026-07-05T12:00:31.236574+00:00"}