{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:WPOAYZIXQDVLKKTR7PAY4JMIKR","short_pith_number":"pith:WPOAYZIX","canonical_record":{"source":{"id":"2001.10635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-01-28T23:25:37Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"c02e60fc6f46ca981d91629adf6d15419b7ef5107a02d067eed432af1647a769","abstract_canon_sha256":"c4e8a5e04e0dc679f9198443d2d1671f289b33ef1eea445295bf2e4cb1a15403"},"schema_version":"1.0"},"canonical_sha256":"b3dc0c651780eab52a71fbc18e2588547c224cd24d6279b3436f67ceb9bd8e2f","source":{"kind":"arxiv","id":"2001.10635","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.10635","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"arxiv_version","alias_value":"2001.10635v2","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.10635","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_12","alias_value":"WPOAYZIXQDVL","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_16","alias_value":"WPOAYZIXQDVLKKTR","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_8","alias_value":"WPOAYZIX","created_at":"2026-07-05T01:17:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:WPOAYZIXQDVLKKTR7PAY4JMIKR","target":"record","payload":{"canonical_record":{"source":{"id":"2001.10635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-01-28T23:25:37Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"c02e60fc6f46ca981d91629adf6d15419b7ef5107a02d067eed432af1647a769","abstract_canon_sha256":"c4e8a5e04e0dc679f9198443d2d1671f289b33ef1eea445295bf2e4cb1a15403"},"schema_version":"1.0"},"canonical_sha256":"b3dc0c651780eab52a71fbc18e2588547c224cd24d6279b3436f67ceb9bd8e2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:17:48.206743Z","signature_b64":"NObbe3RcmhJGY1pGmX7F6YDDNrN682zfHDpI+oX9HHoK13AmFVF+4PcH/0xU5aZ//IMPczshCCVkogJtEAqeBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3dc0c651780eab52a71fbc18e2588547c224cd24d6279b3436f67ceb9bd8e2f","last_reissued_at":"2026-07-05T01:17:48.206245Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:17:48.206245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2001.10635","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-05T01:17:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ImBjjpgtkwvxtckCKcP+tU1r4Qbz5BOPoF9p/PPOdug1Si6x+6uj/25tAqpHuSWxsWzH0uVNmj7Ij7CqQCPQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T22:17:34.731340Z"},"content_sha256":"faa7bcc095d4b86f43e53ac2745c1cc71f04733b779c4de798e510cc437ce78c","schema_version":"1.0","event_id":"sha256:faa7bcc095d4b86f43e53ac2745c1cc71f04733b779c4de798e510cc437ce78c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:WPOAYZIXQDVLKKTR7PAY4JMIKR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alex Devonport, Mahmoud Khaled, Majid Zamani, Murat Arcak","submitted_at":"2020-01-28T23:25:37Z","abstract_excerpt":"Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their implementations, are not designed to leverage parallelism. They use algorithms that are designed to run serially within one compute unit and they can not utilize widely-available high-performance computing (HPC) platforms such as many-core CPUs, GPUs and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.10635","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/2001.10635/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-05T01:17:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rl2qEn1t4GMywHBB83wUDO2+24c4WTS+K2WtYLfqTOBHEbUFYEmXSpwz38FIYSj13zvMKa82/iDF/jFGAi/MCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T22:17:34.732315Z"},"content_sha256":"df2d83e0f685e79b12a1f6e9fb407cd84181a52c47bda1fb5cca5a946a1daa09","schema_version":"1.0","event_id":"sha256:df2d83e0f685e79b12a1f6e9fb407cd84181a52c47bda1fb5cca5a946a1daa09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/bundle.json","state_url":"https://pith.science/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/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-10T22:17:34Z","links":{"resolver":"https://pith.science/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR","bundle":"https://pith.science/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/bundle.json","state":"https://pith.science/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPOAYZIXQDVLKKTR7PAY4JMIKR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:WPOAYZIXQDVLKKTR7PAY4JMIKR","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":"c4e8a5e04e0dc679f9198443d2d1671f289b33ef1eea445295bf2e4cb1a15403","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-01-28T23:25:37Z","title_canon_sha256":"c02e60fc6f46ca981d91629adf6d15419b7ef5107a02d067eed432af1647a769"},"schema_version":"1.0","source":{"id":"2001.10635","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.10635","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"arxiv_version","alias_value":"2001.10635v2","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.10635","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_12","alias_value":"WPOAYZIXQDVL","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_16","alias_value":"WPOAYZIXQDVLKKTR","created_at":"2026-07-05T01:17:48Z"},{"alias_kind":"pith_short_8","alias_value":"WPOAYZIX","created_at":"2026-07-05T01:17:48Z"}],"graph_snapshots":[{"event_id":"sha256:df2d83e0f685e79b12a1f6e9fb407cd84181a52c47bda1fb5cca5a946a1daa09","target":"graph","created_at":"2026-07-05T01:17:48Z","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/2001.10635/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their implementations, are not designed to leverage parallelism. They use algorithms that are designed to run serially within one compute unit and they can not utilize widely-available high-performance computing (HPC) platforms such as many-core CPUs, GPUs and","authors_text":"Alex Devonport, Mahmoud Khaled, Majid Zamani, Murat Arcak","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-01-28T23:25:37Z","title":"PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.10635","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:faa7bcc095d4b86f43e53ac2745c1cc71f04733b779c4de798e510cc437ce78c","target":"record","created_at":"2026-07-05T01:17:48Z","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":"c4e8a5e04e0dc679f9198443d2d1671f289b33ef1eea445295bf2e4cb1a15403","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-01-28T23:25:37Z","title_canon_sha256":"c02e60fc6f46ca981d91629adf6d15419b7ef5107a02d067eed432af1647a769"},"schema_version":"1.0","source":{"id":"2001.10635","kind":"arxiv","version":2}},"canonical_sha256":"b3dc0c651780eab52a71fbc18e2588547c224cd24d6279b3436f67ceb9bd8e2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3dc0c651780eab52a71fbc18e2588547c224cd24d6279b3436f67ceb9bd8e2f","first_computed_at":"2026-07-05T01:17:48.206245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:17:48.206245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NObbe3RcmhJGY1pGmX7F6YDDNrN682zfHDpI+oX9HHoK13AmFVF+4PcH/0xU5aZ//IMPczshCCVkogJtEAqeBw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:17:48.206743Z","signed_message":"canonical_sha256_bytes"},"source_id":"2001.10635","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:faa7bcc095d4b86f43e53ac2745c1cc71f04733b779c4de798e510cc437ce78c","sha256:df2d83e0f685e79b12a1f6e9fb407cd84181a52c47bda1fb5cca5a946a1daa09"],"state_sha256":"643c6f6be3a455c5f12a12b22f45e9d28001188d5dc61d642dcda64e203e9f45"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iv7TlgjGf4BZQH4Jj/v85Uqlz9vIYGKD/zvM02wky3BapyNPRWqPcMwr8MuKj8IwqTlevsatUhAfDBp4ZW60DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T22:17:34.737675Z","bundle_sha256":"09940b387a7c27b28221df30f5c0a64f674ad7e04af2bf11ce810c886a2692ed"}}