{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:23PETEHVDX7NCU43OG6QLYMB6G","short_pith_number":"pith:23PETEHV","canonical_record":{"source":{"id":"1811.01942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:02:12Z","cross_cats_sorted":[],"title_canon_sha256":"4c121563075c2fedc6e3eea2441a743f908bb66688caa3908fe37156e955b790","abstract_canon_sha256":"923bf0fef09da2bddf413c8e23d430ab14d74a85f44537b22ba5adf617a4920b"},"schema_version":"1.0"},"canonical_sha256":"d6de4990f51dfed1539b71bd05e181f1894fbb9afd9282e80595affb8554ba44","source":{"kind":"arxiv","id":"1811.01942","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01942","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01942v1","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01942","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"23PETEHVDX7N","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"23PETEHVDX7NCU43","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"23PETEHV","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:23PETEHVDX7NCU43OG6QLYMB6G","target":"record","payload":{"canonical_record":{"source":{"id":"1811.01942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:02:12Z","cross_cats_sorted":[],"title_canon_sha256":"4c121563075c2fedc6e3eea2441a743f908bb66688caa3908fe37156e955b790","abstract_canon_sha256":"923bf0fef09da2bddf413c8e23d430ab14d74a85f44537b22ba5adf617a4920b"},"schema_version":"1.0"},"canonical_sha256":"d6de4990f51dfed1539b71bd05e181f1894fbb9afd9282e80595affb8554ba44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:32.642160Z","signature_b64":"yaKwSyNXZFMAq7m/TRQClLTgLLYOXMFJnxzzqbMclX4+7b3rFOOgaX87WN9nndDNiqC8qXT98hEI0lgRwekJCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6de4990f51dfed1539b71bd05e181f1894fbb9afd9282e80595affb8554ba44","last_reissued_at":"2026-05-18T00:01:32.641591Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:32.641591Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.01942","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-18T00:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h62Z7tFEhHQsfOlcD6bNF7N+EM5lYnDbAfGMNEGzuCWgCmdtrATGJHiS8Z4WlmK6BxqrLRL8Knh0CN47GiF6AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T09:53:42.697391Z"},"content_sha256":"dd173403ef5641d1d0a98cb77950677b89da1f4775a2dcdc2b81d6b04a6a0904","schema_version":"1.0","event_id":"sha256:dd173403ef5641d1d0a98cb77950677b89da1f4775a2dcdc2b81d6b04a6a0904"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:23PETEHVDX7NCU43OG6QLYMB6G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Operation Control Protocols in Power Distribution Grids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Hugo Torres Vieira, Yehia Abd Alrahman","submitted_at":"2018-11-05T21:02:12Z","abstract_excerpt":"Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation of the grid, individual operations must be coordinated among the different components. Since operation safety is a global property, modelling component coordination typically involves reasoning about systems at a global level. In this paper, we propose a language for specifying grid operation control protocols from a global point of view. We show how such global specifications can be used to automatically generate loc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01942","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-18T00:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tE+V+b9ne1XBfOlF3yydlR98k0QYzodtpCotXU6a1BH16Cx92OV4QNKql7tWpL3Pdz8AV2UFLIu0uBrQOzUzBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T09:53:42.697734Z"},"content_sha256":"163513a22aa9735cf4b96f12e0f92d2b8c35f8a749492270ecec12343f685d1a","schema_version":"1.0","event_id":"sha256:163513a22aa9735cf4b96f12e0f92d2b8c35f8a749492270ecec12343f685d1a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/23PETEHVDX7NCU43OG6QLYMB6G/bundle.json","state_url":"https://pith.science/pith/23PETEHVDX7NCU43OG6QLYMB6G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/23PETEHVDX7NCU43OG6QLYMB6G/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-20T09:53:42Z","links":{"resolver":"https://pith.science/pith/23PETEHVDX7NCU43OG6QLYMB6G","bundle":"https://pith.science/pith/23PETEHVDX7NCU43OG6QLYMB6G/bundle.json","state":"https://pith.science/pith/23PETEHVDX7NCU43OG6QLYMB6G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/23PETEHVDX7NCU43OG6QLYMB6G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:23PETEHVDX7NCU43OG6QLYMB6G","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":"923bf0fef09da2bddf413c8e23d430ab14d74a85f44537b22ba5adf617a4920b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:02:12Z","title_canon_sha256":"4c121563075c2fedc6e3eea2441a743f908bb66688caa3908fe37156e955b790"},"schema_version":"1.0","source":{"id":"1811.01942","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01942","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01942v1","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01942","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"23PETEHVDX7N","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"23PETEHVDX7NCU43","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"23PETEHV","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:163513a22aa9735cf4b96f12e0f92d2b8c35f8a749492270ecec12343f685d1a","target":"graph","created_at":"2026-05-18T00:01:32Z","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":"Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation of the grid, individual operations must be coordinated among the different components. Since operation safety is a global property, modelling component coordination typically involves reasoning about systems at a global level. In this paper, we propose a language for specifying grid operation control protocols from a global point of view. We show how such global specifications can be used to automatically generate loc","authors_text":"Hugo Torres Vieira, Yehia Abd Alrahman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:02:12Z","title":"Operation Control Protocols in Power Distribution Grids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01942","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:dd173403ef5641d1d0a98cb77950677b89da1f4775a2dcdc2b81d6b04a6a0904","target":"record","created_at":"2026-05-18T00:01:32Z","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":"923bf0fef09da2bddf413c8e23d430ab14d74a85f44537b22ba5adf617a4920b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:02:12Z","title_canon_sha256":"4c121563075c2fedc6e3eea2441a743f908bb66688caa3908fe37156e955b790"},"schema_version":"1.0","source":{"id":"1811.01942","kind":"arxiv","version":1}},"canonical_sha256":"d6de4990f51dfed1539b71bd05e181f1894fbb9afd9282e80595affb8554ba44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d6de4990f51dfed1539b71bd05e181f1894fbb9afd9282e80595affb8554ba44","first_computed_at":"2026-05-18T00:01:32.641591Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:32.641591Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yaKwSyNXZFMAq7m/TRQClLTgLLYOXMFJnxzzqbMclX4+7b3rFOOgaX87WN9nndDNiqC8qXT98hEI0lgRwekJCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:32.642160Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.01942","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd173403ef5641d1d0a98cb77950677b89da1f4775a2dcdc2b81d6b04a6a0904","sha256:163513a22aa9735cf4b96f12e0f92d2b8c35f8a749492270ecec12343f685d1a"],"state_sha256":"20b8809497883dfc608283fb6436a3aa409597992e88c267f9fbccca076e157a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7qbfqg4Z6AN4+eEhhedL7dFX0svdIRvTjPhYwSHTaT2l+XdtL11Lf8pfJRPrhc46yyipwC+fd8Doq8L2F0YUDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T09:53:42.699507Z","bundle_sha256":"4270be868ee64f307c53fec1e0327cc70bf99f6a5e9612019016817dec02eea1"}}