{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:JSEBDLC3G7FZ2OGR2ZCFJLQBUW","short_pith_number":"pith:JSEBDLC3","canonical_record":{"source":{"id":"cs/0605108","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2006-05-24T15:49:06Z","cross_cats_sorted":[],"title_canon_sha256":"65251d6ec8b5f9895e490c963a4985ef1e9e77c20ab223cdca6e688e8d6e1029","abstract_canon_sha256":"80a4a7dcf6fc7d8e19440cb04a5009d5f2e2c77a930272a9fa7c145ef99b889d"},"schema_version":"1.0"},"canonical_sha256":"4c8811ac5b37cb9d38d1d64454ae01a5a41c0b145990f242d3b4f6dd5ecbfd89","source":{"kind":"arxiv","id":"cs/0605108","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0605108","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0605108v2","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0605108","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"pith_short_12","alias_value":"JSEBDLC3G7FZ","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"JSEBDLC3G7FZ2OGR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"JSEBDLC3","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:JSEBDLC3G7FZ2OGR2ZCFJLQBUW","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0605108","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2006-05-24T15:49:06Z","cross_cats_sorted":[],"title_canon_sha256":"65251d6ec8b5f9895e490c963a4985ef1e9e77c20ab223cdca6e688e8d6e1029","abstract_canon_sha256":"80a4a7dcf6fc7d8e19440cb04a5009d5f2e2c77a930272a9fa7c145ef99b889d"},"schema_version":"1.0"},"canonical_sha256":"4c8811ac5b37cb9d38d1d64454ae01a5a41c0b145990f242d3b4f6dd5ecbfd89","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:39:25.125277Z","signature_b64":"pX+4hZyJVU2dFpUWg1JmEaUEx4/JgRjZMSlKdolUIrGmimpmH7MzK1dRJ+EQJ0OttgE2fNwIHLL4vvX7e2TpAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c8811ac5b37cb9d38d1d64454ae01a5a41c0b145990f242d3b4f6dd5ecbfd89","last_reissued_at":"2026-05-18T01:39:25.124793Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:39:25.124793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0605108","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:39:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D4UNjeQVZDJtSEH06ik2pPdmb/+Jj3j3vkxj0tg5y8UvmtnC2e2QDyWvnR2zNJVZMwLIpfaq8LeJ9fSOvYRDBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:47:06.077122Z"},"content_sha256":"7b1a18c108e734703f06f0d78983230c1b9d11a8fad021f1489c27096fbf0f23","schema_version":"1.0","event_id":"sha256:7b1a18c108e734703f06f0d78983230c1b9d11a8fad021f1489c27096fbf0f23"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:JSEBDLC3G7FZ2OGR2ZCFJLQBUW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diagnosability of Fuzzy Discrete Event Systems","license":"","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daowen Qiu, Fuchun Liu, Hongyan Xing, Zhujun Fan","submitted_at":"2006-05-24T15:49:06Z","abstract_excerpt":"In order to more effectively cope with the real-world problems of vagueness, {\\it fuzzy discrete event systems} (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosability for FDESs, in which the observable set and failure set of events are {\\it fuzzy}, that is, each event has certain degree to be observable and unobservable, and, also, each event may possess "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0605108","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:39:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7zcLjcLr+idBAgMdSE6Bplfux4BHHthef8yYV6B1NfA3INZrbUbV7EVn5Q39PLFyQcaA7rQ3g1QZtaQ6t8EDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:47:06.077492Z"},"content_sha256":"4ed131ecab8b632833083c2c257fd1cb795b33106d581818c762e453f5780829","schema_version":"1.0","event_id":"sha256:4ed131ecab8b632833083c2c257fd1cb795b33106d581818c762e453f5780829"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/bundle.json","state_url":"https://pith.science/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/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-04T06:47:06Z","links":{"resolver":"https://pith.science/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW","bundle":"https://pith.science/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/bundle.json","state":"https://pith.science/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JSEBDLC3G7FZ2OGR2ZCFJLQBUW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:JSEBDLC3G7FZ2OGR2ZCFJLQBUW","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":"80a4a7dcf6fc7d8e19440cb04a5009d5f2e2c77a930272a9fa7c145ef99b889d","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2006-05-24T15:49:06Z","title_canon_sha256":"65251d6ec8b5f9895e490c963a4985ef1e9e77c20ab223cdca6e688e8d6e1029"},"schema_version":"1.0","source":{"id":"cs/0605108","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0605108","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0605108v2","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0605108","created_at":"2026-05-18T01:39:25Z"},{"alias_kind":"pith_short_12","alias_value":"JSEBDLC3G7FZ","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"JSEBDLC3G7FZ2OGR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"JSEBDLC3","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:4ed131ecab8b632833083c2c257fd1cb795b33106d581818c762e453f5780829","target":"graph","created_at":"2026-05-18T01:39:25Z","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 order to more effectively cope with the real-world problems of vagueness, {\\it fuzzy discrete event systems} (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosability for FDESs, in which the observable set and failure set of events are {\\it fuzzy}, that is, each event has certain degree to be observable and unobservable, and, also, each event may possess ","authors_text":"Daowen Qiu, Fuchun Liu, Hongyan Xing, Zhujun Fan","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2006-05-24T15:49:06Z","title":"Diagnosability of Fuzzy Discrete Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0605108","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:7b1a18c108e734703f06f0d78983230c1b9d11a8fad021f1489c27096fbf0f23","target":"record","created_at":"2026-05-18T01:39:25Z","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":"80a4a7dcf6fc7d8e19440cb04a5009d5f2e2c77a930272a9fa7c145ef99b889d","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2006-05-24T15:49:06Z","title_canon_sha256":"65251d6ec8b5f9895e490c963a4985ef1e9e77c20ab223cdca6e688e8d6e1029"},"schema_version":"1.0","source":{"id":"cs/0605108","kind":"arxiv","version":2}},"canonical_sha256":"4c8811ac5b37cb9d38d1d64454ae01a5a41c0b145990f242d3b4f6dd5ecbfd89","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c8811ac5b37cb9d38d1d64454ae01a5a41c0b145990f242d3b4f6dd5ecbfd89","first_computed_at":"2026-05-18T01:39:25.124793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:39:25.124793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pX+4hZyJVU2dFpUWg1JmEaUEx4/JgRjZMSlKdolUIrGmimpmH7MzK1dRJ+EQJ0OttgE2fNwIHLL4vvX7e2TpAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:39:25.125277Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0605108","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b1a18c108e734703f06f0d78983230c1b9d11a8fad021f1489c27096fbf0f23","sha256:4ed131ecab8b632833083c2c257fd1cb795b33106d581818c762e453f5780829"],"state_sha256":"10f3e4088bf37ade5d9603555f568ca060b5c1bf1d3a9e2031b47d6ca525f670"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xd9B2I3IF6XIb3dIoNi1R3a/zyubw1LrNgxVN5IKsdfKgH2kjUvUR/mfjsCs+jskRK3xs9wwg7L7FBKrHjVuBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T06:47:06.079423Z","bundle_sha256":"6f4866d8d998c113f6ae6c981387177746915cc09b5cdad52aeef2df8209294e"}}