{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6VYEGJLZC6SZNZONNKWKFOK4WX","short_pith_number":"pith:6VYEGJLZ","canonical_record":{"source":{"id":"2407.03984","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T14:59:49Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"124776de89a1d20dde40b447a719c02f316d05a22b131b8ab2eac13f15b51f6f","abstract_canon_sha256":"c4e9b5ba0f2eba178318a4cee58497c952ba94858bab1e709fb3af43ef4cdebc"},"schema_version":"1.0"},"canonical_sha256":"f57043257917a596e5cd6aaca2b95cb5fbd9002ff473be15adcc0c06f6193ff8","source":{"kind":"arxiv","id":"2407.03984","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03984","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03984v2","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03984","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_12","alias_value":"6VYEGJLZC6SZ","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_16","alias_value":"6VYEGJLZC6SZNZON","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_8","alias_value":"6VYEGJLZ","created_at":"2026-07-05T09:44:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6VYEGJLZC6SZNZONNKWKFOK4WX","target":"record","payload":{"canonical_record":{"source":{"id":"2407.03984","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T14:59:49Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"124776de89a1d20dde40b447a719c02f316d05a22b131b8ab2eac13f15b51f6f","abstract_canon_sha256":"c4e9b5ba0f2eba178318a4cee58497c952ba94858bab1e709fb3af43ef4cdebc"},"schema_version":"1.0"},"canonical_sha256":"f57043257917a596e5cd6aaca2b95cb5fbd9002ff473be15adcc0c06f6193ff8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:44:12.869572Z","signature_b64":"6JUmaksY8QMwUYY9L3/dMKMQHmJACrTEyIWracaLoIk4+j9ODWdzEvVJN2V/3EedARP3ZD54q3ny+Qu74It8DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f57043257917a596e5cd6aaca2b95cb5fbd9002ff473be15adcc0c06f6193ff8","last_reissued_at":"2026-07-05T09:44:12.868979Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:44:12.868979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.03984","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:44:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c58LpJnfOSWS9a1l92GEQlZhifs6Yx57k5W9UWckE3lUFF3c6kD8CvQ6onY951gt/tSstizUsrhwhilddMYABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T07:22:30.811059Z"},"content_sha256":"21e24b504788339dc4cea6ac8906f4af0d152101d4649bb644dafecd92d71532","schema_version":"1.0","event_id":"sha256:21e24b504788339dc4cea6ac8906f4af0d152101d4649bb644dafecd92d71532"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6VYEGJLZC6SZNZONNKWKFOK4WX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Meeko M.K. Oishi, Murat Arcak, Rosalyn A. Devonport, Vignesh Sivaramakrishnan","submitted_at":"2024-07-04T14:59:49Z","abstract_excerpt":"We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the theory of mixed-monotone systems to incorporate stochastic orders, and a concentration inequality result that lower-bounds the probability the state resides within an interval through a monotone mapping. Then, we present an algorithm to compute the overapproximations of forward reachable set and the probability the state resides within it. We present our approach on two aerospace examples to show its efficacy."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03984","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.03984/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:44:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n00qsu8RUh7icFPx0oNvg+KlBFIxjgLeSLU7ycpyyAQWBb7NPp92t1Np3/5JDgN42smZJ3fpdK1+B9Jmvk61Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T07:22:30.811569Z"},"content_sha256":"013b92820bc28ac14bb2445371654e6f01ad64115a45b08df4a4aed0344b364f","schema_version":"1.0","event_id":"sha256:013b92820bc28ac14bb2445371654e6f01ad64115a45b08df4a4aed0344b364f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/bundle.json","state_url":"https://pith.science/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/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-20T07:22:30Z","links":{"resolver":"https://pith.science/pith/6VYEGJLZC6SZNZONNKWKFOK4WX","bundle":"https://pith.science/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/bundle.json","state":"https://pith.science/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6VYEGJLZC6SZNZONNKWKFOK4WX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6VYEGJLZC6SZNZONNKWKFOK4WX","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":"c4e9b5ba0f2eba178318a4cee58497c952ba94858bab1e709fb3af43ef4cdebc","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T14:59:49Z","title_canon_sha256":"124776de89a1d20dde40b447a719c02f316d05a22b131b8ab2eac13f15b51f6f"},"schema_version":"1.0","source":{"id":"2407.03984","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03984","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03984v2","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03984","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_12","alias_value":"6VYEGJLZC6SZ","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_16","alias_value":"6VYEGJLZC6SZNZON","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_8","alias_value":"6VYEGJLZ","created_at":"2026-07-05T09:44:12Z"}],"graph_snapshots":[{"event_id":"sha256:013b92820bc28ac14bb2445371654e6f01ad64115a45b08df4a4aed0344b364f","target":"graph","created_at":"2026-07-05T09:44:12Z","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.03984/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the theory of mixed-monotone systems to incorporate stochastic orders, and a concentration inequality result that lower-bounds the probability the state resides within an interval through a monotone mapping. Then, we present an algorithm to compute the overapproximations of forward reachable set and the probability the state resides within it. We present our approach on two aerospace examples to show its efficacy.","authors_text":"Meeko M.K. Oishi, Murat Arcak, Rosalyn A. Devonport, Vignesh Sivaramakrishnan","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T14:59:49Z","title":"Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03984","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:21e24b504788339dc4cea6ac8906f4af0d152101d4649bb644dafecd92d71532","target":"record","created_at":"2026-07-05T09:44:12Z","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":"c4e9b5ba0f2eba178318a4cee58497c952ba94858bab1e709fb3af43ef4cdebc","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-07-04T14:59:49Z","title_canon_sha256":"124776de89a1d20dde40b447a719c02f316d05a22b131b8ab2eac13f15b51f6f"},"schema_version":"1.0","source":{"id":"2407.03984","kind":"arxiv","version":2}},"canonical_sha256":"f57043257917a596e5cd6aaca2b95cb5fbd9002ff473be15adcc0c06f6193ff8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f57043257917a596e5cd6aaca2b95cb5fbd9002ff473be15adcc0c06f6193ff8","first_computed_at":"2026-07-05T09:44:12.868979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:12.868979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6JUmaksY8QMwUYY9L3/dMKMQHmJACrTEyIWracaLoIk4+j9ODWdzEvVJN2V/3EedARP3ZD54q3ny+Qu74It8DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:12.869572Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.03984","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21e24b504788339dc4cea6ac8906f4af0d152101d4649bb644dafecd92d71532","sha256:013b92820bc28ac14bb2445371654e6f01ad64115a45b08df4a4aed0344b364f"],"state_sha256":"7e89deb7b080010e098e4d2a7dda420220e874338508aece78c3ee5085b8372b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zr84ZfUzBUZcaktdEfJ6I562wwO912OLx5OFZKfrg5XJTwGEhA/EizRVv+7KFDIdUVqQJU0b7rhn7UvO3wfCAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T07:22:30.815461Z","bundle_sha256":"d0235d79c8446de9be4b5716f9f92598b80edb80a42aa2a8b07ab782398ce235"}}