{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:C4VDZIDCEEHJMVXO4YYKHVPPX3","short_pith_number":"pith:C4VDZIDC","schema_version":"1.0","canonical_sha256":"172a3ca062210e9656eee630a3d5efbedfbc049bc698211d9a792c5b763694e4","source":{"kind":"arxiv","id":"2106.10692","version":1},"attestation_state":"computed","paper":{"title":"Parallel Statistical Model Checking for Safety Verification in Smart Grids","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.DC","cs.SY"],"primary_cat":"eess.SY","authors_text":"B. Hayes, E. Tronci, F. Mari, I. Melatti, I. Salvo, J.K. Gruber, L. Elmegaard, M. Prodanovic, T. Mancini","submitted_at":"2021-06-20T13:11:10Z","abstract_excerpt":"By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution System Operators to optimise (through suitable time-dependent tariffs) management of the electric grid by avoiding demand peaks. Unfortunately, even with ADR, users power consumption may deviate from the expected (minimum cost) one, e.g., because ADR devices fail to correctly forecast energy needs at user premises. As a result, the aggregated power d"},"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":"2106.10692","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2021-06-20T13:11:10Z","cross_cats_sorted":["cs.DC","cs.SY"],"title_canon_sha256":"85bcbbb135d65755127d5bf95acace3c3cf5d1e66edbed15390d07673b97823b","abstract_canon_sha256":"26db60de267fa404120893868f9074ce0bed3942bea341573e8b106881c17d74"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:50:51.945725Z","signature_b64":"cwbjsaU5wUvthO+QoaEelz5yghDdxofadEoF4PQMIzhYXQ0ij0SwbwLz2vuia9IatNQdDV++UpA++1Mt3bK+Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"172a3ca062210e9656eee630a3d5efbedfbc049bc698211d9a792c5b763694e4","last_reissued_at":"2026-07-05T02:50:51.945346Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:50:51.945346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Parallel Statistical Model Checking for Safety Verification in Smart Grids","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.DC","cs.SY"],"primary_cat":"eess.SY","authors_text":"B. Hayes, E. Tronci, F. Mari, I. Melatti, I. Salvo, J.K. Gruber, L. Elmegaard, M. Prodanovic, T. Mancini","submitted_at":"2021-06-20T13:11:10Z","abstract_excerpt":"By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution System Operators to optimise (through suitable time-dependent tariffs) management of the electric grid by avoiding demand peaks. Unfortunately, even with ADR, users power consumption may deviate from the expected (minimum cost) one, e.g., because ADR devices fail to correctly forecast energy needs at user premises. As a result, the aggregated power d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.10692","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2106.10692/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2106.10692","created_at":"2026-07-05T02:50:51.945413+00:00"},{"alias_kind":"arxiv_version","alias_value":"2106.10692v1","created_at":"2026-07-05T02:50:51.945413+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.10692","created_at":"2026-07-05T02:50:51.945413+00:00"},{"alias_kind":"pith_short_12","alias_value":"C4VDZIDCEEHJ","created_at":"2026-07-05T02:50:51.945413+00:00"},{"alias_kind":"pith_short_16","alias_value":"C4VDZIDCEEHJMVXO","created_at":"2026-07-05T02:50:51.945413+00:00"},{"alias_kind":"pith_short_8","alias_value":"C4VDZIDC","created_at":"2026-07-05T02:50:51.945413+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/C4VDZIDCEEHJMVXO4YYKHVPPX3","json":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3.json","graph_json":"https://pith.science/api/pith-number/C4VDZIDCEEHJMVXO4YYKHVPPX3/graph.json","events_json":"https://pith.science/api/pith-number/C4VDZIDCEEHJMVXO4YYKHVPPX3/events.json","paper":"https://pith.science/paper/C4VDZIDC"},"agent_actions":{"view_html":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3","download_json":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3.json","view_paper":"https://pith.science/paper/C4VDZIDC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2106.10692&json=true","fetch_graph":"https://pith.science/api/pith-number/C4VDZIDCEEHJMVXO4YYKHVPPX3/graph.json","fetch_events":"https://pith.science/api/pith-number/C4VDZIDCEEHJMVXO4YYKHVPPX3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3/action/storage_attestation","attest_author":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3/action/author_attestation","sign_citation":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3/action/citation_signature","submit_replication":"https://pith.science/pith/C4VDZIDCEEHJMVXO4YYKHVPPX3/action/replication_record"}},"created_at":"2026-07-05T02:50:51.945413+00:00","updated_at":"2026-07-05T02:50:51.945413+00:00"}