{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:UWWPVKQ24G4O4GOQGE6CF2IG3Y","short_pith_number":"pith:UWWPVKQ2","canonical_record":{"source":{"id":"1501.07859","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-01-30T17:44:11Z","cross_cats_sorted":[],"title_canon_sha256":"8379389e12439709a3b94a314424c7d96b4da546e0e4cb4ae7d76cdfbddcb004","abstract_canon_sha256":"c9abc1f870813d26163464e154bc0850e98d357268cabe12cee739762def7ebf"},"schema_version":"1.0"},"canonical_sha256":"a5acfaaa1ae1b8ee19d0313c22e906de2035bbb22f684dd03444b90ddec0fc08","source":{"kind":"arxiv","id":"1501.07859","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.07859","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"arxiv_version","alias_value":"1501.07859v1","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.07859","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"pith_short_12","alias_value":"UWWPVKQ24G4O","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UWWPVKQ24G4O4GOQ","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UWWPVKQ2","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:UWWPVKQ24G4O4GOQGE6CF2IG3Y","target":"record","payload":{"canonical_record":{"source":{"id":"1501.07859","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-01-30T17:44:11Z","cross_cats_sorted":[],"title_canon_sha256":"8379389e12439709a3b94a314424c7d96b4da546e0e4cb4ae7d76cdfbddcb004","abstract_canon_sha256":"c9abc1f870813d26163464e154bc0850e98d357268cabe12cee739762def7ebf"},"schema_version":"1.0"},"canonical_sha256":"a5acfaaa1ae1b8ee19d0313c22e906de2035bbb22f684dd03444b90ddec0fc08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:28:13.941007Z","signature_b64":"vHFIktkedpfXhWf3UbMcA/29k42vd1AFecLa18VwkqGIaUAc0MB8QS4GU2R47o/Vg/V8P2Y6l/rDUQ3Isq9rBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5acfaaa1ae1b8ee19d0313c22e906de2035bbb22f684dd03444b90ddec0fc08","last_reissued_at":"2026-05-18T02:28:13.940306Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:28:13.940306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.07859","source_version":1,"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-18T02:28:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZEIQqfCQJxPy5NW/c3fjNj3aSkIBxjUqYMFMK9Zi+SksBTf0gjB8DEQHLPJYQbaY8hLlBa45ZfUyqUlD47EZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:47:36.762841Z"},"content_sha256":"ce263bc1fb08ec09df4dbd1f695c86133f0c64e6b5bf642298413d5b898c0bcb","schema_version":"1.0","event_id":"sha256:ce263bc1fb08ec09df4dbd1f695c86133f0c64e6b5bf642298413d5b898c0bcb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:UWWPVKQ24G4O4GOQGE6CF2IG3Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Relaxed Framework for Coordination Control of Discrete-Event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jan H. van Schuppen, Jan Komenda, Tom\\'a\\v{s} Masopust","submitted_at":"2015-01-30T17:44:11Z","abstract_excerpt":"In this paper, we simplify the coordination control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole coordination control framework, including the notions of conditional controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the coordination control synthesis. This completes and clarifies our previous results, whil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.07859","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":""},"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-18T02:28:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5vK6nGBLNxTX+evDVJC2SGaOimsgHyjBc2q9mZi7zx1W5ruVhGZXSAAQ21ED2pas3xHyWCumvMoCK54BEoBxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:47:36.763449Z"},"content_sha256":"de381c784068fc1747b5898ecc23b695e83fd01f4b8cbf1481563b55a12cbcc5","schema_version":"1.0","event_id":"sha256:de381c784068fc1747b5898ecc23b695e83fd01f4b8cbf1481563b55a12cbcc5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/bundle.json","state_url":"https://pith.science/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/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-27T21:47:36Z","links":{"resolver":"https://pith.science/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y","bundle":"https://pith.science/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/bundle.json","state":"https://pith.science/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UWWPVKQ24G4O4GOQGE6CF2IG3Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:UWWPVKQ24G4O4GOQGE6CF2IG3Y","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":"c9abc1f870813d26163464e154bc0850e98d357268cabe12cee739762def7ebf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-01-30T17:44:11Z","title_canon_sha256":"8379389e12439709a3b94a314424c7d96b4da546e0e4cb4ae7d76cdfbddcb004"},"schema_version":"1.0","source":{"id":"1501.07859","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.07859","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"arxiv_version","alias_value":"1501.07859v1","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.07859","created_at":"2026-05-18T02:28:13Z"},{"alias_kind":"pith_short_12","alias_value":"UWWPVKQ24G4O","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UWWPVKQ24G4O4GOQ","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UWWPVKQ2","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:de381c784068fc1747b5898ecc23b695e83fd01f4b8cbf1481563b55a12cbcc5","target":"graph","created_at":"2026-05-18T02:28:13Z","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 this paper, we simplify the coordination control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole coordination control framework, including the notions of conditional controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the coordination control synthesis. This completes and clarifies our previous results, whil","authors_text":"Jan H. van Schuppen, Jan Komenda, Tom\\'a\\v{s} Masopust","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-01-30T17:44:11Z","title":"A Relaxed Framework for Coordination Control of Discrete-Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.07859","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:ce263bc1fb08ec09df4dbd1f695c86133f0c64e6b5bf642298413d5b898c0bcb","target":"record","created_at":"2026-05-18T02:28:13Z","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":"c9abc1f870813d26163464e154bc0850e98d357268cabe12cee739762def7ebf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-01-30T17:44:11Z","title_canon_sha256":"8379389e12439709a3b94a314424c7d96b4da546e0e4cb4ae7d76cdfbddcb004"},"schema_version":"1.0","source":{"id":"1501.07859","kind":"arxiv","version":1}},"canonical_sha256":"a5acfaaa1ae1b8ee19d0313c22e906de2035bbb22f684dd03444b90ddec0fc08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5acfaaa1ae1b8ee19d0313c22e906de2035bbb22f684dd03444b90ddec0fc08","first_computed_at":"2026-05-18T02:28:13.940306Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:28:13.940306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vHFIktkedpfXhWf3UbMcA/29k42vd1AFecLa18VwkqGIaUAc0MB8QS4GU2R47o/Vg/V8P2Y6l/rDUQ3Isq9rBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:28:13.941007Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.07859","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce263bc1fb08ec09df4dbd1f695c86133f0c64e6b5bf642298413d5b898c0bcb","sha256:de381c784068fc1747b5898ecc23b695e83fd01f4b8cbf1481563b55a12cbcc5"],"state_sha256":"6cf6354e341ff814e533d8a84cf86e332d61a5bb40baf3467e40a5d4c8cbe67f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AT/+M4h5+nrauPEV7bK93Y207mhC6wfgVyeN24+zetsHRRn/yfODgeAQ3sZ282F2iQA8PaY4fqfeGlC7XA0+BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:47:36.766792Z","bundle_sha256":"06f7633767dd45bcdccadcd7f2af40214cc5f35eea5f644c1ebca83b3338d162"}}