{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:57NT23IVS7SD5QHKJGQVK3OH7X","short_pith_number":"pith:57NT23IV","canonical_record":{"source":{"id":"1610.04550","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-14T17:38:12Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"298fee7efaaba90827390e15645174538e11b4aea119c1f083ac73efbf8bb019","abstract_canon_sha256":"e3b01d9bb290876e179becb87daed4cace02c0d85f730de3f936c2778e32834c"},"schema_version":"1.0"},"canonical_sha256":"efdb3d6d1597e43ec0ea49a1556dc7fdfb9d521fef7c51e89a7c1f482ae12d47","source":{"kind":"arxiv","id":"1610.04550","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.04550","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"arxiv_version","alias_value":"1610.04550v3","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.04550","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"pith_short_12","alias_value":"57NT23IVS7SD","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"57NT23IVS7SD5QHK","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"57NT23IV","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:57NT23IVS7SD5QHKJGQVK3OH7X","target":"record","payload":{"canonical_record":{"source":{"id":"1610.04550","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-14T17:38:12Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"298fee7efaaba90827390e15645174538e11b4aea119c1f083ac73efbf8bb019","abstract_canon_sha256":"e3b01d9bb290876e179becb87daed4cace02c0d85f730de3f936c2778e32834c"},"schema_version":"1.0"},"canonical_sha256":"efdb3d6d1597e43ec0ea49a1556dc7fdfb9d521fef7c51e89a7c1f482ae12d47","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:56.539454Z","signature_b64":"5GAxo63uInNeLe3ZfeF+oQN1HOwBae7WIDSxxSMzL3segn0iaJzsudqgsiJx7KS19uCMMAIYdqD1AnB9BoppBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efdb3d6d1597e43ec0ea49a1556dc7fdfb9d521fef7c51e89a7c1f482ae12d47","last_reissued_at":"2026-05-18T00:50:56.538780Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:56.538780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.04550","source_version":3,"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-05-18T00:50:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WQIBjAjD+ZJwkUFCosgiFc8zoamk8dSv4JUoqDTH52Dq/LXtWaiL/yKiQbVYNVOJxp1zGHAdrWeka4IV8dLjDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T03:43:10.963908Z"},"content_sha256":"260217b9bd14f870312319bff9452658fb0f16de9e4a3beb8ac2492809d21c32","schema_version":"1.0","event_id":"sha256:260217b9bd14f870312319bff9452658fb0f16de9e4a3beb8ac2492809d21c32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:57NT23IVS7SD5QHKJGQVK3OH7X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi","submitted_at":"2016-10-14T17:38:12Z","abstract_excerpt":"We propose a scalable method for forward stochastic reachability analysis for uncontrolled linear systems with affine disturbance. Our method uses Fourier transforms to efficiently compute the forward stochastic reach probability measure (density) and the forward stochastic reach set. This method is applicable to systems with bounded or unbounded disturbance sets. We also examine the convexity properties of the forward stochastic reach set and its probability density. Motivated by the problem of a robot attempting to capture a stochastically moving, non-adversarial target, we demonstrate our m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.04550","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:50:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+CUdC3mlSvFBgRhT/+XgQp04y0MmoRHTYoytlP0hmwKoGU36nsu/K2OTv7tXzT0x9hGHNCsVY3uXjPZ/kfloBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T03:43:10.964265Z"},"content_sha256":"7ebd6e9839ea17d5b63632d67085bb999f85e03f4360be2c410ec853a71e8901","schema_version":"1.0","event_id":"sha256:7ebd6e9839ea17d5b63632d67085bb999f85e03f4360be2c410ec853a71e8901"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57NT23IVS7SD5QHKJGQVK3OH7X/bundle.json","state_url":"https://pith.science/pith/57NT23IVS7SD5QHKJGQVK3OH7X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57NT23IVS7SD5QHKJGQVK3OH7X/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-07-08T03:43:10Z","links":{"resolver":"https://pith.science/pith/57NT23IVS7SD5QHKJGQVK3OH7X","bundle":"https://pith.science/pith/57NT23IVS7SD5QHKJGQVK3OH7X/bundle.json","state":"https://pith.science/pith/57NT23IVS7SD5QHKJGQVK3OH7X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57NT23IVS7SD5QHKJGQVK3OH7X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:57NT23IVS7SD5QHKJGQVK3OH7X","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":"e3b01d9bb290876e179becb87daed4cace02c0d85f730de3f936c2778e32834c","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-14T17:38:12Z","title_canon_sha256":"298fee7efaaba90827390e15645174538e11b4aea119c1f083ac73efbf8bb019"},"schema_version":"1.0","source":{"id":"1610.04550","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.04550","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"arxiv_version","alias_value":"1610.04550v3","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.04550","created_at":"2026-05-18T00:50:56Z"},{"alias_kind":"pith_short_12","alias_value":"57NT23IVS7SD","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"57NT23IVS7SD5QHK","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"57NT23IV","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:7ebd6e9839ea17d5b63632d67085bb999f85e03f4360be2c410ec853a71e8901","target":"graph","created_at":"2026-05-18T00:50:56Z","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"},"paper":{"abstract_excerpt":"We propose a scalable method for forward stochastic reachability analysis for uncontrolled linear systems with affine disturbance. Our method uses Fourier transforms to efficiently compute the forward stochastic reach probability measure (density) and the forward stochastic reach set. This method is applicable to systems with bounded or unbounded disturbance sets. We also examine the convexity properties of the forward stochastic reach set and its probability density. Motivated by the problem of a robot attempting to capture a stochastically moving, non-adversarial target, we demonstrate our m","authors_text":"Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-14T17:38:12Z","title":"Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.04550","kind":"arxiv","version":3},"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:260217b9bd14f870312319bff9452658fb0f16de9e4a3beb8ac2492809d21c32","target":"record","created_at":"2026-05-18T00:50:56Z","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":"e3b01d9bb290876e179becb87daed4cace02c0d85f730de3f936c2778e32834c","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-14T17:38:12Z","title_canon_sha256":"298fee7efaaba90827390e15645174538e11b4aea119c1f083ac73efbf8bb019"},"schema_version":"1.0","source":{"id":"1610.04550","kind":"arxiv","version":3}},"canonical_sha256":"efdb3d6d1597e43ec0ea49a1556dc7fdfb9d521fef7c51e89a7c1f482ae12d47","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efdb3d6d1597e43ec0ea49a1556dc7fdfb9d521fef7c51e89a7c1f482ae12d47","first_computed_at":"2026-05-18T00:50:56.538780Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:56.538780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5GAxo63uInNeLe3ZfeF+oQN1HOwBae7WIDSxxSMzL3segn0iaJzsudqgsiJx7KS19uCMMAIYdqD1AnB9BoppBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:56.539454Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.04550","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:260217b9bd14f870312319bff9452658fb0f16de9e4a3beb8ac2492809d21c32","sha256:7ebd6e9839ea17d5b63632d67085bb999f85e03f4360be2c410ec853a71e8901"],"state_sha256":"85f0ccd6d1c2149a8e3e0da4fa3f825f16610ccf6b5bf4c99e53e5ba8b718b04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AQqFeVhuPSiKDgR2BgNIaI/319zb7b2P52KFJz6NZMPeWIcOE/mMoS1KwEggXuorHzlN9kvI2wNANBbbByjSBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T03:43:10.967248Z","bundle_sha256":"b884ec3758732a3129da9d1b3c3e50794787c04b97b311c0d8f2d9db17754946"}}