In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...
The European Union's Green Deal aims for a 55% reduction in greenhouse gas emissions by 2030. To reach this goal, a massive integration of Renewable Energy Sources (RES) into the power grid is necessary. As RES become a large part of the electricity genera ...
We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...
With the growing popularity of electric vehicles (EVs), maintaining power grid stability has become a significant challenge. To address this issue, EV charging control strategies have been developed to manage the switch between vehicle-to-grid (V2G) and gr ...
The thesis explores the issue of fairness in the real-time (RT) control of battery energy storage systems (BESSs) hosted in active distribution networks (ADNs) in the presence of uncertainties by proposing and experimentally validating appropriate control ...
The shift towards DC power distribution networks, enabled by power electronics technologies, is changing the nature of electrical power systems. Nowadays, DC power distribution networks can effectively support the high penetration of distributed energy res ...
In this paper, we propose an analytical stochastic dynamic programming (SDP) algorithm to address the optimal management problem of price-maker community energy storage. As a price-maker, energy storage smooths price differences, thus decreasing energy arb ...
Grid cells in the entorhinal cortex (EC) encode an individual’s location in space, integrating both environmental and multisensory bodily cues. Notably, body-derived signals are also primary signals for the sense of self. While studies have demonstrated th ...
