{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:QA6LKSYXLRFY2BCM73Z5HPLAMS","short_pith_number":"pith:QA6LKSYX","schema_version":"1.0","canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","source":{"kind":"arxiv","id":"1205.6664","version":1},"attestation_state":"computed","paper":{"title":"Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Ender Y\\\"uksel, Flemming Nielson, Hanne Riis Nielson, Heqing Huang, Huibiao Zhu","submitted_at":"2012-05-30T13:19:14Z","abstract_excerpt":"Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative"},"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":"1205.6664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2012-05-30T13:19:14Z","cross_cats_sorted":[],"title_canon_sha256":"b29c90f3940319c0a3f82dc2d26890720e6ac3520a4933c2623990c871631c7c","abstract_canon_sha256":"09eb54f0b6a0860ec68ae807af84d24e3141c069becb63412faff82ac13d5729"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:38.280237Z","signature_b64":"D0KFFakfjpbZWI5LqjFjMNtnvpM6a/jTtle+bSK74SpgdMBX6gGzlG7k1lhuEfeS7tvfw9m17dFUaOWgq3snAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"803cb54b175c4b8d044cfef3d3bd606497dbe32195be23b30cf35e6b2a833089","last_reissued_at":"2026-05-18T03:54:38.279538Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:38.279538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Ender Y\\\"uksel, Flemming Nielson, Hanne Riis Nielson, Heqing Huang, Huibiao Zhu","submitted_at":"2012-05-30T13:19:14Z","abstract_excerpt":"Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.6664","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":"1205.6664","created_at":"2026-05-18T03:54:38.279644+00:00"},{"alias_kind":"arxiv_version","alias_value":"1205.6664v1","created_at":"2026-05-18T03:54:38.279644+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.6664","created_at":"2026-05-18T03:54:38.279644+00:00"},{"alias_kind":"pith_short_12","alias_value":"QA6LKSYXLRFY","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_16","alias_value":"QA6LKSYXLRFY2BCM","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_8","alias_value":"QA6LKSYX","created_at":"2026-05-18T12:27:18.751474+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/QA6LKSYXLRFY2BCM73Z5HPLAMS","json":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS.json","graph_json":"https://pith.science/api/pith-number/QA6LKSYXLRFY2BCM73Z5HPLAMS/graph.json","events_json":"https://pith.science/api/pith-number/QA6LKSYXLRFY2BCM73Z5HPLAMS/events.json","paper":"https://pith.science/paper/QA6LKSYX"},"agent_actions":{"view_html":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS","download_json":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS.json","view_paper":"https://pith.science/paper/QA6LKSYX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1205.6664&json=true","fetch_graph":"https://pith.science/api/pith-number/QA6LKSYXLRFY2BCM73Z5HPLAMS/graph.json","fetch_events":"https://pith.science/api/pith-number/QA6LKSYXLRFY2BCM73Z5HPLAMS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/action/storage_attestation","attest_author":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/action/author_attestation","sign_citation":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/action/citation_signature","submit_replication":"https://pith.science/pith/QA6LKSYXLRFY2BCM73Z5HPLAMS/action/replication_record"}},"created_at":"2026-05-18T03:54:38.279644+00:00","updated_at":"2026-05-18T03:54:38.279644+00:00"}