{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GSKHLYK5BZROROKRI4VB76T3NZ","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":"52545efa31a804957d8eabc3c01e3f36227b395b3c2cc50830d79eb1e4752353","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-14T16:57:29Z","title_canon_sha256":"f17fc480bc04f9ec0174072d51e0300837d6c68493e0b4980fcdc3e29425f3f5"},"schema_version":"1.0","source":{"id":"1903.06123","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.06123","created_at":"2026-05-17T23:51:15Z"},{"alias_kind":"arxiv_version","alias_value":"1903.06123v1","created_at":"2026-05-17T23:51:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.06123","created_at":"2026-05-17T23:51:15Z"},{"alias_kind":"pith_short_12","alias_value":"GSKHLYK5BZRO","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GSKHLYK5BZROROKR","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GSKHLYK5","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:0190bfeb6d84ca750256a8120652a6316c122ed94bb9fa0df72933744641550f","target":"graph","created_at":"2026-05-17T23:51:15Z","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":"The fact that a proper HVAC control strategy can reduce the energy consumption of a building by up to 45% has driven significant research in demand-based HVAC control. This paper presents a novel framework for modeling and analysis of thermal dynamics in smart buildings that incorporates building's thermal properties, a stochastic occupancy model and heating strategies. Each zone of a building is modeled with the help of discrete time Markov rewards formalism where the states represent the occupancy of that zone (either occupied or empty), and the state rewards incorporate the thermal dynamics","authors_text":"Alessandro Abate, Khaza Anuarul Hoque, Nathalie Cauchi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-14T16:57:29Z","title":"Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.06123","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:9c14241e3722fb39082bc74a87e2d94ea0e4979b01451b0f68178b9306e5daa0","target":"record","created_at":"2026-05-17T23:51:15Z","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":"52545efa31a804957d8eabc3c01e3f36227b395b3c2cc50830d79eb1e4752353","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-14T16:57:29Z","title_canon_sha256":"f17fc480bc04f9ec0174072d51e0300837d6c68493e0b4980fcdc3e29425f3f5"},"schema_version":"1.0","source":{"id":"1903.06123","kind":"arxiv","version":1}},"canonical_sha256":"349475e15d0e62e8b951472a1ffa7b6e7848dd05022c64e5e03d3e6669c6d123","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"349475e15d0e62e8b951472a1ffa7b6e7848dd05022c64e5e03d3e6669c6d123","first_computed_at":"2026-05-17T23:51:15.310775Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:15.310775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ttEzanM5Vry85khC0XUJyZNQatwrsB4vA4LqA87u6PIp+H2I7L6h5zNVlend4Q521I7bwJZAfpMi3cRBNA+nBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:15.311304Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.06123","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c14241e3722fb39082bc74a87e2d94ea0e4979b01451b0f68178b9306e5daa0","sha256:0190bfeb6d84ca750256a8120652a6316c122ed94bb9fa0df72933744641550f"],"state_sha256":"94e32e339282b03f1b9bf4873a9fc26f0eebc752aa9c306642dcf7a70153240d"}