{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BS6OMFCY47F72IRJWZTCZAJS4Y","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":"0b9effcc073545bfa4dcd5cda0976ada21961c1ad4b13543902ac370112973db","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-25T13:00:53Z","title_canon_sha256":"4eefab7513247dc9da4ebc717716e3657f0709e947fc858e62e11f7ad39c42e4"},"schema_version":"1.0","source":{"id":"2605.25807","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25807","created_at":"2026-05-26T02:05:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25807v1","created_at":"2026-05-26T02:05:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25807","created_at":"2026-05-26T02:05:12Z"},{"alias_kind":"pith_short_12","alias_value":"BS6OMFCY47F7","created_at":"2026-05-26T02:05:12Z"},{"alias_kind":"pith_short_16","alias_value":"BS6OMFCY47F72IRJ","created_at":"2026-05-26T02:05:12Z"},{"alias_kind":"pith_short_8","alias_value":"BS6OMFCY","created_at":"2026-05-26T02:05:12Z"}],"graph_snapshots":[{"event_id":"sha256:734eaa15d7481fc1a161d596f129a0dfe480dc84f27c1a8442c9d3493aeb64e2","target":"graph","created_at":"2026-05-26T02:05:12Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.25807/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We investigate deterministic and nonblocking supervisory control of discrete event systems under cyber-attacks using the ALTER (Attack Language for Transition-basEd Replacement) model. While prior works consider supervisory control that achieves either the large (upper bound) language or small (lower bound) language separately, deterministic supervisory control achieves both large language and small language at the same time to ensure that the language generated by the supervised system is unique and deterministic. We introduce two new concepts of CA-D-controllability and CA-D-observability an","authors_text":"Caisheng Wang, Feng Lin, Jun Chen, Xiang Yin","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-25T13:00:53Z","title":"Deterministic and Nonblocking Supervisory Control of Discrete Event Systems under Cyber Attacks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25807","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:776c5892e1072b0b8510c6b969806354051bbdf5f2fae71e87cb4564d377561a","target":"record","created_at":"2026-05-26T02:05:12Z","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":"0b9effcc073545bfa4dcd5cda0976ada21961c1ad4b13543902ac370112973db","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-25T13:00:53Z","title_canon_sha256":"4eefab7513247dc9da4ebc717716e3657f0709e947fc858e62e11f7ad39c42e4"},"schema_version":"1.0","source":{"id":"2605.25807","kind":"arxiv","version":1}},"canonical_sha256":"0cbce61458e7cbfd2229b6662c8132e625fd2998e7d48f9bf69d0795abd4d545","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0cbce61458e7cbfd2229b6662c8132e625fd2998e7d48f9bf69d0795abd4d545","first_computed_at":"2026-05-26T02:05:12.707818Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:05:12.707818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fmcwlsi469nWECqlL3R57h72wNG5Cl8NohuF7gan81xmfRnCwHIYQvtQzwI2lNJjgmIqXjRHiOsOalwDZcFXCA==","signature_status":"signed_v1","signed_at":"2026-05-26T02:05:12.708621Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.25807","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:776c5892e1072b0b8510c6b969806354051bbdf5f2fae71e87cb4564d377561a","sha256:734eaa15d7481fc1a161d596f129a0dfe480dc84f27c1a8442c9d3493aeb64e2"],"state_sha256":"54e724fa132fb88514d5743356cb6cf33f1f1303936ccc035560ef50d19a381d"}