{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:2L6R5OIRNAGLKQTL45KVYSDK32","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":"b0b3cb913ca060a45a200eac29fa8fa2d990515a7e578d4b4da1244ed8d7a144","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-18T14:49:29Z","title_canon_sha256":"d48dfb761b0c75f6a9e21469b439f606c8b2b0ec36876dea8541e4d01b4e0e41"},"schema_version":"1.0","source":{"id":"1304.5153","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.5153","created_at":"2026-05-18T03:19:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.5153v2","created_at":"2026-05-18T03:19:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.5153","created_at":"2026-05-18T03:19:43Z"},{"alias_kind":"pith_short_12","alias_value":"2L6R5OIRNAGL","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"2L6R5OIRNAGLKQTL","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"2L6R5OIR","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:fdcef239ae434bf1425cc8fdfe7a74ec220b043af615144f84258709aa07948f","target":"graph","created_at":"2026-05-18T03:19:43Z","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":"The standard engineering approach to modelling of complex systems is highly compositional. In order to be able to understand (or to control) the behavior of a complex dynamical systems, it is often desirable, if not necessary, to view this system as an interconnection of smaller interacting subsystems, each of these subsystems having its own functionalities. In this paper, we propose a compositional approach to the computation of bisimulation functions for dynamical systems. Bisimulation functions are quantitative generalizations of the classical bisimulation relations. They have been shown us","authors_text":"Antoine Girard","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-18T14:49:29Z","title":"A composition theorem for bisimulation functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.5153","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:d9c83e4264ee1835c3cf904fedacfdb8704f1423b22ab4c4141a29fad4d4bb52","target":"record","created_at":"2026-05-18T03:19:43Z","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":"b0b3cb913ca060a45a200eac29fa8fa2d990515a7e578d4b4da1244ed8d7a144","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-18T14:49:29Z","title_canon_sha256":"d48dfb761b0c75f6a9e21469b439f606c8b2b0ec36876dea8541e4d01b4e0e41"},"schema_version":"1.0","source":{"id":"1304.5153","kind":"arxiv","version":2}},"canonical_sha256":"d2fd1eb911680cb5426be7555c486ade8dff1cdbc3d006e972ce871528882260","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2fd1eb911680cb5426be7555c486ade8dff1cdbc3d006e972ce871528882260","first_computed_at":"2026-05-18T03:19:43.757746Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:43.757746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zyt7S1ozB20/ccFbcw21AWvYbXBAifpAKGsphpjw1UMsYIUGYGbI9ptj0eCmIyN7TNslhiE6WQP+EmXw8E1vBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:43.758517Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.5153","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9c83e4264ee1835c3cf904fedacfdb8704f1423b22ab4c4141a29fad4d4bb52","sha256:fdcef239ae434bf1425cc8fdfe7a74ec220b043af615144f84258709aa07948f"],"state_sha256":"ec41d439cb27571074b8e5882639a014120cd72ec00fb81c34504fd31d35d860"}