{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CG4QXKEYLLRYQGI5ITVDDKRLO3","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":"2072ae1b3d5b803f08677b38d112e89e2e4dc88bdfb968ec6072f9996ae0ecd8","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-06T22:32:22Z","title_canon_sha256":"fe4582ff7eff4060924c24c80f85a935584d5cf266bddeda28a93699b064abea"},"schema_version":"1.0","source":{"id":"1703.02135","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.02135","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"arxiv_version","alias_value":"1703.02135v2","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.02135","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"pith_short_12","alias_value":"CG4QXKEYLLRY","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CG4QXKEYLLRYQGI5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CG4QXKEY","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:cb5e95cb09ed81837066101fe44346bbcdf52cc4270f5a886bc63fb1c67bbc84","target":"graph","created_at":"2026-05-18T00:44:19Z","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 present a scalable underapproximation of the terminal hitting time stochastic reach-avoid probability at a given initial condition, for verification of high-dimensional stochastic LTI systems. While several approximation techniques have been proposed to alleviate the curse of dimensionality associated with dynamic programming, these techniques are limited and cannot handle larger, more realistic systems. We present a scalable method that uses Fourier transforms to compute an underapproximation of the reach-avoid probability for systems with disturbances with arbitrary probability densities.","authors_text":"Abraham P. Vinod, Meeko M. K. Oishi","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-06T22:32:22Z","title":"Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.02135","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:f62b1bb36913f71403902f0ff4a8425f2b2ec5ba49e0f9d3df33643f9513ad69","target":"record","created_at":"2026-05-18T00:44:19Z","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":"2072ae1b3d5b803f08677b38d112e89e2e4dc88bdfb968ec6072f9996ae0ecd8","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-06T22:32:22Z","title_canon_sha256":"fe4582ff7eff4060924c24c80f85a935584d5cf266bddeda28a93699b064abea"},"schema_version":"1.0","source":{"id":"1703.02135","kind":"arxiv","version":2}},"canonical_sha256":"11b90ba8985ae388191d44ea31aa2b76d8aa43a040f5b347bcb54893d1a2d263","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11b90ba8985ae388191d44ea31aa2b76d8aa43a040f5b347bcb54893d1a2d263","first_computed_at":"2026-05-18T00:44:19.645291Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:19.645291Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GChTYtrD/8ddhf5vwEAJsCR6LJexna5IRMFhgVPBTXtEfTzoLvw38e10Dz1VZ5AnEbdfHCtT4zOHnV8tzbVgCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:19.645689Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.02135","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f62b1bb36913f71403902f0ff4a8425f2b2ec5ba49e0f9d3df33643f9513ad69","sha256:cb5e95cb09ed81837066101fe44346bbcdf52cc4270f5a886bc63fb1c67bbc84"],"state_sha256":"07d63360667a9a70e7a61b5534d7f0a1660051fe43204901d9dadd2c5e3bec10"}