{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:Z5V27O7HTSZDOS4L3S6MAYA3J6","short_pith_number":"pith:Z5V27O7H","canonical_record":{"source":{"id":"2605.13836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-13T17:57:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"78dba81e503f7c4a21b4836bf80e6241405e48f21e67cd9fc30ca4c83b511635","abstract_canon_sha256":"784db07e26fa060231d31ec1877286c06926cec9e35ae611a7905a27e940173d"},"schema_version":"1.0"},"canonical_sha256":"cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865","source":{"kind":"arxiv","id":"2605.13836","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13836","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13836v1","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13836","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"Z5V27O7HTSZD","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"Z5V27O7HTSZDOS4L","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"Z5V27O7H","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:Z5V27O7HTSZDOS4L3S6MAYA3J6","target":"record","payload":{"canonical_record":{"source":{"id":"2605.13836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-13T17:57:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"78dba81e503f7c4a21b4836bf80e6241405e48f21e67cd9fc30ca4c83b511635","abstract_canon_sha256":"784db07e26fa060231d31ec1877286c06926cec9e35ae611a7905a27e940173d"},"schema_version":"1.0"},"canonical_sha256":"cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:14.922629Z","signature_b64":"W5U+ewgXsXH1aZPrTgWVXKrFrIlyrcoAyS9ed8gokM2HMtTrgbozPtxqQDDvqWkL/NQYQ5o6hHHNdwEaOWVcDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865","last_reissued_at":"2026-05-18T02:44:14.922080Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:14.922080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.13836","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-18T02:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A5bEP6uN1nkOH/GItXRLTvkwZa2dWcYei/a+1GvP+sQiqzuYOHhDHHcyJCQ7hbU7OcneFgZbPb2ecS6jQzHyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T20:26:13.102082Z"},"content_sha256":"bc8d6e2e8891d6c4f6e75bf291a5b3dbe88c30ea8139e4d43c4501eb950ec07e","schema_version":"1.0","event_id":"sha256:bc8d6e2e8891d6c4f6e75bf291a5b3dbe88c30ea8139e4d43c4501eb950ec07e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:Z5V27O7HTSZDOS4L3S6MAYA3J6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachable-Set Decomposition for Real-Time Aggregation of Multi-Zone HVAC Fleets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation.","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Cong Chen, Jiakun Fang, Jingguan Liu, Jinyu Wen, Shaoze Li, Shichang Cui, Xiaomeng Ai","submitted_at":"2026-05-13T17:57:54Z","abstract_excerpt":"Aggregating building heating, ventilation, and air-conditioning (HVAC) fleets provides substantial real-time flexibility to power system operations. However, real-time aggregation of multi-zone HVAC fleets faces two key challenges: (i) strong coupling across zones and time makes flexibility characterization high-dimensional and computationally demanding, and (ii) the sequential revelation of temperature states and exogenous conditions requires that decisions made at each period preserve feasibility over the remaining horizon using only currently realized information. To address these challenge"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Any state within the current reachable set is guaranteed to sustain feasible operation over the entire remaining horizon, and any regulation signal within the reported flexibility interval admits a recursively feasible disaggregation.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The tailored inner approximation of the backward reachable sets remains sufficiently tight and tractable for multi-zone-coupled HVAC dynamics without introducing excessive conservatism that would shrink usable flexibility.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A reachable-set decomposition framework encodes remaining-horizon feasibility into per-period constraints for scalable real-time aggregation of multi-zone HVAC fleets via offline inner approximations and online parallel linear programs.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"57b7f21c40e886b49c22dc8065edb5334cda88674abed389a13abf085620a212"},"source":{"id":"2605.13836","kind":"arxiv","version":1},"verdict":{"id":"675853f6-d490-428c-b6cb-38bd19d81fe5","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T17:40:12.158665Z","strongest_claim":"Any state within the current reachable set is guaranteed to sustain feasible operation over the entire remaining horizon, and any regulation signal within the reported flexibility interval admits a recursively feasible disaggregation.","one_line_summary":"A reachable-set decomposition framework encodes remaining-horizon feasibility into per-period constraints for scalable real-time aggregation of multi-zone HVAC fleets via offline inner approximations and online parallel linear programs.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The tailored inner approximation of the backward reachable sets remains sufficiently tight and tractable for multi-zone-coupled HVAC dynamics without introducing excessive conservatism that would shrink usable flexibility.","pith_extraction_headline":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation."},"references":{"count":31,"sample":[{"doi":"","year":2023,"title":"A control framework to enable a commercial building HV AC system for energy and regulation market signal tracking,","work_id":"b9ec8ad9-39d6-4214-97aa-fe2fb023f032","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Real-time flexibility quantification of a building HV AC system for peak demand reduction,","work_id":"9399c502-4f58-4efe-9489-260edd1cdcfc","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"An analytical feasibility condition for the multi-stage robust scheduling of energy storage systems with application on SCUC,","work_id":"7d0f8d7b-5848-4ad1-84f4-6c4f23c00d62","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2026,"title":"Preference-oriented aggregation of heterogeneous distributed energy resources for reserve dispatch,","work_id":"1b38fac9-cfa5-47a8-a89b-b68591316eda","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"A geometric approach to aggregate flexibility modeling of thermostatically controlled loads,","work_id":"937b05a4-9962-4433-87c7-7655fcc4b2a8","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":31,"snapshot_sha256":"6ae10032d6d8e23f72af9593e799ca6c8de2de1a037647dbbfdb4d82a4bf100a","internal_anchors":1},"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":"675853f6-d490-428c-b6cb-38bd19d81fe5"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QUQFv8ECyxnfmGvfVR4SA6b5OERQ+T456IFyaO/J4r87PX8Rmr1JHaZ36bEn7xNhGo02L5UkZF6139rTnhaoCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T20:26:13.102667Z"},"content_sha256":"a8787e38f9ef89d6a127732b72b4b1a5f59632b7c3ad15d59dfcd10792039180","schema_version":"1.0","event_id":"sha256:a8787e38f9ef89d6a127732b72b4b1a5f59632b7c3ad15d59dfcd10792039180"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/bundle.json","state_url":"https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/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-21T20:26:13Z","links":{"resolver":"https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6","bundle":"https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/bundle.json","state":"https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Z5V27O7HTSZDOS4L3S6MAYA3J6","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":"784db07e26fa060231d31ec1877286c06926cec9e35ae611a7905a27e940173d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-13T17:57:54Z","title_canon_sha256":"78dba81e503f7c4a21b4836bf80e6241405e48f21e67cd9fc30ca4c83b511635"},"schema_version":"1.0","source":{"id":"2605.13836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13836","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13836v1","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13836","created_at":"2026-05-18T02:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"Z5V27O7HTSZD","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"Z5V27O7HTSZDOS4L","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"Z5V27O7H","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:a8787e38f9ef89d6a127732b72b4b1a5f59632b7c3ad15d59dfcd10792039180","target":"graph","created_at":"2026-05-18T02:44:14Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Any state within the current reachable set is guaranteed to sustain feasible operation over the entire remaining horizon, and any regulation signal within the reported flexibility interval admits a recursively feasible disaggregation."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The tailored inner approximation of the backward reachable sets remains sufficiently tight and tractable for multi-zone-coupled HVAC dynamics without introducing excessive conservatism that would shrink usable flexibility."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A reachable-set decomposition framework encodes remaining-horizon feasibility into per-period constraints for scalable real-time aggregation of multi-zone HVAC fleets via offline inner approximations and online parallel linear programs."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation."}],"snapshot_sha256":"57b7f21c40e886b49c22dc8065edb5334cda88674abed389a13abf085620a212"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Aggregating building heating, ventilation, and air-conditioning (HVAC) fleets provides substantial real-time flexibility to power system operations. However, real-time aggregation of multi-zone HVAC fleets faces two key challenges: (i) strong coupling across zones and time makes flexibility characterization high-dimensional and computationally demanding, and (ii) the sequential revelation of temperature states and exogenous conditions requires that decisions made at each period preserve feasibility over the remaining horizon using only currently realized information. To address these challenge","authors_text":"Cong Chen, Jiakun Fang, Jingguan Liu, Jinyu Wen, Shaoze Li, Shichang Cui, Xiaomeng Ai","cross_cats":["cs.SY"],"headline":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-13T17:57:54Z","title":"Reachable-Set Decomposition for Real-Time Aggregation of Multi-Zone HVAC Fleets"},"references":{"count":31,"internal_anchors":1,"resolved_work":31,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"A control framework to enable a commercial building HV AC system for energy and regulation market signal tracking,","work_id":"b9ec8ad9-39d6-4214-97aa-fe2fb023f032","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Real-time flexibility quantification of a building HV AC system for peak demand reduction,","work_id":"9399c502-4f58-4efe-9489-260edd1cdcfc","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"An analytical feasibility condition for the multi-stage robust scheduling of energy storage systems with application on SCUC,","work_id":"7d0f8d7b-5848-4ad1-84f4-6c4f23c00d62","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Preference-oriented aggregation of heterogeneous distributed energy resources for reserve dispatch,","work_id":"1b38fac9-cfa5-47a8-a89b-b68591316eda","year":2026},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"A geometric approach to aggregate flexibility modeling of thermostatically controlled loads,","work_id":"937b05a4-9962-4433-87c7-7655fcc4b2a8","year":2017}],"snapshot_sha256":"6ae10032d6d8e23f72af9593e799ca6c8de2de1a037647dbbfdb4d82a4bf100a"},"source":{"id":"2605.13836","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T17:40:12.158665Z","id":"675853f6-d490-428c-b6cb-38bd19d81fe5","model_set":{"reader":"grok-4.3"},"one_line_summary":"A reachable-set decomposition framework encodes remaining-horizon feasibility into per-period constraints for scalable real-time aggregation of multi-zone HVAC fleets via offline inner approximations and online parallel linear programs.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation.","strongest_claim":"Any state within the current reachable set is guaranteed to sustain feasible operation over the entire remaining horizon, and any regulation signal within the reported flexibility interval admits a recursively feasible disaggregation.","weakest_assumption":"The tailored inner approximation of the backward reachable sets remains sufficiently tight and tractable for multi-zone-coupled HVAC dynamics without introducing excessive conservatism that would shrink usable flexibility."}},"verdict_id":"675853f6-d490-428c-b6cb-38bd19d81fe5"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bc8d6e2e8891d6c4f6e75bf291a5b3dbe88c30ea8139e4d43c4501eb950ec07e","target":"record","created_at":"2026-05-18T02:44:14Z","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":"784db07e26fa060231d31ec1877286c06926cec9e35ae611a7905a27e940173d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-13T17:57:54Z","title_canon_sha256":"78dba81e503f7c4a21b4836bf80e6241405e48f21e67cd9fc30ca4c83b511635"},"schema_version":"1.0","source":{"id":"2605.13836","kind":"arxiv","version":1}},"canonical_sha256":"cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865","first_computed_at":"2026-05-18T02:44:14.922080Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:14.922080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W5U+ewgXsXH1aZPrTgWVXKrFrIlyrcoAyS9ed8gokM2HMtTrgbozPtxqQDDvqWkL/NQYQ5o6hHHNdwEaOWVcDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:14.922629Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc8d6e2e8891d6c4f6e75bf291a5b3dbe88c30ea8139e4d43c4501eb950ec07e","sha256:a8787e38f9ef89d6a127732b72b4b1a5f59632b7c3ad15d59dfcd10792039180"],"state_sha256":"271941c818016d175fb323c5e7af5afa6f0ff787b82dad3e7dddc1e137d65934"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4YeD2/Q/nbhMbPTXrEodcLaLQZOU6tqq21tOhtQyBsP4ISiQGvt0OA2Ili6HtKvRDWO8I2n2t8Q/Kb6/7eeAAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T20:26:13.107290Z","bundle_sha256":"fa7dcd2d0e9b732f1ad109d9c5b47737938cfa1818d7e41ac1eac8cab80c8724"}}