{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QA2NCAN457YHGP3I7LNUDSKWGZ","short_pith_number":"pith:QA2NCAN4","canonical_record":{"source":{"id":"1804.08209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T01:08:45Z","cross_cats_sorted":[],"title_canon_sha256":"653e0ff1a7a37e5a15caacee08d3065b26ba114c40ce272e9af50c5fd07be801","abstract_canon_sha256":"a349a607a37d6b91979b920a4d619a038bb2ac13b3f01cf31d5bfc51f2b8898c"},"schema_version":"1.0"},"canonical_sha256":"8034d101bceff0733f68fadb41c956365cdd9d5417910e7a1da5669a79eee1d1","source":{"kind":"arxiv","id":"1804.08209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08209","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08209v1","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08209","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"QA2NCAN457YH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QA2NCAN457YHGP3I","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QA2NCAN4","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QA2NCAN457YHGP3I7LNUDSKWGZ","target":"record","payload":{"canonical_record":{"source":{"id":"1804.08209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T01:08:45Z","cross_cats_sorted":[],"title_canon_sha256":"653e0ff1a7a37e5a15caacee08d3065b26ba114c40ce272e9af50c5fd07be801","abstract_canon_sha256":"a349a607a37d6b91979b920a4d619a038bb2ac13b3f01cf31d5bfc51f2b8898c"},"schema_version":"1.0"},"canonical_sha256":"8034d101bceff0733f68fadb41c956365cdd9d5417910e7a1da5669a79eee1d1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:49.203447Z","signature_b64":"6oPMdgfFkpgO2Pq4NgG7R9ymE/isFszcTQ/SA2GRx79VCy8k+x/+7Ifxea9a4kAUkYJULmiWTda/ODeUWFucCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8034d101bceff0733f68fadb41c956365cdd9d5417910e7a1da5669a79eee1d1","last_reissued_at":"2026-05-18T00:17:49.202904Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:49.202904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.08209","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:17:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gilCE8uH+uX7ykU3zTXYUiHvcl42/cUxzvZaPtj2dxQiVU74o15X0I31ELg37Bh+FqmoPt5FAiBaMoJ1rLC+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T02:53:53.602969Z"},"content_sha256":"4d621e3d725f2c279968c0cc4b20e86435eb87403861abf622e0a26278208ce4","schema_version":"1.0","event_id":"sha256:4d621e3d725f2c279968c0cc4b20e86435eb87403861abf622e0a26278208ce4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QA2NCAN457YHGP3I7LNUDSKWGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alexander Melin, Kevin Tomsovic, Mohammed Olama, Seddik Djouadi, Yaosuo Xue, Yichen Zhang","submitted_at":"2018-04-23T01:08:45Z","abstract_excerpt":"Grid supportive (GS) modes integrated within distributed energy resources (DERs) can improve the frequency response. However, synthesis of GS modes for guaranteed performance is challenging. Moreover, a tool is needed to handle sophisticated specifications from grid codes and protection relays. This paper proposes a model predictive control (MPC)-based mode synthesis methodology, which can accommodate the temporal logic specifications (TLSs). The TLSs allow richer descriptions of control specifications addressing both magnitude and time at the same time. The proposed controller will compute a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08209","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:17:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"udc6B65HczUOnwtmnMfYOXYgEv13QWxtQObIwqER3ChVmh/8znEAvUzjrRCN7v7jfXfwG0KMTLZezPdfUvytDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T02:53:53.604633Z"},"content_sha256":"3e4f1a89600f736d283f18a53ed23b0046b91a0367a6c56e4769a16fb864c2d8","schema_version":"1.0","event_id":"sha256:3e4f1a89600f736d283f18a53ed23b0046b91a0367a6c56e4769a16fb864c2d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/bundle.json","state_url":"https://pith.science/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/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-08-04T02:53:53Z","links":{"resolver":"https://pith.science/pith/QA2NCAN457YHGP3I7LNUDSKWGZ","bundle":"https://pith.science/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/bundle.json","state":"https://pith.science/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QA2NCAN457YHGP3I7LNUDSKWGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QA2NCAN457YHGP3I7LNUDSKWGZ","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":"a349a607a37d6b91979b920a4d619a038bb2ac13b3f01cf31d5bfc51f2b8898c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T01:08:45Z","title_canon_sha256":"653e0ff1a7a37e5a15caacee08d3065b26ba114c40ce272e9af50c5fd07be801"},"schema_version":"1.0","source":{"id":"1804.08209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08209","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08209v1","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08209","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"QA2NCAN457YH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QA2NCAN457YHGP3I","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QA2NCAN4","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:3e4f1a89600f736d283f18a53ed23b0046b91a0367a6c56e4769a16fb864c2d8","target":"graph","created_at":"2026-05-18T00:17:49Z","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":"Grid supportive (GS) modes integrated within distributed energy resources (DERs) can improve the frequency response. However, synthesis of GS modes for guaranteed performance is challenging. Moreover, a tool is needed to handle sophisticated specifications from grid codes and protection relays. This paper proposes a model predictive control (MPC)-based mode synthesis methodology, which can accommodate the temporal logic specifications (TLSs). The TLSs allow richer descriptions of control specifications addressing both magnitude and time at the same time. The proposed controller will compute a ","authors_text":"Alexander Melin, Kevin Tomsovic, Mohammed Olama, Seddik Djouadi, Yaosuo Xue, Yichen Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T01:08:45Z","title":"Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08209","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:4d621e3d725f2c279968c0cc4b20e86435eb87403861abf622e0a26278208ce4","target":"record","created_at":"2026-05-18T00:17:49Z","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":"a349a607a37d6b91979b920a4d619a038bb2ac13b3f01cf31d5bfc51f2b8898c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-23T01:08:45Z","title_canon_sha256":"653e0ff1a7a37e5a15caacee08d3065b26ba114c40ce272e9af50c5fd07be801"},"schema_version":"1.0","source":{"id":"1804.08209","kind":"arxiv","version":1}},"canonical_sha256":"8034d101bceff0733f68fadb41c956365cdd9d5417910e7a1da5669a79eee1d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8034d101bceff0733f68fadb41c956365cdd9d5417910e7a1da5669a79eee1d1","first_computed_at":"2026-05-18T00:17:49.202904Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:49.202904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6oPMdgfFkpgO2Pq4NgG7R9ymE/isFszcTQ/SA2GRx79VCy8k+x/+7Ifxea9a4kAUkYJULmiWTda/ODeUWFucCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:49.203447Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.08209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d621e3d725f2c279968c0cc4b20e86435eb87403861abf622e0a26278208ce4","sha256:3e4f1a89600f736d283f18a53ed23b0046b91a0367a6c56e4769a16fb864c2d8"],"state_sha256":"a7e26b96a6accc310189cc8b19b5af125b30a82a42287da05bb785fdc3b93fbb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YQ1Zxc/CfALkUwdD8FWSI5/Tsy60lM1WSkcHumXKd8WvVnzdV5THNUgBGKHQbXqlxS57D4irgd7/xjuf8yJnBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T02:53:53.608873Z","bundle_sha256":"dde6e014a64dd542fe05fb42add4bcb7f1a13d8a1aea7089a63f3e400ef2bc47"}}