{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CIPJM6WLOTCPWMN7DGGFMBMIW4","short_pith_number":"pith:CIPJM6WL","schema_version":"1.0","canonical_sha256":"121e967acb74c4fb31bf198c560588b73d4873978bfe51c466a5a68b62c44837","source":{"kind":"arxiv","id":"2505.14935","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.14935","created_at":"2026-07-05T11:06:37.804652+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.14935v1","created_at":"2026-07-05T11:06:37.804652+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14935","created_at":"2026-07-05T11:06:37.804652+00:00"},{"alias_kind":"pith_short_12","alias_value":"CIPJM6WLOTCP","created_at":"2026-07-05T11:06:37.804652+00:00"},{"alias_kind":"pith_short_16","alias_value":"CIPJM6WLOTCPWMN7","created_at":"2026-07-05T11:06:37.804652+00:00"},{"alias_kind":"pith_short_8","alias_value":"CIPJM6WL","created_at":"2026-07-05T11:06:37.804652+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2512.02893","citing_title":"Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction","ref_index":28,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4","json":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4.json","graph_json":"https://pith.science/api/pith-number/CIPJM6WLOTCPWMN7DGGFMBMIW4/graph.json","events_json":"https://pith.science/api/pith-number/CIPJM6WLOTCPWMN7DGGFMBMIW4/events.json","paper":"https://pith.science/paper/CIPJM6WL"},"agent_actions":{"view_html":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4","download_json":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4.json","view_paper":"https://pith.science/paper/CIPJM6WL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.14935&json=true","fetch_graph":"https://pith.science/api/pith-number/CIPJM6WLOTCPWMN7DGGFMBMIW4/graph.json","fetch_events":"https://pith.science/api/pith-number/CIPJM6WLOTCPWMN7DGGFMBMIW4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/action/storage_attestation","attest_author":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/action/author_attestation","sign_citation":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/action/citation_signature","submit_replication":"https://pith.science/pith/CIPJM6WLOTCPWMN7DGGFMBMIW4/action/replication_record"}},"created_at":"2026-07-05T11:06:37.804652+00:00","updated_at":"2026-07-05T11:06:37.804652+00:00"}