{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:FX7POTPUXC7PXVZX3V6ZYR5Y5S","short_pith_number":"pith:FX7POTPU","canonical_record":{"source":{"id":"cs/0509099","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.DM","submitted_at":"2005-09-30T12:24:31Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"6844e3d39fa70166d9aad3bda6014b7a9e614f1187a568a80bd400a319b8fc36","abstract_canon_sha256":"45711a9cf5e9fcc12d0aaddb18f482df73a8d35cc8ea4c13f19c801d22ac5e38"},"schema_version":"1.0"},"canonical_sha256":"2dfef74df4b8befbd737dd7d9c47b8ecbd8395375ea52445fb1a7919da8b5909","source":{"kind":"arxiv","id":"cs/0509099","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0509099","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0509099v3","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0509099","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"pith_short_12","alias_value":"FX7POTPUXC7P","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"FX7POTPUXC7PXVZX","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"FX7POTPU","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:FX7POTPUXC7PXVZX3V6ZYR5Y5S","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0509099","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.DM","submitted_at":"2005-09-30T12:24:31Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"6844e3d39fa70166d9aad3bda6014b7a9e614f1187a568a80bd400a319b8fc36","abstract_canon_sha256":"45711a9cf5e9fcc12d0aaddb18f482df73a8d35cc8ea4c13f19c801d22ac5e38"},"schema_version":"1.0"},"canonical_sha256":"2dfef74df4b8befbd737dd7d9c47b8ecbd8395375ea52445fb1a7919da8b5909","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:45.083487Z","signature_b64":"ESl4djp9oyoZcV6u1Qd1fKIHlDHK/IyJN4cyfvWYAXj3CWukFPrRrs89ccqOC11dKAT5Npi3wVyMl7+VkYsRBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2dfef74df4b8befbd737dd7d9c47b8ecbd8395375ea52445fb1a7919da8b5909","last_reissued_at":"2026-05-18T00:57:45.082860Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:45.082860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0509099","source_version":3,"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-18T00:57:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vXwVvhLKbowdy8RraKz8GhQCL1wrwrraJxjvfUuVjGHL6kOBWDzoyFt/Np1/UT44MzItpCsRKwMb8AXmEhfqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T11:39:30.293960Z"},"content_sha256":"78e30c56d4e9496491b91997dedba908bb873c77409f54abeaf8797f35b46d34","schema_version":"1.0","event_id":"sha256:78e30c56d4e9496491b91997dedba908bb873c77409f54abeaf8797f35b46d34"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:FX7POTPUXC7PXVZX3V6ZYR5Y5S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"State-Based Control of Fuzzy Discrete Event Systems","license":"","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.DM","authors_text":"Guoqing Chen, Mingsheng Ying, Yongzhi Cao","submitted_at":"2005-09-30T12:24:31Z","abstract_excerpt":"To effectively represent possibility arising from states and dynamics of a system, fuzzy discrete event systems as a generalization of conventional discrete event systems have been introduced recently. Supervisory control theory based on event feedback has been well established for such systems. Noting that the system state description, from the viewpoint of specification, seems more convenient, we investigate the state-based control of fuzzy discrete event systems in this paper. We first present an approach to finding all fuzzy states that are reachable by controlling the system. After introd"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0509099","kind":"arxiv","version":3},"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-18T00:57:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"obPRZ6uWNPPN9cwyFrTbG4ge10xAw91NGfgjrMkxWs5L7W9S2CjnZ65bYcobWRdciM6c/9ntMo/osLljhh9cBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T11:39:30.294305Z"},"content_sha256":"4c1c4950f4349ee1e907e17feffe813fbd5d6704b3255c78e34088865a49184c","schema_version":"1.0","event_id":"sha256:4c1c4950f4349ee1e907e17feffe813fbd5d6704b3255c78e34088865a49184c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/bundle.json","state_url":"https://pith.science/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/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-20T11:39:30Z","links":{"resolver":"https://pith.science/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S","bundle":"https://pith.science/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/bundle.json","state":"https://pith.science/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FX7POTPUXC7PXVZX3V6ZYR5Y5S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:FX7POTPUXC7PXVZX3V6ZYR5Y5S","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":"45711a9cf5e9fcc12d0aaddb18f482df73a8d35cc8ea4c13f19c801d22ac5e38","cross_cats_sorted":["cs.DC"],"license":"","primary_cat":"cs.DM","submitted_at":"2005-09-30T12:24:31Z","title_canon_sha256":"6844e3d39fa70166d9aad3bda6014b7a9e614f1187a568a80bd400a319b8fc36"},"schema_version":"1.0","source":{"id":"cs/0509099","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0509099","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0509099v3","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0509099","created_at":"2026-05-18T00:57:45Z"},{"alias_kind":"pith_short_12","alias_value":"FX7POTPUXC7P","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"FX7POTPUXC7PXVZX","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"FX7POTPU","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:4c1c4950f4349ee1e907e17feffe813fbd5d6704b3255c78e34088865a49184c","target":"graph","created_at":"2026-05-18T00:57:45Z","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":"To effectively represent possibility arising from states and dynamics of a system, fuzzy discrete event systems as a generalization of conventional discrete event systems have been introduced recently. Supervisory control theory based on event feedback has been well established for such systems. Noting that the system state description, from the viewpoint of specification, seems more convenient, we investigate the state-based control of fuzzy discrete event systems in this paper. We first present an approach to finding all fuzzy states that are reachable by controlling the system. After introd","authors_text":"Guoqing Chen, Mingsheng Ying, Yongzhi Cao","cross_cats":["cs.DC"],"headline":"","license":"","primary_cat":"cs.DM","submitted_at":"2005-09-30T12:24:31Z","title":"State-Based Control of Fuzzy Discrete Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0509099","kind":"arxiv","version":3},"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:78e30c56d4e9496491b91997dedba908bb873c77409f54abeaf8797f35b46d34","target":"record","created_at":"2026-05-18T00:57:45Z","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":"45711a9cf5e9fcc12d0aaddb18f482df73a8d35cc8ea4c13f19c801d22ac5e38","cross_cats_sorted":["cs.DC"],"license":"","primary_cat":"cs.DM","submitted_at":"2005-09-30T12:24:31Z","title_canon_sha256":"6844e3d39fa70166d9aad3bda6014b7a9e614f1187a568a80bd400a319b8fc36"},"schema_version":"1.0","source":{"id":"cs/0509099","kind":"arxiv","version":3}},"canonical_sha256":"2dfef74df4b8befbd737dd7d9c47b8ecbd8395375ea52445fb1a7919da8b5909","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2dfef74df4b8befbd737dd7d9c47b8ecbd8395375ea52445fb1a7919da8b5909","first_computed_at":"2026-05-18T00:57:45.082860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:45.082860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ESl4djp9oyoZcV6u1Qd1fKIHlDHK/IyJN4cyfvWYAXj3CWukFPrRrs89ccqOC11dKAT5Npi3wVyMl7+VkYsRBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:45.083487Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0509099","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78e30c56d4e9496491b91997dedba908bb873c77409f54abeaf8797f35b46d34","sha256:4c1c4950f4349ee1e907e17feffe813fbd5d6704b3255c78e34088865a49184c"],"state_sha256":"1dbe1a2e4121bafe0db9667446ddd081af03a6abdf6a7ed5908ef40806f27150"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zOgsna6Ghk0STYymkJHmvSXt2rbqPCv216rqh2IKhlvNQgzND2rmVf/UBrcxs+lJA0krm5YsBUbdQL8lcaZcCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T11:39:30.296918Z","bundle_sha256":"5b8363925db4f6348d877477235fa3dac2f3d609cc0d225fa9fd1ce52d34264f"}}