{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:2637WPNIFUGW5RC72P3GEZ2AXR","short_pith_number":"pith:2637WPNI","canonical_record":{"source":{"id":"1511.05273","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-17T05:16:07Z","cross_cats_sorted":[],"title_canon_sha256":"572169c0ad9e69aa82ee181a7e0d2499d011c57138bdcabdaab605e4b03ecfc9","abstract_canon_sha256":"52c3f4fcf393e2a4d74115a776154dc3630abcaabd8bed6343d52abc2832246d"},"schema_version":"1.0"},"canonical_sha256":"d7b7fb3da82d0d6ec45fd3f6626740bc74caeba3fa221c526e9691448b6ed0ad","source":{"kind":"arxiv","id":"1511.05273","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.05273","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"arxiv_version","alias_value":"1511.05273v2","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05273","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"pith_short_12","alias_value":"2637WPNIFUGW","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"2637WPNIFUGW5RC7","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"2637WPNI","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:2637WPNIFUGW5RC72P3GEZ2AXR","target":"record","payload":{"canonical_record":{"source":{"id":"1511.05273","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-17T05:16:07Z","cross_cats_sorted":[],"title_canon_sha256":"572169c0ad9e69aa82ee181a7e0d2499d011c57138bdcabdaab605e4b03ecfc9","abstract_canon_sha256":"52c3f4fcf393e2a4d74115a776154dc3630abcaabd8bed6343d52abc2832246d"},"schema_version":"1.0"},"canonical_sha256":"d7b7fb3da82d0d6ec45fd3f6626740bc74caeba3fa221c526e9691448b6ed0ad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:26:33.421390Z","signature_b64":"qsINcuCE8aqXbJ1CnqigXLT/ARFnHtJlXXs7XeWEVkW+wHsBHEDiRh/Rnow186MmxIF8Fr6nezWZHBKgM0TCDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7b7fb3da82d0d6ec45fd3f6626740bc74caeba3fa221c526e9691448b6ed0ad","last_reissued_at":"2026-05-18T01:26:33.420680Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:26:33.420680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.05273","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-05-18T01:26:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BrF2Uff3E3JGII7ksYNoQIDSnvpparv6A2Oso2GgnDIwGeal7oQGdq0TISXgrmjU5M+KlKJD1GPx3gzFZb4MBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:59:46.360086Z"},"content_sha256":"9e5c725013990f57fc0463946b3813daf32aa996460383dc8e144ac8a8bb84c7","schema_version":"1.0","event_id":"sha256:9e5c725013990f57fc0463946b3813daf32aa996460383dc8e144ac8a8bb84c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:2637WPNIFUGW5RC72P3GEZ2AXR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards composition of conformant systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Georgios Fainekos, Houssam Abbas","submitted_at":"2015-11-17T05:16:07Z","abstract_excerpt":"Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity between the output trajectories of systems, which considers both temporal and spatial aspects of the outputs. Previous work developed algorithms for computing the conformance degree between two systems, and demonstrated how formal verification results for one system can be re-used for a system that is conformant to it. In this paper, we study the relation between conformance and a generalized approximate simulation rela"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.05273","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":""},"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-05-18T01:26:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P5NRj8kd31oh1s+i5cK3HOHMwZM2OjGpKtpQfrVENKMNFd5Nuxh+fzhFEVxO0ion1Zmv8mqqvDHGPGyI7nIeDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:59:46.360742Z"},"content_sha256":"ea5823eb48e8c90f75b3348a82c7bfb6c996cfdb56622f90bb7742e4eb7ef648","schema_version":"1.0","event_id":"sha256:ea5823eb48e8c90f75b3348a82c7bfb6c996cfdb56622f90bb7742e4eb7ef648"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2637WPNIFUGW5RC72P3GEZ2AXR/bundle.json","state_url":"https://pith.science/pith/2637WPNIFUGW5RC72P3GEZ2AXR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2637WPNIFUGW5RC72P3GEZ2AXR/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-05-22T22:59:46Z","links":{"resolver":"https://pith.science/pith/2637WPNIFUGW5RC72P3GEZ2AXR","bundle":"https://pith.science/pith/2637WPNIFUGW5RC72P3GEZ2AXR/bundle.json","state":"https://pith.science/pith/2637WPNIFUGW5RC72P3GEZ2AXR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2637WPNIFUGW5RC72P3GEZ2AXR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2637WPNIFUGW5RC72P3GEZ2AXR","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":"52c3f4fcf393e2a4d74115a776154dc3630abcaabd8bed6343d52abc2832246d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-17T05:16:07Z","title_canon_sha256":"572169c0ad9e69aa82ee181a7e0d2499d011c57138bdcabdaab605e4b03ecfc9"},"schema_version":"1.0","source":{"id":"1511.05273","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.05273","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"arxiv_version","alias_value":"1511.05273v2","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05273","created_at":"2026-05-18T01:26:33Z"},{"alias_kind":"pith_short_12","alias_value":"2637WPNIFUGW","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"2637WPNIFUGW5RC7","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"2637WPNI","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:ea5823eb48e8c90f75b3348a82c7bfb6c996cfdb56622f90bb7742e4eb7ef648","target":"graph","created_at":"2026-05-18T01:26:33Z","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":"Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity between the output trajectories of systems, which considers both temporal and spatial aspects of the outputs. Previous work developed algorithms for computing the conformance degree between two systems, and demonstrated how formal verification results for one system can be re-used for a system that is conformant to it. In this paper, we study the relation between conformance and a generalized approximate simulation rela","authors_text":"Georgios Fainekos, Houssam Abbas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-17T05:16:07Z","title":"Towards composition of conformant systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.05273","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:9e5c725013990f57fc0463946b3813daf32aa996460383dc8e144ac8a8bb84c7","target":"record","created_at":"2026-05-18T01:26:33Z","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":"52c3f4fcf393e2a4d74115a776154dc3630abcaabd8bed6343d52abc2832246d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-17T05:16:07Z","title_canon_sha256":"572169c0ad9e69aa82ee181a7e0d2499d011c57138bdcabdaab605e4b03ecfc9"},"schema_version":"1.0","source":{"id":"1511.05273","kind":"arxiv","version":2}},"canonical_sha256":"d7b7fb3da82d0d6ec45fd3f6626740bc74caeba3fa221c526e9691448b6ed0ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7b7fb3da82d0d6ec45fd3f6626740bc74caeba3fa221c526e9691448b6ed0ad","first_computed_at":"2026-05-18T01:26:33.420680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:26:33.420680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qsINcuCE8aqXbJ1CnqigXLT/ARFnHtJlXXs7XeWEVkW+wHsBHEDiRh/Rnow186MmxIF8Fr6nezWZHBKgM0TCDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:26:33.421390Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.05273","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e5c725013990f57fc0463946b3813daf32aa996460383dc8e144ac8a8bb84c7","sha256:ea5823eb48e8c90f75b3348a82c7bfb6c996cfdb56622f90bb7742e4eb7ef648"],"state_sha256":"50c89e76e2bb091b4d68d0bede4e9cfcec3cc406de4983fc6d07a7463e51ced8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+kJ1hMZJF9hHxh6fcFhGvPOGaURP8/8rAV6QdfhfcgtuuVs0FVcKan1dOw7f7SR9Gw5Y+PhPr3HUwnMaEaoFCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T22:59:46.364148Z","bundle_sha256":"f66e58984b63daa479710d854e66cf95bb88ded8244f27ee2c9bd049f1915305"}}