{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FHWEIYJ6HU3EIN7IT4KD7GGOQG","short_pith_number":"pith:FHWEIYJ6","canonical_record":{"source":{"id":"1708.05208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-08-17T11:31:22Z","cross_cats_sorted":[],"title_canon_sha256":"3ac17dfc3544a8614113bc258e7c8961f55c4ce187a043212e51f3268a8492f6","abstract_canon_sha256":"3492d104fb1905ca04c6752c173dbe6224dd36fa057c878cb0f5f3c5fbd9da2e"},"schema_version":"1.0"},"canonical_sha256":"29ec44613e3d364437e89f143f98ce819e8ae152a5c25cc1d49580065eaa69cb","source":{"kind":"arxiv","id":"1708.05208","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.05208","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"arxiv_version","alias_value":"1708.05208v1","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.05208","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"pith_short_12","alias_value":"FHWEIYJ6HU3E","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FHWEIYJ6HU3EIN7I","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FHWEIYJ6","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FHWEIYJ6HU3EIN7IT4KD7GGOQG","target":"record","payload":{"canonical_record":{"source":{"id":"1708.05208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-08-17T11:31:22Z","cross_cats_sorted":[],"title_canon_sha256":"3ac17dfc3544a8614113bc258e7c8961f55c4ce187a043212e51f3268a8492f6","abstract_canon_sha256":"3492d104fb1905ca04c6752c173dbe6224dd36fa057c878cb0f5f3c5fbd9da2e"},"schema_version":"1.0"},"canonical_sha256":"29ec44613e3d364437e89f143f98ce819e8ae152a5c25cc1d49580065eaa69cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:34.772863Z","signature_b64":"n9ldzggS/EmTTem+E+iYxES1zsWVxapRBBHWZ4t9a7aQNUSWoIdb0vN5z+nZZbLZfWGgLo0g6dgtowVutfHIAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29ec44613e3d364437e89f143f98ce819e8ae152a5c25cc1d49580065eaa69cb","last_reissued_at":"2026-05-18T00:34:34.772092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:34.772092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.05208","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:34:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T6lBADQFGrDcVes4z2hnJZTxI19cTLVSxpd/D8OBU6+Xdp94K+z6r5+EYuQGYW8SqArU6PC3YRz5IMZQPLpWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:47:07.148970Z"},"content_sha256":"96faa249b9bbd5bacd9f8a12d34a0362b819880c7775725b9771eae5f8568db7","schema_version":"1.0","event_id":"sha256:96faa249b9bbd5bacd9f8a12d34a0362b819880c7775725b9771eae5f8568db7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FHWEIYJ6HU3EIN7IT4KD7GGOQG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic HVAC Control with Real-time Occupancy Recognition and Simulation-guided Model Predictive Control in Low-cost Embedded System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Chien Chen, Chi-Kin Chau, Muhammad Aftab, Talal Rahwan","submitted_at":"2017-08-17T11:31:22Z","abstract_excerpt":"Intelligent building automation systems can reduce the energy consumption of heating, ventilation and air-conditioning (HVAC) units by sensing the comfort requirements automatically and scheduling the HVAC operations dynamically. Traditional building automation systems rely on fairly inaccurate occupancy sensors and basic predictive control using oversimplified building thermal response models, all of which prevent such systems from reaching their full potential. Such limitations can now be avoided due to the recent developments in embedded system technologies, which provide viable low-cost co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.05208","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:34:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HxqsFVtEzOg8fLWHiTvkadPZOMrlG2jMTnitdy3tA3fSAWjrG5FQXgpPRROu6ZpYkog6NicQdPN/KmAVy+zDBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:47:07.149307Z"},"content_sha256":"d23827b416b6773f321be8778e0bb59ad0fd8e34652d2a91eeac01ebfc6ead29","schema_version":"1.0","event_id":"sha256:d23827b416b6773f321be8778e0bb59ad0fd8e34652d2a91eeac01ebfc6ead29"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/bundle.json","state_url":"https://pith.science/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/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-01T20:47:07Z","links":{"resolver":"https://pith.science/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG","bundle":"https://pith.science/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/bundle.json","state":"https://pith.science/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FHWEIYJ6HU3EIN7IT4KD7GGOQG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FHWEIYJ6HU3EIN7IT4KD7GGOQG","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":"3492d104fb1905ca04c6752c173dbe6224dd36fa057c878cb0f5f3c5fbd9da2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-08-17T11:31:22Z","title_canon_sha256":"3ac17dfc3544a8614113bc258e7c8961f55c4ce187a043212e51f3268a8492f6"},"schema_version":"1.0","source":{"id":"1708.05208","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.05208","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"arxiv_version","alias_value":"1708.05208v1","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.05208","created_at":"2026-05-18T00:34:34Z"},{"alias_kind":"pith_short_12","alias_value":"FHWEIYJ6HU3E","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FHWEIYJ6HU3EIN7I","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FHWEIYJ6","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:d23827b416b6773f321be8778e0bb59ad0fd8e34652d2a91eeac01ebfc6ead29","target":"graph","created_at":"2026-05-18T00:34:34Z","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":"Intelligent building automation systems can reduce the energy consumption of heating, ventilation and air-conditioning (HVAC) units by sensing the comfort requirements automatically and scheduling the HVAC operations dynamically. Traditional building automation systems rely on fairly inaccurate occupancy sensors and basic predictive control using oversimplified building thermal response models, all of which prevent such systems from reaching their full potential. Such limitations can now be avoided due to the recent developments in embedded system technologies, which provide viable low-cost co","authors_text":"Chien Chen, Chi-Kin Chau, Muhammad Aftab, Talal Rahwan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-08-17T11:31:22Z","title":"Automatic HVAC Control with Real-time Occupancy Recognition and Simulation-guided Model Predictive Control in Low-cost Embedded System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.05208","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:96faa249b9bbd5bacd9f8a12d34a0362b819880c7775725b9771eae5f8568db7","target":"record","created_at":"2026-05-18T00:34:34Z","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":"3492d104fb1905ca04c6752c173dbe6224dd36fa057c878cb0f5f3c5fbd9da2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-08-17T11:31:22Z","title_canon_sha256":"3ac17dfc3544a8614113bc258e7c8961f55c4ce187a043212e51f3268a8492f6"},"schema_version":"1.0","source":{"id":"1708.05208","kind":"arxiv","version":1}},"canonical_sha256":"29ec44613e3d364437e89f143f98ce819e8ae152a5c25cc1d49580065eaa69cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29ec44613e3d364437e89f143f98ce819e8ae152a5c25cc1d49580065eaa69cb","first_computed_at":"2026-05-18T00:34:34.772092Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:34.772092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n9ldzggS/EmTTem+E+iYxES1zsWVxapRBBHWZ4t9a7aQNUSWoIdb0vN5z+nZZbLZfWGgLo0g6dgtowVutfHIAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:34.772863Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.05208","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96faa249b9bbd5bacd9f8a12d34a0362b819880c7775725b9771eae5f8568db7","sha256:d23827b416b6773f321be8778e0bb59ad0fd8e34652d2a91eeac01ebfc6ead29"],"state_sha256":"5658c2d0648a788e65a6d8a63aea1681f77d2b8ada9e6e5d59ca7747e93d17d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ld7mDpxeLKi4zQpbNxVIgoqd2jgx9Z4BJ1O93WIe3sTY9HevoccBPNbHzV3cm1HLTRmOmRzGHWkuhomXP+B9AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T20:47:07.151214Z","bundle_sha256":"8e69807ca94fe5d0ac5da695f3851c6db854252b956bc57fe97ba3f7ec941df4"}}