{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:MCYDKCEK3MK4AZLYGLPZMLZFPN","short_pith_number":"pith:MCYDKCEK","canonical_record":{"source":{"id":"2403.05745","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-09T00:54:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"11846a1b2d0373f1e140c78b1b7d62a911e19c9f88af67a9edc5ed03c966dd1c","abstract_canon_sha256":"259027645674ac93cbdcd9d44793567e7fea66dd833923921e98330c4357ffcb"},"schema_version":"1.0"},"canonical_sha256":"60b035088adb15c0657832df962f257b7fc29d6a6f0422774c21dcf96e5d6cd1","source":{"kind":"arxiv","id":"2403.05745","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.05745","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"arxiv_version","alias_value":"2403.05745v5","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.05745","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_12","alias_value":"MCYDKCEK3MK4","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"MCYDKCEK3MK4AZLY","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"MCYDKCEK","created_at":"2026-07-05T09:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:MCYDKCEK3MK4AZLYGLPZMLZFPN","target":"record","payload":{"canonical_record":{"source":{"id":"2403.05745","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-09T00:54:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"11846a1b2d0373f1e140c78b1b7d62a911e19c9f88af67a9edc5ed03c966dd1c","abstract_canon_sha256":"259027645674ac93cbdcd9d44793567e7fea66dd833923921e98330c4357ffcb"},"schema_version":"1.0"},"canonical_sha256":"60b035088adb15c0657832df962f257b7fc29d6a6f0422774c21dcf96e5d6cd1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:30:48.770406Z","signature_b64":"bWrKf3lYjspltqcjpWc7Qqshun9plWdLTlxDSGW6p/j+57yVpPOEbxVHNDF+Chd74xfWly+68CCuE37xVBOZAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"60b035088adb15c0657832df962f257b7fc29d6a6f0422774c21dcf96e5d6cd1","last_reissued_at":"2026-07-05T09:30:48.769895Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:30:48.769895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.05745","source_version":5,"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-05T09:30:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7DI4jcuwxkHRh7iREEuJMD9Wwd5e7t7WZi+VJNPCZ+RBysJ/JnbKHBB6PT+eC2QUDEDq2RNRvL1ZejLgyfauBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:27:17.235718Z"},"content_sha256":"113a01106d02f98d9cc3ab62b8618d2e45546a9ffc9d5aa4338343ed35350839","schema_version":"1.0","event_id":"sha256:113a01106d02f98d9cc3ab62b8618d2e45546a9ffc9d5aa4338343ed35350839"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:MCYDKCEK3MK4AZLYGLPZMLZFPN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Preston Culbertson, Ryan K. Cosner","submitted_at":"2024-03-09T00:54:19Z","abstract_excerpt":"When deployed in the real world, safe control methods must be robust to unstructured uncertainties such as modeling error and external disturbances. Typical robust safety methods achieve their guarantees by always assuming that the worst-case disturbance will occur. In contrast, this paper utilizes Freedman's inequality in the context of discrete-time control barrier functions (DTCBFs) and c-martingales to provide stronger (less conservative) safety guarantees for stochastic systems. Our approach accounts for the underlying disturbance distribution instead of relying exclusively on its worst-c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.05745","kind":"arxiv","version":5},"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/2403.05745/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-05T09:30:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I3IHrk2YfkWIhTZUQ8hjZslQAqE81MB2ZCjRpeeKAdNoPswLlwiVFntB4M4hWzhAhI41BMq5G1FIUMinMyryAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:27:17.236229Z"},"content_sha256":"1ad1077d5f2c890af2ad28e5235657e9800c114d0c3ab78e93a528ee3e4060f7","schema_version":"1.0","event_id":"sha256:1ad1077d5f2c890af2ad28e5235657e9800c114d0c3ab78e93a528ee3e4060f7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/bundle.json","state_url":"https://pith.science/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/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-05T02:27:17Z","links":{"resolver":"https://pith.science/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN","bundle":"https://pith.science/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/bundle.json","state":"https://pith.science/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MCYDKCEK3MK4AZLYGLPZMLZFPN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MCYDKCEK3MK4AZLYGLPZMLZFPN","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":"259027645674ac93cbdcd9d44793567e7fea66dd833923921e98330c4357ffcb","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-09T00:54:19Z","title_canon_sha256":"11846a1b2d0373f1e140c78b1b7d62a911e19c9f88af67a9edc5ed03c966dd1c"},"schema_version":"1.0","source":{"id":"2403.05745","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.05745","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"arxiv_version","alias_value":"2403.05745v5","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.05745","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_12","alias_value":"MCYDKCEK3MK4","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"MCYDKCEK3MK4AZLY","created_at":"2026-07-05T09:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"MCYDKCEK","created_at":"2026-07-05T09:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:1ad1077d5f2c890af2ad28e5235657e9800c114d0c3ab78e93a528ee3e4060f7","target":"graph","created_at":"2026-07-05T09:30:48Z","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/2403.05745/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When deployed in the real world, safe control methods must be robust to unstructured uncertainties such as modeling error and external disturbances. Typical robust safety methods achieve their guarantees by always assuming that the worst-case disturbance will occur. In contrast, this paper utilizes Freedman's inequality in the context of discrete-time control barrier functions (DTCBFs) and c-martingales to provide stronger (less conservative) safety guarantees for stochastic systems. Our approach accounts for the underlying disturbance distribution instead of relying exclusively on its worst-c","authors_text":"Aaron D. Ames, Preston Culbertson, Ryan K. Cosner","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-09T00:54:19Z","title":"Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.05745","kind":"arxiv","version":5},"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:113a01106d02f98d9cc3ab62b8618d2e45546a9ffc9d5aa4338343ed35350839","target":"record","created_at":"2026-07-05T09:30:48Z","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":"259027645674ac93cbdcd9d44793567e7fea66dd833923921e98330c4357ffcb","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-09T00:54:19Z","title_canon_sha256":"11846a1b2d0373f1e140c78b1b7d62a911e19c9f88af67a9edc5ed03c966dd1c"},"schema_version":"1.0","source":{"id":"2403.05745","kind":"arxiv","version":5}},"canonical_sha256":"60b035088adb15c0657832df962f257b7fc29d6a6f0422774c21dcf96e5d6cd1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60b035088adb15c0657832df962f257b7fc29d6a6f0422774c21dcf96e5d6cd1","first_computed_at":"2026-07-05T09:30:48.769895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:30:48.769895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bWrKf3lYjspltqcjpWc7Qqshun9plWdLTlxDSGW6p/j+57yVpPOEbxVHNDF+Chd74xfWly+68CCuE37xVBOZAw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:30:48.770406Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.05745","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:113a01106d02f98d9cc3ab62b8618d2e45546a9ffc9d5aa4338343ed35350839","sha256:1ad1077d5f2c890af2ad28e5235657e9800c114d0c3ab78e93a528ee3e4060f7"],"state_sha256":"b8ce942372525da30eb33a1c288df3263c3e1cb0f107ef3a2cf493b6d4c9c7e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X6A+gGQmvz2v3PqLrQtHDlVL9cwcf/jcLWKzI87PtP44lhZaHTrj0P+CWzmDrxguOUni0uBQxlyWHD49qy2wBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:27:17.240183Z","bundle_sha256":"06378aec443b1d480337440b4f7d2ca0e2da3de70abe3dff2c4ba694389d6cf3"}}