SearcharxivSearch

arXiv subjects

Tristan Kuijpers

Publications and source records attributed to Tristan Kuijpers.

3 recordsLinked to original sources

Using Reinforcement Learning for Demand Response of Domestic Hot Water Buffers: a Real-Life Demonstration

This paper demonstrates a data-driven control approach for demand response in real-life residential buildings. The objective is to optimally schedule the heating cycles of the Domestic Hot Water (DHW) buffer to maximize the self-consumption of the local photovoltaic (PV) production. A model-based reinforcement learning technique is used to tackle the underlying sequential decision-making problem. The proposed algorithm learns the stochastic occupant behavior, predicts the PV production and takes into account the dynamics of the system. A real-life experiment with six residential buildings is performed using this algorithm. The results show that the self-consumption of the PV production is significantly increased, compared to the default thermostat control.

eess.SY

Differentiation in P-minimal structures and a p-adic Local Monotonicity Theorem

We prove a p-adic, local version of the Monotonicity Theorem for P-minimal structures. The existence of such a theorem was originally conjectured by Haskell and Macpherson. We approach the problem by considering the first order strict derivative. In particular, we show that, for a wide class of P-minimal structures, the definable functions f : K -> K are almost everywhere strictly differentiable and satisfy the Local Jacobian Property.

math.LO

Lipschitz extensions of definable p-adic functions

In this paper, we prove a definable version of Kirszbraun's theorem in a non-Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function $f : X \times Y \to \mathbb{Q}_p^s$, where $X\subset \mathbb{Q}_p$ and $Y \subset \mathbb{Q}_p^r$, that is $λ$-Lipschitz in the first variable, extends to a definable function $\tilde{f}:\mathbb{Q}_p\times Y \to \mathbb{Q}_p^s$ that is $λ$-Lipschitz in the first variable.

math.LO