{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HNPHOKYXFOHD3FQQ6XGHLHCBXV","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":"0276b5273ce6e73ca54ba050008dd1829fd7e1d1599f0d01715c99321c403c8c","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-10T04:58:28Z","title_canon_sha256":"aff7d6b1d1bd28e5b19308703bbd96ba74b1b94e62246dfa068eb54e1832e4f3"},"schema_version":"1.0","source":{"id":"1602.03266","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03266","created_at":"2026-05-18T01:20:51Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03266v2","created_at":"2026-05-18T01:20:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03266","created_at":"2026-05-18T01:20:51Z"},{"alias_kind":"pith_short_12","alias_value":"HNPHOKYXFOHD","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HNPHOKYXFOHD3FQQ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HNPHOKYX","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:636837b53afdbd57057c2249e844122079406ee9a11a26defb7abb7b1ef696d9","target":"graph","created_at":"2026-05-18T01:20:51Z","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 investigate quantifying the difference between two hybrid dynamical systems under noise and initial-state uncertainty. While the set of traces for these systems is infinite, it is possible to symbolically approximate trace sets using \\emph{reachpipes} that compute upper and lower bounds on the evolution of the reachable sets with time. We estimate distances between corresponding sets of trajectories of two systems in terms of distances between the reachpipes.\n  In case of two individual traces, the Skorokhod distance has been proposed as a robust and efficient notion of distance which captu","authors_text":"Rupak Majumdar, Vinayak S. Prabhu","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-10T04:58:28Z","title":"Computing Distances between Reach Flowpipes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03266","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:f6b049131b5ba874d9dafdb9702a0fb749596801d9ae21f0deb494570fa95502","target":"record","created_at":"2026-05-18T01:20:51Z","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":"0276b5273ce6e73ca54ba050008dd1829fd7e1d1599f0d01715c99321c403c8c","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-02-10T04:58:28Z","title_canon_sha256":"aff7d6b1d1bd28e5b19308703bbd96ba74b1b94e62246dfa068eb54e1832e4f3"},"schema_version":"1.0","source":{"id":"1602.03266","kind":"arxiv","version":2}},"canonical_sha256":"3b5e772b172b8e3d9610f5cc759c41bd6f835c2a894cf1873ec8775a0850462d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b5e772b172b8e3d9610f5cc759c41bd6f835c2a894cf1873ec8775a0850462d","first_computed_at":"2026-05-18T01:20:51.605580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:51.605580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xkz2WD9y3t+aj6Ju7ZLUc0vLdL2f/F99Vi5cQYDIspNnQYnu3QGa+BHrx0AjUEfIjWqevTqgjobrGTZGFqRXDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:51.606158Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03266","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6b049131b5ba874d9dafdb9702a0fb749596801d9ae21f0deb494570fa95502","sha256:636837b53afdbd57057c2249e844122079406ee9a11a26defb7abb7b1ef696d9"],"state_sha256":"619cb0a9c4591a0f8b92752ab2c65300ff36330ad6e83bea2d4f6e7759f215a1"}