{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FSVGJJLOASB3BICDOEAF3I6WKH","short_pith_number":"pith:FSVGJJLO","canonical_record":{"source":{"id":"1506.03371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-06-10T15:59:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"dc358eca13b3eda9c1ff726e4d3f46882cf974707be86c0ae79745d1ccab8e1f","abstract_canon_sha256":"5125f32a2abebc23a7143fc04c68136041fc182d7daf4a93b60d55758e869cf4"},"schema_version":"1.0"},"canonical_sha256":"2caa64a56e0483b0a04371005da3d651ce8b3543a660d378663ff7be0edcc8ff","source":{"kind":"arxiv","id":"1506.03371","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03371","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03371v1","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03371","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"pith_short_12","alias_value":"FSVGJJLOASB3","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FSVGJJLOASB3BICD","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FSVGJJLO","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FSVGJJLOASB3BICDOEAF3I6WKH","target":"record","payload":{"canonical_record":{"source":{"id":"1506.03371","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-06-10T15:59:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"dc358eca13b3eda9c1ff726e4d3f46882cf974707be86c0ae79745d1ccab8e1f","abstract_canon_sha256":"5125f32a2abebc23a7143fc04c68136041fc182d7daf4a93b60d55758e869cf4"},"schema_version":"1.0"},"canonical_sha256":"2caa64a56e0483b0a04371005da3d651ce8b3543a660d378663ff7be0edcc8ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:24.891294Z","signature_b64":"QZYVSiRluar/3QaWhFN5YYg1jdpX5E1k2z/H4xXlh3oKIAt4RaTdnGTksjhSC8que1im9AGN67/2uD69ZrMQAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2caa64a56e0483b0a04371005da3d651ce8b3543a660d378663ff7be0edcc8ff","last_reissued_at":"2026-05-18T01:55:24.890680Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:24.890680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.03371","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:55:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lV2/EHnE+WRK3hlIhws6xyPxr/GOe2Q5dyb0bBgtp+gbP0vBoCOmA9O/xuuFmf9yRPu/PvqAabvf2LuT2RGOBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T13:14:03.866030Z"},"content_sha256":"a03bf1e075283054cae927d8b12d966b53959569f5ea28f5001ace0c53c3f8f6","schema_version":"1.0","event_id":"sha256:a03bf1e075283054cae927d8b12d966b53959569f5ea28f5001ace0c53c3f8f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FSVGJJLOASB3BICDOEAF3I6WKH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Upper bounds for the reach-avoid probability via robust optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"John Lygeros, Maryam Kamgarpour, Nikolaos Kariotoglou, Tyler H. Summers","submitted_at":"2015-06-10T15:59:23Z","abstract_excerpt":"We consider finite horizon reach-avoid problems for discrete time stochastic systems. Our goal is to construct upper bound functions for the reach-avoid probability by means of tractable convex optimization problems. We achieve this by restricting attention to the span of Gaussian radial basis functions and imposing structural assumptions on the transition kernel of the stochastic processes as well as the target and safe sets of the reach-avoid problem. In particular, we require the kernel to be written as a Gaussian mixture density with each mean of the distribution being affine in the curren"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03371","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:55:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FBjCKTY/6fHroCynKNzl+U5ajb8x0rXM3KfTM0yOgqfplydyFLA/QeTOq91wqmz9Rkq3o69jmBt9Y9wWJMN4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T13:14:03.866748Z"},"content_sha256":"cdb060c5be40a1794989857d1b91fce1aad6d7f7c1b034cf2e6f0d813b94cfaa","schema_version":"1.0","event_id":"sha256:cdb060c5be40a1794989857d1b91fce1aad6d7f7c1b034cf2e6f0d813b94cfaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FSVGJJLOASB3BICDOEAF3I6WKH/bundle.json","state_url":"https://pith.science/pith/FSVGJJLOASB3BICDOEAF3I6WKH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FSVGJJLOASB3BICDOEAF3I6WKH/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-21T13:14:03Z","links":{"resolver":"https://pith.science/pith/FSVGJJLOASB3BICDOEAF3I6WKH","bundle":"https://pith.science/pith/FSVGJJLOASB3BICDOEAF3I6WKH/bundle.json","state":"https://pith.science/pith/FSVGJJLOASB3BICDOEAF3I6WKH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FSVGJJLOASB3BICDOEAF3I6WKH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FSVGJJLOASB3BICDOEAF3I6WKH","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":"5125f32a2abebc23a7143fc04c68136041fc182d7daf4a93b60d55758e869cf4","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-06-10T15:59:23Z","title_canon_sha256":"dc358eca13b3eda9c1ff726e4d3f46882cf974707be86c0ae79745d1ccab8e1f"},"schema_version":"1.0","source":{"id":"1506.03371","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03371","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03371v1","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03371","created_at":"2026-05-18T01:55:24Z"},{"alias_kind":"pith_short_12","alias_value":"FSVGJJLOASB3","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FSVGJJLOASB3BICD","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FSVGJJLO","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:cdb060c5be40a1794989857d1b91fce1aad6d7f7c1b034cf2e6f0d813b94cfaa","target":"graph","created_at":"2026-05-18T01:55:24Z","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 consider finite horizon reach-avoid problems for discrete time stochastic systems. Our goal is to construct upper bound functions for the reach-avoid probability by means of tractable convex optimization problems. We achieve this by restricting attention to the span of Gaussian radial basis functions and imposing structural assumptions on the transition kernel of the stochastic processes as well as the target and safe sets of the reach-avoid problem. In particular, we require the kernel to be written as a Gaussian mixture density with each mean of the distribution being affine in the curren","authors_text":"John Lygeros, Maryam Kamgarpour, Nikolaos Kariotoglou, Tyler H. Summers","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-06-10T15:59:23Z","title":"Upper bounds for the reach-avoid probability via robust optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03371","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:a03bf1e075283054cae927d8b12d966b53959569f5ea28f5001ace0c53c3f8f6","target":"record","created_at":"2026-05-18T01:55:24Z","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":"5125f32a2abebc23a7143fc04c68136041fc182d7daf4a93b60d55758e869cf4","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-06-10T15:59:23Z","title_canon_sha256":"dc358eca13b3eda9c1ff726e4d3f46882cf974707be86c0ae79745d1ccab8e1f"},"schema_version":"1.0","source":{"id":"1506.03371","kind":"arxiv","version":1}},"canonical_sha256":"2caa64a56e0483b0a04371005da3d651ce8b3543a660d378663ff7be0edcc8ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2caa64a56e0483b0a04371005da3d651ce8b3543a660d378663ff7be0edcc8ff","first_computed_at":"2026-05-18T01:55:24.890680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:24.890680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QZYVSiRluar/3QaWhFN5YYg1jdpX5E1k2z/H4xXlh3oKIAt4RaTdnGTksjhSC8que1im9AGN67/2uD69ZrMQAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:24.891294Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.03371","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a03bf1e075283054cae927d8b12d966b53959569f5ea28f5001ace0c53c3f8f6","sha256:cdb060c5be40a1794989857d1b91fce1aad6d7f7c1b034cf2e6f0d813b94cfaa"],"state_sha256":"a438c7fc64fd7fd08edd2783d8346b0a5daaf22bfad3f2b4f06174611841b827"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z+7jYJq+MKyvCa6+wZ/G/Dav6xuDZ4vnLRYgoOzjoxPkg+iuUgknl3UY9h+dcXBIC8mYOm1eXUD1dp1YEDbJCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T13:14:03.870375Z","bundle_sha256":"663715dfe32cab4000752dbfb8b89bd43ae47448270951c7f9605b8d7db38311"}}