{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:DPM4YVDHFCRX3Q43L2W5AIUMO2","short_pith_number":"pith:DPM4YVDH","canonical_record":{"source":{"id":"1702.03308","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-02-10T19:21:25Z","cross_cats_sorted":[],"title_canon_sha256":"98fbabe4adf063f92dc9dae6568b6b4a3ed66a2ab7e05c627e51f70dad42274d","abstract_canon_sha256":"e29b0da9ac15421ef6d3091aa55abb7937e3951f42e4603609a7461959e927ec"},"schema_version":"1.0"},"canonical_sha256":"1bd9cc546728a37dc39b5eadd0228c76af3e9423bec123b7e18c59110fbbe8a3","source":{"kind":"arxiv","id":"1702.03308","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.03308","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"1702.03308v1","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.03308","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"DPM4YVDHFCRX","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"DPM4YVDHFCRX3Q43","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"DPM4YVDH","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:DPM4YVDHFCRX3Q43L2W5AIUMO2","target":"record","payload":{"canonical_record":{"source":{"id":"1702.03308","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-02-10T19:21:25Z","cross_cats_sorted":[],"title_canon_sha256":"98fbabe4adf063f92dc9dae6568b6b4a3ed66a2ab7e05c627e51f70dad42274d","abstract_canon_sha256":"e29b0da9ac15421ef6d3091aa55abb7937e3951f42e4603609a7461959e927ec"},"schema_version":"1.0"},"canonical_sha256":"1bd9cc546728a37dc39b5eadd0228c76af3e9423bec123b7e18c59110fbbe8a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:54.015754Z","signature_b64":"qNUVbGXLm6h77DqFdS/XjXKxRnGkoYliFXJ7/kO9KEJplIvFi2RFqoJIRGYGFWJHwG9Cv12v/DlN8zUEGTGXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bd9cc546728a37dc39b5eadd0228c76af3e9423bec123b7e18c59110fbbe8a3","last_reissued_at":"2026-05-18T00:50:54.015302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:54.015302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.03308","source_version":1,"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:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/h+HLaDjCCcJKeF8cbawJNdsXz9KQo2Q1lAGZnxYn+IPIq3wRaCYkyC4FrSDN0NidKZCK1uyv2V8LTx+G2RDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:35:49.980502Z"},"content_sha256":"884aadb90482eaa9c3c6b6cb6b020d90fea72f92a371deb24e6a82b6309b36b8","schema_version":"1.0","event_id":"sha256:884aadb90482eaa9c3c6b6cb6b020d90fea72f92a371deb24e6a82b6309b36b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:DPM4YVDHFCRX3Q43L2W5AIUMO2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decentralized and Distributed Temperature Control via HVAC Systems in Energy Efficient Buildings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Ali Malkawi, Bin Yan, Na Li, Wenbo Shi, Xuan Zhang","submitted_at":"2017-02-10T19:21:25Z","abstract_excerpt":"In this paper, we design real-time decentralized and distributed control schemes for Heating Ventilation and Air Conditioning (HVAC) systems in energy efficient buildings. The control schemes balance user comfort and energy saving, and are implemented without measuring or predicting exogenous disturbances. Firstly, we introduce a thermal dynamic model of building systems and formulate a steady-state resource allocation problem, which aims to minimize the aggregate deviation between zone temperatures and their set points, as well as the building energy consumption, subject to practical operatin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.03308","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"},"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:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EDWmSXC1gl5hARNRUuGAR9OyVm8FSYfyPlX2PkPiHep93bZgX4yR/jvtiWjQe09RB3Ge3w+iKSZcfCBnhYdiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:35:49.981153Z"},"content_sha256":"01e1eba92829ff22c2423866941536df383a0ea67c47c02a324712c3b53989d8","schema_version":"1.0","event_id":"sha256:01e1eba92829ff22c2423866941536df383a0ea67c47c02a324712c3b53989d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/bundle.json","state_url":"https://pith.science/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/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-06-07T14:35:49Z","links":{"resolver":"https://pith.science/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2","bundle":"https://pith.science/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/bundle.json","state":"https://pith.science/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DPM4YVDHFCRX3Q43L2W5AIUMO2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DPM4YVDHFCRX3Q43L2W5AIUMO2","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":"e29b0da9ac15421ef6d3091aa55abb7937e3951f42e4603609a7461959e927ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-02-10T19:21:25Z","title_canon_sha256":"98fbabe4adf063f92dc9dae6568b6b4a3ed66a2ab7e05c627e51f70dad42274d"},"schema_version":"1.0","source":{"id":"1702.03308","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.03308","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"1702.03308v1","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.03308","created_at":"2026-05-18T00:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"DPM4YVDHFCRX","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"DPM4YVDHFCRX3Q43","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"DPM4YVDH","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:01e1eba92829ff22c2423866941536df383a0ea67c47c02a324712c3b53989d8","target":"graph","created_at":"2026-05-18T00:50:54Z","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 design real-time decentralized and distributed control schemes for Heating Ventilation and Air Conditioning (HVAC) systems in energy efficient buildings. The control schemes balance user comfort and energy saving, and are implemented without measuring or predicting exogenous disturbances. Firstly, we introduce a thermal dynamic model of building systems and formulate a steady-state resource allocation problem, which aims to minimize the aggregate deviation between zone temperatures and their set points, as well as the building energy consumption, subject to practical operatin","authors_text":"Ali Malkawi, Bin Yan, Na Li, Wenbo Shi, Xuan Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-02-10T19:21:25Z","title":"Decentralized and Distributed Temperature Control via HVAC Systems in Energy Efficient Buildings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.03308","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:884aadb90482eaa9c3c6b6cb6b020d90fea72f92a371deb24e6a82b6309b36b8","target":"record","created_at":"2026-05-18T00:50:54Z","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":"e29b0da9ac15421ef6d3091aa55abb7937e3951f42e4603609a7461959e927ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-02-10T19:21:25Z","title_canon_sha256":"98fbabe4adf063f92dc9dae6568b6b4a3ed66a2ab7e05c627e51f70dad42274d"},"schema_version":"1.0","source":{"id":"1702.03308","kind":"arxiv","version":1}},"canonical_sha256":"1bd9cc546728a37dc39b5eadd0228c76af3e9423bec123b7e18c59110fbbe8a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1bd9cc546728a37dc39b5eadd0228c76af3e9423bec123b7e18c59110fbbe8a3","first_computed_at":"2026-05-18T00:50:54.015302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:54.015302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qNUVbGXLm6h77DqFdS/XjXKxRnGkoYliFXJ7/kO9KEJplIvFi2RFqoJIRGYGFWJHwG9Cv12v/DlN8zUEGTGXAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:54.015754Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.03308","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:884aadb90482eaa9c3c6b6cb6b020d90fea72f92a371deb24e6a82b6309b36b8","sha256:01e1eba92829ff22c2423866941536df383a0ea67c47c02a324712c3b53989d8"],"state_sha256":"c3bb8177bb769fa5d2fc203b1c3465decabbcbe32dc4975d9f981d2829d56b85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/4khRSOvP9xtP+YIa10QO4864ysczPwDNBDBic63TIyNF8In6Sut1RIjAv+k/1NnICYcPKAG7daFdfRsX3QaDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T14:35:49.984359Z","bundle_sha256":"169b95304f858e88700204d530edfde79dad3a174a067d2c0e73f695fc9eec96"}}