{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:PVSUZTBDACB3OXKR6TM7UZAYQ5","short_pith_number":"pith:PVSUZTBD","canonical_record":{"source":{"id":"2309.11965","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-21T10:45:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"689661c2aa4ee01d7fa45863e28912ecd7c2f1425ec3c8507186ff793b8b6150","abstract_canon_sha256":"f8d1b58832256e0606ea6dd5bda5eba17e3f2c935a2bcab33940731499d455b6"},"schema_version":"1.0"},"canonical_sha256":"7d654ccc230083b75d51f4d9fa641887719327c1e71ab52ae0fc9723dfa0c1f1","source":{"kind":"arxiv","id":"2309.11965","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.11965","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"arxiv_version","alias_value":"2309.11965v4","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.11965","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_12","alias_value":"PVSUZTBDACB3","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_16","alias_value":"PVSUZTBDACB3OXKR","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_8","alias_value":"PVSUZTBD","created_at":"2026-05-20T00:02:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:PVSUZTBDACB3OXKR6TM7UZAYQ5","target":"record","payload":{"canonical_record":{"source":{"id":"2309.11965","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-21T10:45:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"689661c2aa4ee01d7fa45863e28912ecd7c2f1425ec3c8507186ff793b8b6150","abstract_canon_sha256":"f8d1b58832256e0606ea6dd5bda5eba17e3f2c935a2bcab33940731499d455b6"},"schema_version":"1.0"},"canonical_sha256":"7d654ccc230083b75d51f4d9fa641887719327c1e71ab52ae0fc9723dfa0c1f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:45.292745Z","signature_b64":"KtfZAJ6CUl/ZfLSzW//NWG/1NSjGE0EW3DLYUcCFlLb29KBqDQFYeuewpMd3TPHx/plqnHKBxVhQ5hoqGzR0CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d654ccc230083b75d51f4d9fa641887719327c1e71ab52ae0fc9723dfa0c1f1","last_reissued_at":"2026-05-20T00:02:45.292083Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:45.292083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.11965","source_version":4,"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-20T00:02:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PpWOrGT5oK1RpDF2W1aHL6izwYW3Kk0rc+FVGRStK0YTBIoy5A2HOV8TSNrR7U/vhPMiZ6OCzzDPpHt7bW03Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:08:15.196189Z"},"content_sha256":"185b716c0c067624c975dc70d4c6cfb62aae9af4a7a520c3d3f5f80f75afe7ef","schema_version":"1.0","event_id":"sha256:185b716c0c067624c975dc70d4c6cfb62aae9af4a7a520c3d3f5f80f75afe7ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:PVSUZTBDACB3OXKR6TM7UZAYQ5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coordination Control of Discrete Event Systems under Cyber Attacks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Fei Wang, Feng Lin, Jan Komenda","submitted_at":"2023-09-21T10:45:54Z","abstract_excerpt":"In this paper, coordination control of discrete event systems under joint sensor and actuator attacks is investigated. Sensor attacks are described by a set of attack languages using a proposed ALTER model. Several local supervisors are used to control the system. The goal is to design local supervisors to ensure safety of the system even under cyber attacks (CA). The necessary and sufficient conditions for the existence of such supervisors are derived in terms of conditional decomposability, CA-controllability and CA-observability. A method is developed to calculate local state estimates unde"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.11965","kind":"arxiv","version":4},"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/2309.11965/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"},"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-20T00:02:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6J9+heQnT7Qn+iLa37NFUHLFKgEBymbmauMuIVJ8YF35yYiPP/DcywM7N4DfKLYaUEweLDfaSHIyn3/ULLt7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:08:15.196581Z"},"content_sha256":"18794ae62ab1e58d30c06fb02fd8a5f5cc923e4c7c5d16ad56c789d114bd8cf1","schema_version":"1.0","event_id":"sha256:18794ae62ab1e58d30c06fb02fd8a5f5cc923e4c7c5d16ad56c789d114bd8cf1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/bundle.json","state_url":"https://pith.science/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/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-03T07:08:15Z","links":{"resolver":"https://pith.science/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5","bundle":"https://pith.science/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/bundle.json","state":"https://pith.science/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PVSUZTBDACB3OXKR6TM7UZAYQ5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:PVSUZTBDACB3OXKR6TM7UZAYQ5","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":"f8d1b58832256e0606ea6dd5bda5eba17e3f2c935a2bcab33940731499d455b6","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-21T10:45:54Z","title_canon_sha256":"689661c2aa4ee01d7fa45863e28912ecd7c2f1425ec3c8507186ff793b8b6150"},"schema_version":"1.0","source":{"id":"2309.11965","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.11965","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"arxiv_version","alias_value":"2309.11965v4","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.11965","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_12","alias_value":"PVSUZTBDACB3","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_16","alias_value":"PVSUZTBDACB3OXKR","created_at":"2026-05-20T00:02:45Z"},{"alias_kind":"pith_short_8","alias_value":"PVSUZTBD","created_at":"2026-05-20T00:02:45Z"}],"graph_snapshots":[{"event_id":"sha256:18794ae62ab1e58d30c06fb02fd8a5f5cc923e4c7c5d16ad56c789d114bd8cf1","target":"graph","created_at":"2026-05-20T00:02: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2309.11965/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, coordination control of discrete event systems under joint sensor and actuator attacks is investigated. Sensor attacks are described by a set of attack languages using a proposed ALTER model. Several local supervisors are used to control the system. The goal is to design local supervisors to ensure safety of the system even under cyber attacks (CA). The necessary and sufficient conditions for the existence of such supervisors are derived in terms of conditional decomposability, CA-controllability and CA-observability. A method is developed to calculate local state estimates unde","authors_text":"Fei Wang, Feng Lin, Jan Komenda","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-21T10:45:54Z","title":"Coordination Control of Discrete Event Systems under Cyber Attacks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.11965","kind":"arxiv","version":4},"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:185b716c0c067624c975dc70d4c6cfb62aae9af4a7a520c3d3f5f80f75afe7ef","target":"record","created_at":"2026-05-20T00:02: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":"f8d1b58832256e0606ea6dd5bda5eba17e3f2c935a2bcab33940731499d455b6","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-21T10:45:54Z","title_canon_sha256":"689661c2aa4ee01d7fa45863e28912ecd7c2f1425ec3c8507186ff793b8b6150"},"schema_version":"1.0","source":{"id":"2309.11965","kind":"arxiv","version":4}},"canonical_sha256":"7d654ccc230083b75d51f4d9fa641887719327c1e71ab52ae0fc9723dfa0c1f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d654ccc230083b75d51f4d9fa641887719327c1e71ab52ae0fc9723dfa0c1f1","first_computed_at":"2026-05-20T00:02:45.292083Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:02:45.292083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KtfZAJ6CUl/ZfLSzW//NWG/1NSjGE0EW3DLYUcCFlLb29KBqDQFYeuewpMd3TPHx/plqnHKBxVhQ5hoqGzR0CA==","signature_status":"signed_v1","signed_at":"2026-05-20T00:02:45.292745Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.11965","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:185b716c0c067624c975dc70d4c6cfb62aae9af4a7a520c3d3f5f80f75afe7ef","sha256:18794ae62ab1e58d30c06fb02fd8a5f5cc923e4c7c5d16ad56c789d114bd8cf1"],"state_sha256":"1c50880d84bb195bcefa87e1c4b02ea96828dacaed7bd9296b4461218bcdf2b0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1kQ93jaoKvJUWLvx4d7rLWqMuEo+9m2TO2bGpxkzWxLTw8JZu5brlwjL/y66vNCYd4khOK1tntvKjtiLRmamBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:08:15.198673Z","bundle_sha256":"58c2985c12b1c456ee0aee1d50b3e15647d997bff0a095664b6114993f21279f"}}