{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ASUW327IVOV2H3JVAGLHAGZKXQ","short_pith_number":"pith:ASUW327I","canonical_record":{"source":{"id":"1610.03472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-11T19:31:01Z","cross_cats_sorted":[],"title_canon_sha256":"3ec449b309b266d55243a51dd7891e11947a7deed8d1e459580d1915d7f3310a","abstract_canon_sha256":"447d062df169a3911930fe140ffcd536d9b079fea27d616a3e349a71018be940"},"schema_version":"1.0"},"canonical_sha256":"04a96debe8ababa3ed350196701b2abc2b113ba38f3c4d1e04a30915dd6a3e8e","source":{"kind":"arxiv","id":"1610.03472","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.03472","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"arxiv_version","alias_value":"1610.03472v1","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.03472","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"pith_short_12","alias_value":"ASUW327IVOV2","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"ASUW327IVOV2H3JV","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"ASUW327I","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ASUW327IVOV2H3JVAGLHAGZKXQ","target":"record","payload":{"canonical_record":{"source":{"id":"1610.03472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-11T19:31:01Z","cross_cats_sorted":[],"title_canon_sha256":"3ec449b309b266d55243a51dd7891e11947a7deed8d1e459580d1915d7f3310a","abstract_canon_sha256":"447d062df169a3911930fe140ffcd536d9b079fea27d616a3e349a71018be940"},"schema_version":"1.0"},"canonical_sha256":"04a96debe8ababa3ed350196701b2abc2b113ba38f3c4d1e04a30915dd6a3e8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:02:31.363924Z","signature_b64":"5ntuXdAeJyvO5w1ufrRh7FOeRIWw6A3BdUoG82dLq1AqGRDU1NHci0GH2giIzofOgDYA+JgxUAwmFn1qCexICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04a96debe8ababa3ed350196701b2abc2b113ba38f3c4d1e04a30915dd6a3e8e","last_reissued_at":"2026-05-18T01:02:31.363479Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:02:31.363479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.03472","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-05-18T01:02:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kM9eTXFUhHSmJUMYYstV6qbycvAwLAYZ12yWQOYHTKwBvxsNe8+mUQ+ywLHBVXSU9vGVffY+iVYuqtOkcM3XAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:05:40.879051Z"},"content_sha256":"4f8e43e07bfaf70721b7fdd63cdd479ab1c76af80651e3d553c785765cc6960f","schema_version":"1.0","event_id":"sha256:4f8e43e07bfaf70721b7fdd63cdd479ab1c76af80651e3d553c785765cc6960f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ASUW327IVOV2H3JVAGLHAGZKXQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi","submitted_at":"2016-10-11T19:31:01Z","abstract_excerpt":"We propose a method to efficiently compute the forward stochastic reach (FSR) set and its probability measure for nonlinear systems with an affine disturbance input, that is stochastic and bounded. This method is applicable to systems with an a priori known controller, or to uncontrolled systems, and often arises in problems in obstacle avoidance in mobile robotics. When used as a constraint in finite horizon controller synthesis, the FSR set, and its probability measure facilitates probabilistic collision avoidance, in contrast to methods which presume the obstacles act in a worst-case fashio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.03472","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":""},"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-18T01:02:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aYKOZdmdV7MURp9JpIh2m7r0gfYVDhjhKgAqRdbkvpY8af3ngpeI5/txPoLamEB4e7Nk7ogmGr6cWeJ0eNvuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:05:40.879864Z"},"content_sha256":"504ed4067561c46153eb299207507726b3cca8ce8cd53d51ed9a077479028e20","schema_version":"1.0","event_id":"sha256:504ed4067561c46153eb299207507726b3cca8ce8cd53d51ed9a077479028e20"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/bundle.json","state_url":"https://pith.science/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/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-05-31T23:05:40Z","links":{"resolver":"https://pith.science/pith/ASUW327IVOV2H3JVAGLHAGZKXQ","bundle":"https://pith.science/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/bundle.json","state":"https://pith.science/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ASUW327IVOV2H3JVAGLHAGZKXQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ASUW327IVOV2H3JVAGLHAGZKXQ","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":"447d062df169a3911930fe140ffcd536d9b079fea27d616a3e349a71018be940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-11T19:31:01Z","title_canon_sha256":"3ec449b309b266d55243a51dd7891e11947a7deed8d1e459580d1915d7f3310a"},"schema_version":"1.0","source":{"id":"1610.03472","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.03472","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"arxiv_version","alias_value":"1610.03472v1","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.03472","created_at":"2026-05-18T01:02:31Z"},{"alias_kind":"pith_short_12","alias_value":"ASUW327IVOV2","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"ASUW327IVOV2H3JV","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"ASUW327I","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:504ed4067561c46153eb299207507726b3cca8ce8cd53d51ed9a077479028e20","target":"graph","created_at":"2026-05-18T01:02: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"},"paper":{"abstract_excerpt":"We propose a method to efficiently compute the forward stochastic reach (FSR) set and its probability measure for nonlinear systems with an affine disturbance input, that is stochastic and bounded. This method is applicable to systems with an a priori known controller, or to uncontrolled systems, and often arises in problems in obstacle avoidance in mobile robotics. When used as a constraint in finite horizon controller synthesis, the FSR set, and its probability measure facilitates probabilistic collision avoidance, in contrast to methods which presume the obstacles act in a worst-case fashio","authors_text":"Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-11T19:31:01Z","title":"Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.03472","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:4f8e43e07bfaf70721b7fdd63cdd479ab1c76af80651e3d553c785765cc6960f","target":"record","created_at":"2026-05-18T01:02: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":"447d062df169a3911930fe140ffcd536d9b079fea27d616a3e349a71018be940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-10-11T19:31:01Z","title_canon_sha256":"3ec449b309b266d55243a51dd7891e11947a7deed8d1e459580d1915d7f3310a"},"schema_version":"1.0","source":{"id":"1610.03472","kind":"arxiv","version":1}},"canonical_sha256":"04a96debe8ababa3ed350196701b2abc2b113ba38f3c4d1e04a30915dd6a3e8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04a96debe8ababa3ed350196701b2abc2b113ba38f3c4d1e04a30915dd6a3e8e","first_computed_at":"2026-05-18T01:02:31.363479Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:02:31.363479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5ntuXdAeJyvO5w1ufrRh7FOeRIWw6A3BdUoG82dLq1AqGRDU1NHci0GH2giIzofOgDYA+JgxUAwmFn1qCexICw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:02:31.363924Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.03472","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f8e43e07bfaf70721b7fdd63cdd479ab1c76af80651e3d553c785765cc6960f","sha256:504ed4067561c46153eb299207507726b3cca8ce8cd53d51ed9a077479028e20"],"state_sha256":"8063bb82bb1874b9ba60c268d10cf3c4722d561466029fc97c5384132aa56743"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5C1/RYwwJv3tsDdKbQ1ydl6PyK8DnxFlsnIeqW8eCuDRfhOlWq5HCfRx789YW9yHjI6MuhQqQjGkEFRKL1V4DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:05:40.885230Z","bundle_sha256":"0fb3435dd954b061d1f09fe40120f36082be680ced0055b9bdb6c2ddc3a7f440"}}