{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2004:OMR5JUS6DGJRHH4IE3AQF4GH3Z","short_pith_number":"pith:OMR5JUS6","schema_version":"1.0","canonical_sha256":"7323d4d25e1993139f8826c102f0c7de6b9ee43c220ef976d4481c0a7a6f404d","source":{"kind":"arxiv","id":"cs/0405040","version":1},"attestation_state":"computed","paper":{"title":"Supervisory Control of Fuzzy Discrete Event Systems","license":"","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.DM","authors_text":"Mingsheng Ying, Yongzhi Cao","submitted_at":"2004-05-12T03:35:35Z","abstract_excerpt":"In order to cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event systems modelled by fuzzy automata. The behavior of such discrete event systems is described by fuzzy languages; the supervisors are event feedback and can disable only controllable events with any degree. The concept of discrete event system controllability is thus extended by incorporating fuzziness. In this new sense, we present a necessary and sufficient condition for a fuzzy language to be controllable. We also study the suprema"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"cs/0405040","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.DM","submitted_at":"2004-05-12T03:35:35Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"6076fa42002dd1de33d5186ce7b8b31981aa82a61496f31bebb7cdb979b5566a","abstract_canon_sha256":"58109900730c63509f9d635930b50c8485da0280d784a0149ff1cdf16e761002"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:49:34.066245Z","signature_b64":"91bq+y7fk1IB3SHnpB2DPPkalfhvE6116NaH1qgr2a1oi+FCIWrMWiBUwlxk9bymghcJ5zRAUbzI/aFSKGx3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7323d4d25e1993139f8826c102f0c7de6b9ee43c220ef976d4481c0a7a6f404d","last_reissued_at":"2026-07-04T14:49:34.065820Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:49:34.065820Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Supervisory Control of Fuzzy Discrete Event Systems","license":"","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.DM","authors_text":"Mingsheng Ying, Yongzhi Cao","submitted_at":"2004-05-12T03:35:35Z","abstract_excerpt":"In order to cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event systems modelled by fuzzy automata. The behavior of such discrete event systems is described by fuzzy languages; the supervisors are event feedback and can disable only controllable events with any degree. The concept of discrete event system controllability is thus extended by incorporating fuzziness. In this new sense, we present a necessary and sufficient condition for a fuzzy language to be controllable. We also study the suprema"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405040","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0405040/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405040","created_at":"2026-07-04T14:49:34.065884+00:00"},{"alias_kind":"arxiv_version","alias_value":"cs/0405040v1","created_at":"2026-07-04T14:49:34.065884+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405040","created_at":"2026-07-04T14:49:34.065884+00:00"},{"alias_kind":"pith_short_12","alias_value":"OMR5JUS6DGJR","created_at":"2026-07-04T14:49:34.065884+00:00"},{"alias_kind":"pith_short_16","alias_value":"OMR5JUS6DGJRHH4I","created_at":"2026-07-04T14:49:34.065884+00:00"},{"alias_kind":"pith_short_8","alias_value":"OMR5JUS6","created_at":"2026-07-04T14:49:34.065884+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z","json":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z.json","graph_json":"https://pith.science/api/pith-number/OMR5JUS6DGJRHH4IE3AQF4GH3Z/graph.json","events_json":"https://pith.science/api/pith-number/OMR5JUS6DGJRHH4IE3AQF4GH3Z/events.json","paper":"https://pith.science/paper/OMR5JUS6"},"agent_actions":{"view_html":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z","download_json":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z.json","view_paper":"https://pith.science/paper/OMR5JUS6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=cs/0405040&json=true","fetch_graph":"https://pith.science/api/pith-number/OMR5JUS6DGJRHH4IE3AQF4GH3Z/graph.json","fetch_events":"https://pith.science/api/pith-number/OMR5JUS6DGJRHH4IE3AQF4GH3Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z/action/storage_attestation","attest_author":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z/action/author_attestation","sign_citation":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z/action/citation_signature","submit_replication":"https://pith.science/pith/OMR5JUS6DGJRHH4IE3AQF4GH3Z/action/replication_record"}},"created_at":"2026-07-04T14:49:34.065884+00:00","updated_at":"2026-07-04T14:49:34.065884+00:00"}