{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VXGQHMGZF63H3QVDOJ6OS3QBZR","short_pith_number":"pith:VXGQHMGZ","canonical_record":{"source":{"id":"1605.09772","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-31T19:12:41Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"f86a96f9ffc9f22e84f081148af72d3030c34d685888d06fb7b3bec6af13bf2c","abstract_canon_sha256":"9fd59f7b96d20ec310236e96a6e84227c5a4623c60c199d0d0599c707d1cdf49"},"schema_version":"1.0"},"canonical_sha256":"adcd03b0d92fb67dc2a3727ce96e01cc5c22c9850cdf63c3c236880c71edddd1","source":{"kind":"arxiv","id":"1605.09772","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.09772","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"arxiv_version","alias_value":"1605.09772v1","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.09772","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"pith_short_12","alias_value":"VXGQHMGZF63H","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VXGQHMGZF63H3QVD","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VXGQHMGZ","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VXGQHMGZF63H3QVDOJ6OS3QBZR","target":"record","payload":{"canonical_record":{"source":{"id":"1605.09772","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-31T19:12:41Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"f86a96f9ffc9f22e84f081148af72d3030c34d685888d06fb7b3bec6af13bf2c","abstract_canon_sha256":"9fd59f7b96d20ec310236e96a6e84227c5a4623c60c199d0d0599c707d1cdf49"},"schema_version":"1.0"},"canonical_sha256":"adcd03b0d92fb67dc2a3727ce96e01cc5c22c9850cdf63c3c236880c71edddd1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:10.186288Z","signature_b64":"39Q5LfuF0jc84Agv5Sh/r3uu8Eu41daaQUAOL9tD/PZ9KGD2chQLILCpFB1SSE9aG4WT1NtYx2XwTpPweXd1DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"adcd03b0d92fb67dc2a3727ce96e01cc5c22c9850cdf63c3c236880c71edddd1","last_reissued_at":"2026-05-18T01:13:10.185837Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:10.185837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.09772","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-18T01:13:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FpgKO4u+PRY3ZdSxHLVF4EuGrKLY91Y0V/fkHeexeqj6uax3/KDex/qshscHfIq3EGZv3u0AbZOaPchLEcCCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T20:31:50.625608Z"},"content_sha256":"ccd06ead7d9ce7fd09de54ca14d9e54b8be0b38022918564f52aaba255d15b1c","schema_version":"1.0","event_id":"sha256:ccd06ead7d9ce7fd09de54ca14d9e54b8be0b38022918564f52aaba255d15b1c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VXGQHMGZF63H3QVDOJ6OS3QBZR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Technical Report: Directed Controller Synthesis of Discrete Event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.SY","authors_text":"Daniel Ciolek, Nicol\\'as D'Ippolito, Sebasti\\'an Uchitel, Victor Braberman","submitted_at":"2016-05-31T19:12:41Z","abstract_excerpt":"This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.09772","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-18T01:13:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KHFZTjT03TdVpUtSJ3ogYfJXmxo57RSx0g7Yu9NByW10ZmC8uUq/1JCBvrFwzgHB68YZ6EtDyY3uUJsVKRjTBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T20:31:50.626385Z"},"content_sha256":"71392c466acf87939aeaaa7122becd31fcc4f78857cf37bcaf594e8b3cc36807","schema_version":"1.0","event_id":"sha256:71392c466acf87939aeaaa7122becd31fcc4f78857cf37bcaf594e8b3cc36807"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/bundle.json","state_url":"https://pith.science/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/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-08T20:31:50Z","links":{"resolver":"https://pith.science/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR","bundle":"https://pith.science/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/bundle.json","state":"https://pith.science/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VXGQHMGZF63H3QVDOJ6OS3QBZR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VXGQHMGZF63H3QVDOJ6OS3QBZR","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":"9fd59f7b96d20ec310236e96a6e84227c5a4623c60c199d0d0599c707d1cdf49","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-31T19:12:41Z","title_canon_sha256":"f86a96f9ffc9f22e84f081148af72d3030c34d685888d06fb7b3bec6af13bf2c"},"schema_version":"1.0","source":{"id":"1605.09772","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.09772","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"arxiv_version","alias_value":"1605.09772v1","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.09772","created_at":"2026-05-18T01:13:10Z"},{"alias_kind":"pith_short_12","alias_value":"VXGQHMGZF63H","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VXGQHMGZF63H3QVD","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VXGQHMGZ","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:71392c466acf87939aeaaa7122becd31fcc4f78857cf37bcaf594e8b3cc36807","target":"graph","created_at":"2026-05-18T01:13:10Z","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":"This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An ","authors_text":"Daniel Ciolek, Nicol\\'as D'Ippolito, Sebasti\\'an Uchitel, Victor Braberman","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-31T19:12:41Z","title":"Technical Report: Directed Controller Synthesis of Discrete Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.09772","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:ccd06ead7d9ce7fd09de54ca14d9e54b8be0b38022918564f52aaba255d15b1c","target":"record","created_at":"2026-05-18T01:13:10Z","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":"9fd59f7b96d20ec310236e96a6e84227c5a4623c60c199d0d0599c707d1cdf49","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-05-31T19:12:41Z","title_canon_sha256":"f86a96f9ffc9f22e84f081148af72d3030c34d685888d06fb7b3bec6af13bf2c"},"schema_version":"1.0","source":{"id":"1605.09772","kind":"arxiv","version":1}},"canonical_sha256":"adcd03b0d92fb67dc2a3727ce96e01cc5c22c9850cdf63c3c236880c71edddd1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"adcd03b0d92fb67dc2a3727ce96e01cc5c22c9850cdf63c3c236880c71edddd1","first_computed_at":"2026-05-18T01:13:10.185837Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:10.185837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"39Q5LfuF0jc84Agv5Sh/r3uu8Eu41daaQUAOL9tD/PZ9KGD2chQLILCpFB1SSE9aG4WT1NtYx2XwTpPweXd1DA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:10.186288Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.09772","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ccd06ead7d9ce7fd09de54ca14d9e54b8be0b38022918564f52aaba255d15b1c","sha256:71392c466acf87939aeaaa7122becd31fcc4f78857cf37bcaf594e8b3cc36807"],"state_sha256":"d4fc3c2a27d5361619f48ce3ab09aeae444f6a813ce6926cc20d09ad21c190c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mbx/ihh5S1TTSVl4ySrcuCNott86dvP5OtUCf1IXACfwKmPFyXWzAraLyPB8WxUq/gZ6CVxOPUnvczCN5dRSAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T20:31:50.630158Z","bundle_sha256":"673a39f156ebe1393078c66a3e49e9c800729a817ada061502d1b9bf7b7627b2"}}