{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:47MYTPDUNJNJASOYFBLDMVZ52L","short_pith_number":"pith:47MYTPDU","canonical_record":{"source":{"id":"1709.00715","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-03T13:33:52Z","cross_cats_sorted":[],"title_canon_sha256":"34bb83dd32466a85bf301145c838ecc6d72b12b1067c7212d1c6bc4b3454771b","abstract_canon_sha256":"79afeba1248e2fff61afcfaf61ec5ce7f6a0f6bc3d87a7015944793039680973"},"schema_version":"1.0"},"canonical_sha256":"e7d989bc746a5a9049d8285636573dd2ec1bbf73db6da83a6e5575bbb45b727c","source":{"kind":"arxiv","id":"1709.00715","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00715","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00715v2","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00715","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"pith_short_12","alias_value":"47MYTPDUNJNJ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"47MYTPDUNJNJASOY","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"47MYTPDU","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:47MYTPDUNJNJASOYFBLDMVZ52L","target":"record","payload":{"canonical_record":{"source":{"id":"1709.00715","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-03T13:33:52Z","cross_cats_sorted":[],"title_canon_sha256":"34bb83dd32466a85bf301145c838ecc6d72b12b1067c7212d1c6bc4b3454771b","abstract_canon_sha256":"79afeba1248e2fff61afcfaf61ec5ce7f6a0f6bc3d87a7015944793039680973"},"schema_version":"1.0"},"canonical_sha256":"e7d989bc746a5a9049d8285636573dd2ec1bbf73db6da83a6e5575bbb45b727c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:30.417332Z","signature_b64":"j95A5eQ+2s9ie4cq8uBogKA43ppFzvCZTCerP+PeNCtPWEj3Jg9Wi76SC78GEY+dB4kDEyvw22nop6T0pwVLDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7d989bc746a5a9049d8285636573dd2ec1bbf73db6da83a6e5575bbb45b727c","last_reissued_at":"2026-05-18T00:32:30.416582Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:30.416582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.00715","source_version":2,"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:32:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OuuKRJiu/fkYq37RVnfohwbv4cQ4svCZnX9Kbm3cKA04XbFhGRie3QweFK1ocWEsQIN7sIP6mMlXWTYt5ZYjAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:22:08.661813Z"},"content_sha256":"e9ca6e680964285e65a4e91668726aa2a1a2b6057f29af97984e8ab3aca5e6c1","schema_version":"1.0","event_id":"sha256:e9ca6e680964285e65a4e91668726aa2a1a2b6057f29af97984e8ab3aca5e6c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:47MYTPDUNJNJASOYFBLDMVZ52L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed Real-Time HVAC Control for Cost-Efficient Commercial Buildings under Smart Grid Environment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Di Xie, Kun Wang, Liang Yu, Tao Jiang, Yulong Zou","submitted_at":"2017-09-03T13:33:52Z","abstract_excerpt":"In this paper, we investigate the problem of minimizing the long-term total cost (i.e., the sum of energy cost and thermal discomfort cost) associated with a Heating, Ventilation, and Air Conditioning (HVAC) system of a multizone commercial building under smart grid environment. To be specific, we first formulate a stochastic program to minimize the time average expected total cost with the consideration of uncertainties in electricity price, outdoor temperature, the most comfortable temperature level, and external thermal disturbance. Due to the existence of temporally and spatially coupled c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00715","kind":"arxiv","version":2},"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:32:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E/vVI8AnJw3tWprz8ijVlQGbY1zZr8zeOtA4y+12NaHEwvWNvbOVYlMWAjFx2k/I0/2dvJ4+ve01Dcr8ORTuCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:22:08.662460Z"},"content_sha256":"92bcd766c5b9805d671e4c84b7563e08bcaf4058cabb3c6d02b3f866502a898a","schema_version":"1.0","event_id":"sha256:92bcd766c5b9805d671e4c84b7563e08bcaf4058cabb3c6d02b3f866502a898a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/47MYTPDUNJNJASOYFBLDMVZ52L/bundle.json","state_url":"https://pith.science/pith/47MYTPDUNJNJASOYFBLDMVZ52L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/47MYTPDUNJNJASOYFBLDMVZ52L/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-05-30T05:22:08Z","links":{"resolver":"https://pith.science/pith/47MYTPDUNJNJASOYFBLDMVZ52L","bundle":"https://pith.science/pith/47MYTPDUNJNJASOYFBLDMVZ52L/bundle.json","state":"https://pith.science/pith/47MYTPDUNJNJASOYFBLDMVZ52L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/47MYTPDUNJNJASOYFBLDMVZ52L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:47MYTPDUNJNJASOYFBLDMVZ52L","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":"79afeba1248e2fff61afcfaf61ec5ce7f6a0f6bc3d87a7015944793039680973","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-03T13:33:52Z","title_canon_sha256":"34bb83dd32466a85bf301145c838ecc6d72b12b1067c7212d1c6bc4b3454771b"},"schema_version":"1.0","source":{"id":"1709.00715","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00715","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00715v2","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00715","created_at":"2026-05-18T00:32:30Z"},{"alias_kind":"pith_short_12","alias_value":"47MYTPDUNJNJ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"47MYTPDUNJNJASOY","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"47MYTPDU","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:92bcd766c5b9805d671e4c84b7563e08bcaf4058cabb3c6d02b3f866502a898a","target":"graph","created_at":"2026-05-18T00:32:30Z","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":"In this paper, we investigate the problem of minimizing the long-term total cost (i.e., the sum of energy cost and thermal discomfort cost) associated with a Heating, Ventilation, and Air Conditioning (HVAC) system of a multizone commercial building under smart grid environment. To be specific, we first formulate a stochastic program to minimize the time average expected total cost with the consideration of uncertainties in electricity price, outdoor temperature, the most comfortable temperature level, and external thermal disturbance. Due to the existence of temporally and spatially coupled c","authors_text":"Di Xie, Kun Wang, Liang Yu, Tao Jiang, Yulong Zou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-03T13:33:52Z","title":"Distributed Real-Time HVAC Control for Cost-Efficient Commercial Buildings under Smart Grid Environment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00715","kind":"arxiv","version":2},"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:e9ca6e680964285e65a4e91668726aa2a1a2b6057f29af97984e8ab3aca5e6c1","target":"record","created_at":"2026-05-18T00:32:30Z","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":"79afeba1248e2fff61afcfaf61ec5ce7f6a0f6bc3d87a7015944793039680973","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-03T13:33:52Z","title_canon_sha256":"34bb83dd32466a85bf301145c838ecc6d72b12b1067c7212d1c6bc4b3454771b"},"schema_version":"1.0","source":{"id":"1709.00715","kind":"arxiv","version":2}},"canonical_sha256":"e7d989bc746a5a9049d8285636573dd2ec1bbf73db6da83a6e5575bbb45b727c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7d989bc746a5a9049d8285636573dd2ec1bbf73db6da83a6e5575bbb45b727c","first_computed_at":"2026-05-18T00:32:30.416582Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:30.416582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j95A5eQ+2s9ie4cq8uBogKA43ppFzvCZTCerP+PeNCtPWEj3Jg9Wi76SC78GEY+dB4kDEyvw22nop6T0pwVLDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:30.417332Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.00715","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9ca6e680964285e65a4e91668726aa2a1a2b6057f29af97984e8ab3aca5e6c1","sha256:92bcd766c5b9805d671e4c84b7563e08bcaf4058cabb3c6d02b3f866502a898a"],"state_sha256":"f6bf3c8d59b795f588b17face6d6be0a0f1087b7e21efd6048fd8a47d457c43f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vGYnQL3SOZn86LpJ5xovEJZDxFxAgV0KoCweZQgx5CWLdamPlSaYZetCq0XVr2gNC0FbLCbunsF7CH9iNjbvDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:22:08.665717Z","bundle_sha256":"06a1ee43bde45467c560f3869728d001340e4ea038728ee8e606a225287b5d8e"}}