{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:GCADBVO7PBAY2NRVKSTHWO7GNJ","short_pith_number":"pith:GCADBVO7","canonical_record":{"source":{"id":"1110.0248","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2011-10-03T00:32:22Z","cross_cats_sorted":[],"title_canon_sha256":"07b433fccf998a12e69d285bb4e37f08c0a13dc5ab1a34e83351707f33926d7a","abstract_canon_sha256":"f2af6790cca87512c44551051c35b6d7a1e3df6870f611d668b7e12979e340cd"},"schema_version":"1.0"},"canonical_sha256":"308030d5df78418d363554a67b3be66a52acf7a9b29ffe7de6137302326462f5","source":{"kind":"arxiv","id":"1110.0248","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0248","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0248v1","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0248","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"pith_short_12","alias_value":"GCADBVO7PBAY","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"GCADBVO7PBAY2NRV","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"GCADBVO7","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:GCADBVO7PBAY2NRVKSTHWO7GNJ","target":"record","payload":{"canonical_record":{"source":{"id":"1110.0248","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2011-10-03T00:32:22Z","cross_cats_sorted":[],"title_canon_sha256":"07b433fccf998a12e69d285bb4e37f08c0a13dc5ab1a34e83351707f33926d7a","abstract_canon_sha256":"f2af6790cca87512c44551051c35b6d7a1e3df6870f611d668b7e12979e340cd"},"schema_version":"1.0"},"canonical_sha256":"308030d5df78418d363554a67b3be66a52acf7a9b29ffe7de6137302326462f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:35.565886Z","signature_b64":"phrYz8dgMonpZksx1PHe75Un3KliR10kiQ8/mSXoWPHFgsQiE9XbZg8aur0qYWFq0fRxsUyfk+KoWFaebpFUAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"308030d5df78418d363554a67b3be66a52acf7a9b29ffe7de6137302326462f5","last_reissued_at":"2026-05-18T02:21:35.565130Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:35.565130Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.0248","source_version":1,"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-18T02:21:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ba5c7K2mg+pqYEov7zo7RyRtMhMccB/nG8E4SVm0OFzsMpjNvzh15goKxKZmSf8B0oNeQP0MLX/VVCgNRVrfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:34:59.267851Z"},"content_sha256":"51fc305000d4605c7fbfb012c851d0aa946135964cb183606fd6e7a8885fb8ba","schema_version":"1.0","event_id":"sha256:51fc305000d4605c7fbfb012c851d0aa946135964cb183606fd6e7a8885fb8ba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:GCADBVO7PBAY2NRVKSTHWO7GNJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Behavioral Distance for Fuzzy-Transition Systems","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Guoqing Chen, Huaiqing Wang, Sherry X. Sun, Yongzhi Cao","submitted_at":"2011-10-03T00:32:22Z","abstract_excerpt":"In contrast to the existing approaches to bisimulation for fuzzy systems, we introduce a behavioral distance to measure the behavioral similarity of states in a nondeterministic fuzzy-transition system. This behavioral distance is defined as the greatest fixed point of a suitable monotonic function and provides a quantitative analogue of bisimilarity. The behavioral distance has the important property that two states are at zero distance if and only if they are bisimilar. Moreover, for any given threshold, we find that states with behavioral distances bounded by the threshold are equivalent. I"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0248","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":""},"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-18T02:21:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V3LyCpW+0jCYnaMVvgN1AjP7B6/VAIwDG2FEXuAnIVd+f1LivbJ2WlREemghs8rt7Pphw8Je+NhWWLtfulL/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:34:59.268394Z"},"content_sha256":"4dee76da930b4c47e485201e897188272369ec39240bbc75b5fd5cbdf3f99b33","schema_version":"1.0","event_id":"sha256:4dee76da930b4c47e485201e897188272369ec39240bbc75b5fd5cbdf3f99b33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/bundle.json","state_url":"https://pith.science/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/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-06-04T23:34:59Z","links":{"resolver":"https://pith.science/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ","bundle":"https://pith.science/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/bundle.json","state":"https://pith.science/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GCADBVO7PBAY2NRVKSTHWO7GNJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:GCADBVO7PBAY2NRVKSTHWO7GNJ","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":"f2af6790cca87512c44551051c35b6d7a1e3df6870f611d668b7e12979e340cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2011-10-03T00:32:22Z","title_canon_sha256":"07b433fccf998a12e69d285bb4e37f08c0a13dc5ab1a34e83351707f33926d7a"},"schema_version":"1.0","source":{"id":"1110.0248","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0248","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0248v1","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0248","created_at":"2026-05-18T02:21:35Z"},{"alias_kind":"pith_short_12","alias_value":"GCADBVO7PBAY","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"GCADBVO7PBAY2NRV","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"GCADBVO7","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:4dee76da930b4c47e485201e897188272369ec39240bbc75b5fd5cbdf3f99b33","target":"graph","created_at":"2026-05-18T02:21:35Z","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":"In contrast to the existing approaches to bisimulation for fuzzy systems, we introduce a behavioral distance to measure the behavioral similarity of states in a nondeterministic fuzzy-transition system. This behavioral distance is defined as the greatest fixed point of a suitable monotonic function and provides a quantitative analogue of bisimilarity. The behavioral distance has the important property that two states are at zero distance if and only if they are bisimilar. Moreover, for any given threshold, we find that states with behavioral distances bounded by the threshold are equivalent. I","authors_text":"Guoqing Chen, Huaiqing Wang, Sherry X. Sun, Yongzhi Cao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2011-10-03T00:32:22Z","title":"A Behavioral Distance for Fuzzy-Transition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0248","kind":"arxiv","version":1},"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:51fc305000d4605c7fbfb012c851d0aa946135964cb183606fd6e7a8885fb8ba","target":"record","created_at":"2026-05-18T02:21:35Z","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":"f2af6790cca87512c44551051c35b6d7a1e3df6870f611d668b7e12979e340cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.AI","submitted_at":"2011-10-03T00:32:22Z","title_canon_sha256":"07b433fccf998a12e69d285bb4e37f08c0a13dc5ab1a34e83351707f33926d7a"},"schema_version":"1.0","source":{"id":"1110.0248","kind":"arxiv","version":1}},"canonical_sha256":"308030d5df78418d363554a67b3be66a52acf7a9b29ffe7de6137302326462f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"308030d5df78418d363554a67b3be66a52acf7a9b29ffe7de6137302326462f5","first_computed_at":"2026-05-18T02:21:35.565130Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:35.565130Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"phrYz8dgMonpZksx1PHe75Un3KliR10kiQ8/mSXoWPHFgsQiE9XbZg8aur0qYWFq0fRxsUyfk+KoWFaebpFUAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:35.565886Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.0248","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:51fc305000d4605c7fbfb012c851d0aa946135964cb183606fd6e7a8885fb8ba","sha256:4dee76da930b4c47e485201e897188272369ec39240bbc75b5fd5cbdf3f99b33"],"state_sha256":"bc73411a8aacbfce89fb4517c2b2657a3a5065358ccf2e32cef505c450b99d82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v6AKXi7O3nsbhau9mukxmAWAMwLlTIiIP0JdRXWaWGIUHnDd/Wz5FdeYmL3VXA25ni/j8OVKNhB3kKGwjnpwDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T23:34:59.270995Z","bundle_sha256":"91501797dbb2f5369ee0b9b16623a6ad62ed4d62b1962931561b3bc8f3419c7a"}}