{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7Z2V7ELV34HDXPNQL55E2JRKMA","short_pith_number":"pith:7Z2V7ELV","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"},"canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","source":{"kind":"arxiv","id":"2508.20204","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.20204","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"arxiv_version","alias_value":"2508.20204v1","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20204","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_12","alias_value":"7Z2V7ELV34HD","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_16","alias_value":"7Z2V7ELV34HDXPNQ","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_8","alias_value":"7Z2V7ELV","created_at":"2026-07-05T12:00:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7Z2V7ELV34HDXPNQL55E2JRKMA","target":"record","payload":{"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"},"canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","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"},"source_kind":"arxiv","source_id":"2508.20204","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:00:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AlgfH2KOdGVbXv6Gqtn7W3vtCYuc3yE44gV59IQcr5zx6/S04NeoUPIekzuFbHv73x7wI6ai1HYPk2w9sWBCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:11:53.272883Z"},"content_sha256":"5f743515f9adb426c961b8ab1370001471f9f76518a41dd1444cff8d169f81ff","schema_version":"1.0","event_id":"sha256:5f743515f9adb426c961b8ab1370001471f9f76518a41dd1444cff8d169f81ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7Z2V7ELV34HDXPNQL55E2JRKMA","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:00:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X/oW0P39UJe1hFfD8890u1PFYyRjb6y1BGe8yuYCQoQ34OwvFo0cBh3e5rSN2Gtx0uE+2wXZM1W7dnpunXJ5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T14:11:53.273384Z"},"content_sha256":"ec9e416e2145cb80ffab91d48d9adad5b39a9be49ff67f8300a7dbe450f11a72","schema_version":"1.0","event_id":"sha256:ec9e416e2145cb80ffab91d48d9adad5b39a9be49ff67f8300a7dbe450f11a72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/bundle.json","state_url":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-11T14:11:53Z","links":{"resolver":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA","bundle":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/bundle.json","state":"https://pith.science/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7Z2V7ELV34HDXPNQL55E2JRKMA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7Z2V7ELV34HDXPNQL55E2JRKMA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"949b83aa0d21ba20fc859d5b76d852aae40d4f6e5f875f4d6123c081486d3a8a","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-27T18:31:21Z","title_canon_sha256":"9dade49c37ea9874704a7938711774c55f3312e9bf1d7f8e621f1d0080616c70"},"schema_version":"1.0","source":{"id":"2508.20204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.20204","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"arxiv_version","alias_value":"2508.20204v1","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20204","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_12","alias_value":"7Z2V7ELV34HD","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_16","alias_value":"7Z2V7ELV34HDXPNQ","created_at":"2026-07-05T12:00:31Z"},{"alias_kind":"pith_short_8","alias_value":"7Z2V7ELV","created_at":"2026-07-05T12:00:31Z"}],"graph_snapshots":[{"event_id":"sha256:ec9e416e2145cb80ffab91d48d9adad5b39a9be49ff67f8300a7dbe450f11a72","target":"graph","created_at":"2026-07-05T12:00:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.20204/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Masoumeh Ghanbarpour, Sriram Sankaranarayanan","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-27T18:31:21Z","title":"Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.20204","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5f743515f9adb426c961b8ab1370001471f9f76518a41dd1444cff8d169f81ff","target":"record","created_at":"2026-07-05T12:00:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"949b83aa0d21ba20fc859d5b76d852aae40d4f6e5f875f4d6123c081486d3a8a","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-27T18:31:21Z","title_canon_sha256":"9dade49c37ea9874704a7938711774c55f3312e9bf1d7f8e621f1d0080616c70"},"schema_version":"1.0","source":{"id":"2508.20204","kind":"arxiv","version":1}},"canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe755f9175df0e3bbdb05f7a4d262a602a72dbdefa9480ba4447eb7de13e31fb","first_computed_at":"2026-07-05T12:00:31.236511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:00:31.236511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ahUdi0EBavJvUlKBjnw6Guiuc3mdhDEBDqFVKFOdUPDyJXbXza9dZLqo2QBOeNT0kt4tiC3W2BuhPtMDTFysCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:00:31.236991Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.20204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f743515f9adb426c961b8ab1370001471f9f76518a41dd1444cff8d169f81ff","sha256:ec9e416e2145cb80ffab91d48d9adad5b39a9be49ff67f8300a7dbe450f11a72"],"state_sha256":"2c9184628ca452aab9677f38c80befa01e479825538779ad7e68773dd3dbb6b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKqG1s1Cvg9YYS3Ztvp6XBOw5CfSoEHvtohi96NSX/h/3F6sNNO0unxn4E3kWcaEa8Gifq4q5n+CBHrglXbECA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T14:11:53.278120Z","bundle_sha256":"12af635527b9bc477f67d192ba8ffdea90fa97c9e412ce083e2314b841061b98"}}