arXiv Science⌕ Search

arXiv subjects

Dafang Zhao

Publications and source records attributed to Dafang Zhao.

14 recordsLinked to original sources
arXiv2026

Physically Constrained Agentic AI for Energy Scheduling

Agentic AI extends energy management beyond fixed-form interaction by translating natural-language requests into coordinated scheduling actions. We present a hierarchical ReAct Energy Management System (EMS) in which one orchestrator coordinates specialist agent types for shiftable appliances, EV charging, and thermal control. Physical authorization is separated from language generation: a deterministic critic reconstructs each integrated day-ahead candidate and checks its schema, appliance cycles, device power, thermal comfort, and, when active, the whole power feeder limit. Across Qwen 3.5 checkpoints, single-appliance mixed-integer schedules were feasible in 83.3 percent of runs. Localized feedback produced no accepted coupled schedule, whereas a multi-step policy authorized 6/6 current coupled runs: 3/3 for 27B and 3/3 for 35B-A3B. The standard occupied-window policy permits pre-conditioning, enforces comfort from 09:00-18:00. Every accepted schedule passed an independent final replay. Feasible costs were 2522.499 JPY for 27B and 1592.697 JPY for 35B-A3B, which are slightly higher than the mathematical optimization optimum of 1343.380 JPY. These results establish a fail-closed workflow for agentic MIP and MILP energy scheduling under the declared physical model.

eess.SY↗
arXiv2026

Feeder-Aware Service-Conditioned Flexibility of Grid-Interactive Buildings

Grid-interactive buildings can adjust demand, but building-feasible power budgets may differ from accepted feeder-head offers. This study addresses a practical question: to what extent can the adjustable electricity consumption of buildings be translated into deliverable flexibility services while satisfying feeder-head operating requirements? To enable a fair comparison, we adopt the same baseline operating schedule, equipment conditions, and post-service recovery requirements for indoor temperature and battery state of charge (SOC). Flexibility is then evaluated under two settings: one considering only building-level constraints, and the other additionally accounting for feeder-head constraints. We first use a simplified network model with explicit security margins to determine a preliminary amount of flexibility that can be committed. The resulting schedule is then validated using a more detailed network simulation via Modelica. If network losses cause the actual response to deviate from the committed response, the electricity consumption of individual buildings is rescheduled. If the required response still cannot be achieved, the committed flexibility level is reduced. The experiments cover multiple service activation times, regulation directions, and service durations. For comparative purposes, we retain the initial optimization result as the reference estimate of the maximum potentially available flexibility, rather than interpreting the failure of a particular subsequent realization attempt as evidence that a larger flexibility level is inherently infeasible. The results demonstrated that 24.51\% of nonzero flexibility contracts were rejected due to feeder-head constraints, 67.04\% of contracts were accepted with some rescheduling and building redispatch, and only 8.09\% of contracts were accepted without any changes.

eess.SY↗
arXiv2026

RL-PaO: Prediction as Action in Decision Making under Uncertainty

Decision-making under uncertainty often relies on predicted parameters, yet accurate prediction does not necessarily lead to good operational decisions. Aligning prediction with downstream optimization requires learning from the consequences of the decisions those predictions induce. We introduce RL-PaO, a reinforcement learning framework that integrates system formulation, optimization, and decision execution into a single environment. This yields a Markov decision process in which prediction is regarded as action: it shifts the environment to produce subsequent context and reward that explicitly aligns prediction error with realized cost, and learning the optimal policy does not require differentiating through the black-box solver. We evaluate RL-PaO on day-ahead energy scheduling using real historical data. On the test year, RL-PaO achieves the lowest annual cost among the non-oracle baselines, achieving on average $10\%$ cost reduction. Moreover, RL-PaO is capable of further analyses to provide strong interpretability both from the policy evolution perspective and the cost-accuracy trade-off.

cs.LG↗
arXiv2025

Towards Machine Learning-based Model Predictive Control for HVAC Control in Multi-Context Buildings at Scale via Ensemble Learning

The building thermodynamics model, which predicts real-time indoor temperature changes under potential HVAC (Heating, Ventilation, and Air Conditioning) control operations, is crucial for optimizing HVAC control in buildings. While pioneering studies have attempted to develop such models for various building environments, these models often require extensive data collection periods and rely heavily on expert knowledge, making the modeling process inefficient and limiting the reusability of the models. This paper explores a model ensemble perspective that utilizes existing developed models as base models to serve a target building environment, thereby providing accurate predictions while reducing the associated efforts. Given that building data streams are non-stationary and the number of base models may increase, we propose a Hierarchical Reinforcement Learning (HRL) approach to dynamically select and weight the base models. Our approach employs a two-tiered decision-making process: the high-level focuses on model selection, while the low-level determines the weights of the selected models. We thoroughly evaluate the proposed approach through offline experiments and an on-site case study, and the experimental results demonstrate the effectiveness of our method.

cs.AI↗
arXiv2024

A Unified Energy Management Framework for Multi-Timescale Forecasting in Smart Grids

Accurate forecasting of the electrical load, such as the magnitude and the timing of peak power, is crucial to successful power system management and implementation of smart grid strategies like demand response and peak shaving. In multi-time-scale optimization scheduling, rolling optimization is a common solution. However, rolling optimization needs to consider the coupling of different optimization objectives across time scales. It is challenging to accurately capture the mid- and long-term dependencies in time series data. This paper proposes Multi-pofo, a multi-scale power load forecasting framework, that captures such dependency via a novel architecture equipped with a temporal positional encoding layer. To validate the effectiveness of the proposed model, we conduct experiments on real-world electricity load data. The experimental results show that our approach outperforms compared to several strong baseline methods.

cs.LG↗
arXiv2024

Improving Building Temperature Forecasting: A Data-driven Approach with System Scenario Clustering

Heat, Ventilation and Air Conditioning (HVAC) systems play a critical role in maintaining a comfortable thermal environment and cost approximately 40% of primary energy usage in the building sector. For smart energy management in buildings, usage patterns and their resulting profiles allow the improvement of control systems with prediction capabilities. However, for large-scale HVAC system management, it is difficult to construct a detailed model for each subsystem. In this paper, a new data-driven room temperature prediction model is proposed based on the k-means clustering method. The proposed data-driven temperature prediction approach extracts the system operation feature through historical data analysis and further simplifies the system-level model to improve generalization and computational efficiency. We evaluate the proposed approach in the real world. The results demonstrated that our approach can significantly reduce modeling time without reducing prediction accuracy.

cs.LG↗
arXiv2023

Discrete Opial type inequalities for interval-valued functions

We introduce the forward (backward) gH-difference operator of interval sequences, and establish some new discrete Opial type inequalities for interval-valued functions. Further, we obtain generalizations of classical discrete Opial type inequalities. Some examples are presented to illustrate our results.

math.GM↗
arXiv2023

Data-driven HVAC Control Using Symbolic Regression: Design and Implementation

The large amount of data collected in buildings makes energy management smarter and more energy efficient. This study proposes a design and implementation methodology of data-driven heating, ventilation, and air conditioning (HVAC) control. Building thermodynamics is modeled using a symbolic regression model (SRM) built from the collected data. Additionally, an HVAC system model is also developed with a data-driven approach. A model predictive control (MPC) based HVAC scheduling is formulated with the developed models to minimize energy consumption and peak power demand and maximize thermal comfort. The performance of the proposed framework is demonstrated in the workspace in the actual campus building. The HVAC system using the proposed framework reduces the peak power by 16.1\% compared to the widely used thermostat controller.

eess.SY↗
arXiv2018

Some inequalities for interval-valued functions on time scales

We introduce the interval Darboux delta integral (shortly, the $ID$ $Δ$-integral) and the interval Riemann delta integral (shortly, the $IR$ $Δ$-integral) for interval-valued functions on time scales. Fundamental properties of $ID$ and $IR$ $Δ$-integrals and examples are given. Finally, we prove Jensen's, Hölder's and Minkowski's inequalities for the $IR$ $Δ$-integral. Also, some examples are given to illustrate our theorems.

math.CA↗
arXiv2017

The fuzzy Henstock-Kurzweil delta integral on time scales

We investigate properties of the fuzzy Henstock-Kurzweil delta integral (shortly, FHK $Δ$-integral) on time scales, and obtain two necessary and sufficient conditions for FHK $Δ$-integrability. The concept of uniformly FHK $Δ$-integrability is introduced. Under this concept, we obtain a uniformly integrability convergence theorem. Finally, we prove monotone and dominated convergence theorems for the FHK $Δ$-integral.

math.CA↗
arXiv2017

Existence theorems for a nonlinear second-order distributional differential equation

In this work, we are concerned with existence of solutions for a nonlinear second-order distributional differential equation, which contains measure differential equations and stochastic differential equations as special cases. The proof is based on the Leray--Schauder nonlinear alternative and Kurzweil--Henstock--Stieltjes integrals. Meanwhile, examples are worked out to demonstrate that the main results are sharp.

math.CA↗