{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:6GEUJX4PIHT7PH4RUDPITHPTCW","short_pith_number":"pith:6GEUJX4P","canonical_record":{"source":{"id":"1903.04389","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T15:55:42Z","cross_cats_sorted":[],"title_canon_sha256":"1c0a069dd185842342fd178be8302c25337a9dff567b947ae5066e394ddf5d18","abstract_canon_sha256":"d8590e4bec042f1043830b1b7b7041fd4128bf87cbbeddbe41345fa3d6452914"},"schema_version":"1.0"},"canonical_sha256":"f18944df8f41e7f79f91a0de899df315a4f231114ec42f865d06bdb1fbf2c6de","source":{"kind":"arxiv","id":"1903.04389","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.04389","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"arxiv_version","alias_value":"1903.04389v3","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04389","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"pith_short_12","alias_value":"6GEUJX4PIHT7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6GEUJX4PIHT7PH4R","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6GEUJX4P","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:6GEUJX4PIHT7PH4RUDPITHPTCW","target":"record","payload":{"canonical_record":{"source":{"id":"1903.04389","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T15:55:42Z","cross_cats_sorted":[],"title_canon_sha256":"1c0a069dd185842342fd178be8302c25337a9dff567b947ae5066e394ddf5d18","abstract_canon_sha256":"d8590e4bec042f1043830b1b7b7041fd4128bf87cbbeddbe41345fa3d6452914"},"schema_version":"1.0"},"canonical_sha256":"f18944df8f41e7f79f91a0de899df315a4f231114ec42f865d06bdb1fbf2c6de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:28.729518Z","signature_b64":"26SMRu03RqWM1eeCsKgvadY3OxTDil13ooP5iz1xkW5xuZm64VDQJ9/g65viWXQGxDYoLlgGVzEouEkCUelUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f18944df8f41e7f79f91a0de899df315a4f231114ec42f865d06bdb1fbf2c6de","last_reissued_at":"2026-05-17T23:46:28.728852Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:28.728852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.04389","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-17T23:46:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+zDjzyjcuD16Fvwd+gEFe82CqymTc+VrecQXa+a53Q/mLCnWjGNFmI4WmhUneuujAQgKzJnl8vVqrIgACkzUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:57:32.085745Z"},"content_sha256":"d8a43c7f26dddfd37a8b37df6e43dfcdfcbcd924bf121c6063b0601b312d0df2","schema_version":"1.0","event_id":"sha256:d8a43c7f26dddfd37a8b37df6e43dfcdfcbcd924bf121c6063b0601b312d0df2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:6GEUJX4PIHT7PH4RUDPITHPTCW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Feng Lin, Jan H. van Schuppen, Jan Komenda","submitted_at":"2019-03-11T15:55:42Z","abstract_excerpt":"In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04389","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-17T23:46:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oFULmUIEmajDh6pnFUQSSyYXWckklC6TSUtHSPRbBME4vrsIpqKwvWG9Hd3S66vztebzXU6XIbcO1txQJso8Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:57:32.086115Z"},"content_sha256":"9d4e6e97a5cb1198391bc7accf92733b39e6e6f7bcc27842e8be5a8b1ee8c690","schema_version":"1.0","event_id":"sha256:9d4e6e97a5cb1198391bc7accf92733b39e6e6f7bcc27842e8be5a8b1ee8c690"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/bundle.json","state_url":"https://pith.science/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/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-03T20:57:32Z","links":{"resolver":"https://pith.science/pith/6GEUJX4PIHT7PH4RUDPITHPTCW","bundle":"https://pith.science/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/bundle.json","state":"https://pith.science/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6GEUJX4PIHT7PH4RUDPITHPTCW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:6GEUJX4PIHT7PH4RUDPITHPTCW","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":"d8590e4bec042f1043830b1b7b7041fd4128bf87cbbeddbe41345fa3d6452914","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T15:55:42Z","title_canon_sha256":"1c0a069dd185842342fd178be8302c25337a9dff567b947ae5066e394ddf5d18"},"schema_version":"1.0","source":{"id":"1903.04389","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.04389","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"arxiv_version","alias_value":"1903.04389v3","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04389","created_at":"2026-05-17T23:46:28Z"},{"alias_kind":"pith_short_12","alias_value":"6GEUJX4PIHT7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6GEUJX4PIHT7PH4R","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6GEUJX4P","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:9d4e6e97a5cb1198391bc7accf92733b39e6e6f7bcc27842e8be5a8b1ee8c690","target":"graph","created_at":"2026-05-17T23:46:28Z","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, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation ","authors_text":"Feng Lin, Jan H. van Schuppen, Jan Komenda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T15:55:42Z","title":"A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04389","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:d8a43c7f26dddfd37a8b37df6e43dfcdfcbcd924bf121c6063b0601b312d0df2","target":"record","created_at":"2026-05-17T23:46:28Z","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":"d8590e4bec042f1043830b1b7b7041fd4128bf87cbbeddbe41345fa3d6452914","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T15:55:42Z","title_canon_sha256":"1c0a069dd185842342fd178be8302c25337a9dff567b947ae5066e394ddf5d18"},"schema_version":"1.0","source":{"id":"1903.04389","kind":"arxiv","version":3}},"canonical_sha256":"f18944df8f41e7f79f91a0de899df315a4f231114ec42f865d06bdb1fbf2c6de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f18944df8f41e7f79f91a0de899df315a4f231114ec42f865d06bdb1fbf2c6de","first_computed_at":"2026-05-17T23:46:28.728852Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:28.728852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"26SMRu03RqWM1eeCsKgvadY3OxTDil13ooP5iz1xkW5xuZm64VDQJ9/g65viWXQGxDYoLlgGVzEouEkCUelUCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:28.729518Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.04389","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8a43c7f26dddfd37a8b37df6e43dfcdfcbcd924bf121c6063b0601b312d0df2","sha256:9d4e6e97a5cb1198391bc7accf92733b39e6e6f7bcc27842e8be5a8b1ee8c690"],"state_sha256":"81d8ba2907af9d6dbe23c683d5ff84ad020f52a52d95a3f447d946cccfe514d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hqWixl7o3VmE/s3XWmRPiRQuDmupb7blJ+xFrevweF12NGKR3NEWRQE9ZKVWED5rAr4ES4/24F5WwMjfMtKfDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T20:57:32.088171Z","bundle_sha256":"2d03c19150e57b8671b5c23cddb8f7e657afb61f9fa1ac8fa764daa693ebd857"}}