Pith Number

pith:Z5V27O7H

pith:2026:Z5V27O7HTSZDOS4L3S6MAYA3J6

not attested not anchored not stored refs resolved

Reachable-Set Decomposition for Real-Time Aggregation of Multi-Zone HVAC Fleets

Cong Chen, Jiakun Fang, Jingguan Liu, Jinyu Wen, Shaoze Li, Shichang Cui, Xiaomeng Ai

Reachable-set decomposition encodes future feasibility into current state constraints for multi-zone HVAC fleet aggregation.

arxiv:2605.13836 v1 · 2026-05-13 · eess.SY · cs.SY

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{Z5V27O7HTSZDOS4L3S6MAYA3J6}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest 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.

C2weakest 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.

C3one 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.

References

31 extracted · 31 resolved · 1 Pith anchors

[1] A control framework to enable a commercial building HV AC system for energy and regulation market signal tracking, 2023

[2] Real-time flexibility quantification of a building HV AC system for peak demand reduction, 2022

[3] An analytical feasibility condition for the multi-stage robust scheduling of energy storage systems with application on SCUC, 2025

[4] Preference-oriented aggregation of heterogeneous distributed energy resources for reserve dispatch, 2026

[5] A geometric approach to aggregate flexibility modeling of thermostatically controlled loads, 2017

Receipt and verification

First computed	2026-05-18T02:44:14.922080Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865

Aliases

arxiv: 2605.13836 · arxiv_version: 2605.13836v1 · doi: 10.48550/arxiv.2605.13836 · pith_short_12: Z5V27O7HTSZD · pith_short_16: Z5V27O7HTSZDOS4L · pith_short_8: Z5V27O7H

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/Z5V27O7HTSZDOS4L3S6MAYA3J6 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: cf6bafbbe79cb2374b8bdcbcc0601b4fbdffd45b9fdb0fcd89e283e67a3bf865

Canonical record JSON

{
  "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
  }
}