{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CIPJM6WLOTCPWMN7DGGFMBMIW4","short_pith_number":"pith:CIPJM6WL","canonical_record":{"source":{"id":"2505.14935","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-20T21:42:23Z","cross_cats_sorted":[],"title_canon_sha256":"05111fb874635ac4fce18c611afa3612a4312e4b68d82b11786ac400723cd2ed","abstract_canon_sha256":"a82cda625225b15c81321961f3c8be217e0cc11fa2f0533dec54983ca211de6a"},"schema_version":"1.0"},"canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","source":{"kind":"arxiv","id":"2505.14935","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14935","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14935v1","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14935","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"CIPJM6WLOTCP","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"CIPJM6WLOTCPWMN7","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"CIPJM6WL","created_at":"2026-07-05T11:06:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CIPJM6WLOTCPWMN7DGGFMBMIW4","target":"record","payload":{"canonical_record":{"source":{"id":"2505.14935","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-20T21:42:23Z","cross_cats_sorted":[],"title_canon_sha256":"05111fb874635ac4fce18c611afa3612a4312e4b68d82b11786ac400723cd2ed","abstract_canon_sha256":"a82cda625225b15c81321961f3c8be217e0cc11fa2f0533dec54983ca211de6a"},"schema_version":"1.0"},"canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:37.805030Z","signature_b64":"pNAQ5gYaGEZPPtUDGSQj8fdEM3qiDWSRZmqI1kaZL3crwGbYd07q1wNQfcujwkDKhBTS2gU3PAOK36jETSWCBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","last_reissued_at":"2026-07-05T11:06:37.804597Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:37.804597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.14935","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-07-05T11:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SnBI59dvkdBRCi0K2LIyulUQqXK5FIY2fud+UURF17AUDHu6vGMOkFnpTuPsXczDE439t3TQxZbzUmj7hwTdAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T03:32:06.122005Z"},"content_sha256":"3d0d4f2dd626ae05527d3c8fb8ca13573f450b21093429a8440d47d0e1ff6393","schema_version":"1.0","event_id":"sha256:3d0d4f2dd626ae05527d3c8fb8ca13573f450b21093429a8440d47d0e1ff6393"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CIPJM6WLOTCPWMN7DGGFMBMIW4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Jyotirmoy Deshmukh, Lars Lindemann, Navid Hashemi","submitted_at":"2025-05-20T21:42:23Z","abstract_excerpt":"This study presents a scalable data-driven algorithm designed to efficiently address the challenging problem of reachability analysis. Analysis of cyber-physical systems (CPS) relies typically on parametric physical models of dynamical systems. However, identifying parametric physical models for complex CPS is challenging due to their complexity, uncertainty, and variability, often rendering them as black-box oracles. As an alternative, one can treat these complex systems as black-box models and use trajectory data sampled from the system (e.g., from high-fidelity simulators or the real system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14935","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.14935/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-05T11:06:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vtb/XBee2ynUJq/orKw/JxPeAHJ7hRLIOdFU+ImgubafydlDGHqgGck84+LhIdi9LHDkXBAIviuzV0GGVwnqCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T03:32:06.122381Z"},"content_sha256":"d5584ae4244ffb087d419c30fe48fe2a97184ecf600ed1cb0da9526c127e2344","schema_version":"1.0","event_id":"sha256:d5584ae4244ffb087d419c30fe48fe2a97184ecf600ed1cb0da9526c127e2344"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/bundle.json","state_url":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/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-10T03:32:06Z","links":{"resolver":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4","bundle":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/bundle.json","state":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CIPJM6WLOTCPWMN7DGGFMBMIW4","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":"a82cda625225b15c81321961f3c8be217e0cc11fa2f0533dec54983ca211de6a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-20T21:42:23Z","title_canon_sha256":"05111fb874635ac4fce18c611afa3612a4312e4b68d82b11786ac400723cd2ed"},"schema_version":"1.0","source":{"id":"2505.14935","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14935","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14935v1","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14935","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_12","alias_value":"CIPJM6WLOTCP","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_16","alias_value":"CIPJM6WLOTCPWMN7","created_at":"2026-07-05T11:06:37Z"},{"alias_kind":"pith_short_8","alias_value":"CIPJM6WL","created_at":"2026-07-05T11:06:37Z"}],"graph_snapshots":[{"event_id":"sha256:d5584ae4244ffb087d419c30fe48fe2a97184ecf600ed1cb0da9526c127e2344","target":"graph","created_at":"2026-07-05T11:06:37Z","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/2505.14935/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This study presents a scalable data-driven algorithm designed to efficiently address the challenging problem of reachability analysis. Analysis of cyber-physical systems (CPS) relies typically on parametric physical models of dynamical systems. However, identifying parametric physical models for complex CPS is challenging due to their complexity, uncertainty, and variability, often rendering them as black-box oracles. As an alternative, one can treat these complex systems as black-box models and use trajectory data sampled from the system (e.g., from high-fidelity simulators or the real system","authors_text":"Jyotirmoy Deshmukh, Lars Lindemann, Navid Hashemi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-20T21:42:23Z","title":"PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14935","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:3d0d4f2dd626ae05527d3c8fb8ca13573f450b21093429a8440d47d0e1ff6393","target":"record","created_at":"2026-07-05T11:06:37Z","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":"a82cda625225b15c81321961f3c8be217e0cc11fa2f0533dec54983ca211de6a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-20T21:42:23Z","title_canon_sha256":"05111fb874635ac4fce18c611afa3612a4312e4b68d82b11786ac400723cd2ed"},"schema_version":"1.0","source":{"id":"2505.14935","kind":"arxiv","version":1}},"canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","first_computed_at":"2026-07-05T11:06:37.804597Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:37.804597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pNAQ5gYaGEZPPtUDGSQj8fdEM3qiDWSRZmqI1kaZL3crwGbYd07q1wNQfcujwkDKhBTS2gU3PAOK36jETSWCBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:37.805030Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.14935","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d0d4f2dd626ae05527d3c8fb8ca13573f450b21093429a8440d47d0e1ff6393","sha256:d5584ae4244ffb087d419c30fe48fe2a97184ecf600ed1cb0da9526c127e2344"],"state_sha256":"fadfaa5d33618f5c9837b9b4f8909f7c15c5499a9bf51d6057a4cfc9b4c09819"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ArVu2jF4EBNnxrrUlyINaQGBILDSdDnAXNmVfUnh/1VbvHhJku8utCd6yf/GuRYmCXNEAjRUXEdiWXAC7jI/Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T03:32:06.124444Z","bundle_sha256":"bab5ce47e127311a5fecfb76c6b5e490d5b8b88c8c7d1a7b1fc2c027be4e0511"}}