{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:STZ6E57WR2L4VOUKOKD4WCPDJD","short_pith_number":"pith:STZ6E57W","schema_version":"1.0","canonical_sha256":"94f3e277f68e97caba8a7287cb09e348ed273a92e7ce31830384f63617040ffa","source":{"kind":"arxiv","id":"1711.09184","version":1},"attestation_state":"computed","paper":{"title":"A Formal Specification Framework for Smart Grid Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Muaz A. Niazi, Waseem Akram","submitted_at":"2017-11-25T04:06:24Z","abstract_excerpt":"Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there is a considerable focus on the practical aspects of smart grid, there are very few modeling attempts and even lesser attempts at formalization. To the best of our knowledge, among other formal methods, formal specification has previously not been applied in the domain of smart grid. In this paper, we attempt to bridge "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1711.09184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-25T04:06:24Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"43b9819ea01f37212a1eeacd11116236fc21381b2ef4782a65db05b6c6c34ad1","abstract_canon_sha256":"f028005f2f8d364d78315672786fd66f183f91e83e65d3e29124b8d85f411653"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:40.296246Z","signature_b64":"sKKMSDfzyFZPshMK1s7lb78r/84p9g1Ef8M2TiOYkPnoJcDpbkTy5z/eBCQxfmEgZSrvqwvfdSQMKIpBkE7yCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94f3e277f68e97caba8a7287cb09e348ed273a92e7ce31830384f63617040ffa","last_reissued_at":"2026-05-18T00:29:40.295509Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:40.295509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Formal Specification Framework for Smart Grid Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Muaz A. Niazi, Waseem Akram","submitted_at":"2017-11-25T04:06:24Z","abstract_excerpt":"Smart grid can be considered as the next step in the evolution of power systems. It comprises of different entities and objects ranging from smart appliances, smart meters, generators, smart storages, and more. One key problem in modeling smart grid is that while currently there is a considerable focus on the practical aspects of smart grid, there are very few modeling attempts and even lesser attempts at formalization. To the best of our knowledge, among other formal methods, formal specification has previously not been applied in the domain of smart grid. In this paper, we attempt to bridge "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09184","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.09184","created_at":"2026-05-18T00:29:40.295643+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.09184v1","created_at":"2026-05-18T00:29:40.295643+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09184","created_at":"2026-05-18T00:29:40.295643+00:00"},{"alias_kind":"pith_short_12","alias_value":"STZ6E57WR2L4","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"STZ6E57WR2L4VOUK","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"STZ6E57W","created_at":"2026-05-18T12:31:43.269735+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD","json":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD.json","graph_json":"https://pith.science/api/pith-number/STZ6E57WR2L4VOUKOKD4WCPDJD/graph.json","events_json":"https://pith.science/api/pith-number/STZ6E57WR2L4VOUKOKD4WCPDJD/events.json","paper":"https://pith.science/paper/STZ6E57W"},"agent_actions":{"view_html":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD","download_json":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD.json","view_paper":"https://pith.science/paper/STZ6E57W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.09184&json=true","fetch_graph":"https://pith.science/api/pith-number/STZ6E57WR2L4VOUKOKD4WCPDJD/graph.json","fetch_events":"https://pith.science/api/pith-number/STZ6E57WR2L4VOUKOKD4WCPDJD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD/action/storage_attestation","attest_author":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD/action/author_attestation","sign_citation":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD/action/citation_signature","submit_replication":"https://pith.science/pith/STZ6E57WR2L4VOUKOKD4WCPDJD/action/replication_record"}},"created_at":"2026-05-18T00:29:40.295643+00:00","updated_at":"2026-05-18T00:29:40.295643+00:00"}