{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:L3FIACQDCU3F2ZE37FV6KF6FY2","short_pith_number":"pith:L3FIACQD","canonical_record":{"source":{"id":"2407.12225","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-17T00:39:49Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"22c79a3c8b051c5d0bd69e590f294ab6918a934846f5a6937ac46318596d54d2","abstract_canon_sha256":"5712e5bd00a7c0c258a2bfe2a2beaf6926192d9e90fb21673e6c3eaf0d087080"},"schema_version":"1.0"},"canonical_sha256":"5eca800a0315365d649bf96be517c5c69fc5892d67d6cdbe1bee76429b5c08f0","source":{"kind":"arxiv","id":"2407.12225","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.12225","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"arxiv_version","alias_value":"2407.12225v2","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.12225","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_12","alias_value":"L3FIACQDCU3F","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_16","alias_value":"L3FIACQDCU3F2ZE3","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_8","alias_value":"L3FIACQD","created_at":"2026-07-05T09:02:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:L3FIACQDCU3F2ZE37FV6KF6FY2","target":"record","payload":{"canonical_record":{"source":{"id":"2407.12225","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-17T00:39:49Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"22c79a3c8b051c5d0bd69e590f294ab6918a934846f5a6937ac46318596d54d2","abstract_canon_sha256":"5712e5bd00a7c0c258a2bfe2a2beaf6926192d9e90fb21673e6c3eaf0d087080"},"schema_version":"1.0"},"canonical_sha256":"5eca800a0315365d649bf96be517c5c69fc5892d67d6cdbe1bee76429b5c08f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:02:23.126918Z","signature_b64":"NxdIth6zPTYxVX0svom+sU2TEyXeIYtoL2Kw/TuFdnLIyDFVWjOPDZWzM1+9KsFW5AcThsSlA9lfYU7RcrxuAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5eca800a0315365d649bf96be517c5c69fc5892d67d6cdbe1bee76429b5c08f0","last_reissued_at":"2026-07-05T09:02:23.126437Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:02:23.126437Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.12225","source_version":2,"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:02:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kEWnPGTLNHtJT4zNHhyZfljhB8GATGJZitUrrai8Q1GStzO/4KX6pdcHy3PhFm3M8Hz34/G2UqR70/pAkC+vAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T00:28:06.662260Z"},"content_sha256":"16f8d52bf2cb4629c4303c48a886256800840ab9c23ec049a6f5342f553f9a21","schema_version":"1.0","event_id":"sha256:16f8d52bf2cb4629c4303c48a886256800840ab9c23ec049a6f5342f553f9a21"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:L3FIACQDCU3F2ZE37FV6KF6FY2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Reachability Analysis of Stochastic Control Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Saber Jafarpour, Yongxin Chen, Zishun Liu","submitted_at":"2024-07-17T00:39:49Z","abstract_excerpt":"We address the reachability problem for continuous-time stochastic dynamic systems. Our objective is to present a unified framework that characterizes the reachable set of a dynamic system in the presence of both stochastic disturbances and deterministic inputs. To achieve this, we devise a strategy that effectively decouples the effects of deterministic inputs and stochastic disturbances on the reachable sets of the system. For the deterministic part, many existing methods can capture the deterministic reachability. As for the stochastic disturbances, we introduce a novel technique that proba"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.12225","kind":"arxiv","version":2},"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/2407.12225/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:02:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+5Zejrpp5Loaw/3Ju52m3aWePCFYAuWCo3BUTbgLK+tDIdVwliIFk6sGHiNLBBWAt6tyrTKOD/R3NnD1Szu0Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T00:28:06.662866Z"},"content_sha256":"0ae1d78eb81d87ff0db0db43bc502acdf6c7c08edd2ae1fc08e083d85674273b","schema_version":"1.0","event_id":"sha256:0ae1d78eb81d87ff0db0db43bc502acdf6c7c08edd2ae1fc08e083d85674273b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/bundle.json","state_url":"https://pith.science/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/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-19T00:28:06Z","links":{"resolver":"https://pith.science/pith/L3FIACQDCU3F2ZE37FV6KF6FY2","bundle":"https://pith.science/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/bundle.json","state":"https://pith.science/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3FIACQDCU3F2ZE37FV6KF6FY2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:L3FIACQDCU3F2ZE37FV6KF6FY2","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":"5712e5bd00a7c0c258a2bfe2a2beaf6926192d9e90fb21673e6c3eaf0d087080","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-17T00:39:49Z","title_canon_sha256":"22c79a3c8b051c5d0bd69e590f294ab6918a934846f5a6937ac46318596d54d2"},"schema_version":"1.0","source":{"id":"2407.12225","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.12225","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"arxiv_version","alias_value":"2407.12225v2","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.12225","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_12","alias_value":"L3FIACQDCU3F","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_16","alias_value":"L3FIACQDCU3F2ZE3","created_at":"2026-07-05T09:02:23Z"},{"alias_kind":"pith_short_8","alias_value":"L3FIACQD","created_at":"2026-07-05T09:02:23Z"}],"graph_snapshots":[{"event_id":"sha256:0ae1d78eb81d87ff0db0db43bc502acdf6c7c08edd2ae1fc08e083d85674273b","target":"graph","created_at":"2026-07-05T09:02:23Z","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/2407.12225/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We address the reachability problem for continuous-time stochastic dynamic systems. Our objective is to present a unified framework that characterizes the reachable set of a dynamic system in the presence of both stochastic disturbances and deterministic inputs. To achieve this, we devise a strategy that effectively decouples the effects of deterministic inputs and stochastic disturbances on the reachable sets of the system. For the deterministic part, many existing methods can capture the deterministic reachability. As for the stochastic disturbances, we introduce a novel technique that proba","authors_text":"Saber Jafarpour, Yongxin Chen, Zishun Liu","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-17T00:39:49Z","title":"Probabilistic Reachability Analysis of Stochastic Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.12225","kind":"arxiv","version":2},"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:16f8d52bf2cb4629c4303c48a886256800840ab9c23ec049a6f5342f553f9a21","target":"record","created_at":"2026-07-05T09:02:23Z","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":"5712e5bd00a7c0c258a2bfe2a2beaf6926192d9e90fb21673e6c3eaf0d087080","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-07-17T00:39:49Z","title_canon_sha256":"22c79a3c8b051c5d0bd69e590f294ab6918a934846f5a6937ac46318596d54d2"},"schema_version":"1.0","source":{"id":"2407.12225","kind":"arxiv","version":2}},"canonical_sha256":"5eca800a0315365d649bf96be517c5c69fc5892d67d6cdbe1bee76429b5c08f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5eca800a0315365d649bf96be517c5c69fc5892d67d6cdbe1bee76429b5c08f0","first_computed_at":"2026-07-05T09:02:23.126437Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:02:23.126437Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NxdIth6zPTYxVX0svom+sU2TEyXeIYtoL2Kw/TuFdnLIyDFVWjOPDZWzM1+9KsFW5AcThsSlA9lfYU7RcrxuAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:02:23.126918Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.12225","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16f8d52bf2cb4629c4303c48a886256800840ab9c23ec049a6f5342f553f9a21","sha256:0ae1d78eb81d87ff0db0db43bc502acdf6c7c08edd2ae1fc08e083d85674273b"],"state_sha256":"85873ad36d1b5734cef540a9872d53f0895326a67905f63100487a0ec9cdb8b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"agIWG/ZHFMJ/l4Qp2jlodGZ6Od6lzj7dxR0t614qYbIanVNonizBkq3QW3yft8+Wj+o3XsQsm+9MTyRr1B6cBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T00:28:06.667922Z","bundle_sha256":"b033522cf1d0720100e6e00cf92a44030c11f980da31bf2e24b82e79bf993f31"}}