Related papers: Experimental Verification of a Time-Domain Load Id…

To address the challenges that the decarbonization of the energy sector is bringing about, advanced distribution network management and operation strategies are being developed. Many of these strategies require accurate network models to…

This paper addresses the quantitative verification of finite-time constrained occupation time for stochastic continuous-time systems governed by stochastic differential equations (SDEs). Unlike classical reachability analysis, which focuses…

This paper presents a new method for studying electromechanical transients in power systems using three phase, combined transmission and distribution models (hybrid models). The methodology models individual phases of an electric network…

Efficient operation of distribution grids in the smart-grid era is hindered by the limited presence of real-time nodal and line meters. In particular, this prevents the easy estimation of grid topology and associated line parameters that…

We provide a physical analysis of the charging and detection of the first few electrons in a laterally-coupled GaAs/AlGaAs quantum dot (LCQD) circuit with integrated quantum point contact (QPC) read-out. Our analysis is based on the…

We demonstrate an ultrafast voltage sampling technique using a stream of electron wavepackets. Electrons are emitted from a single-electron pump and travel through electron waveguides towards a detector potential barrier. Our electrons…

Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature,…

The ability to emit and control single electrons in a dynamical manner enables their use in electron quantum optics and sensing. To characterize the electron states emitted with energy far above the Fermi energy, a dynamic barrier has been…

Renewables are key enablers for the realization of a sustainable energy supply but grid operators and energy utilities have to mange their intermittent behavior and limited storage capabilities by ensuring the security of supply and power…

Simulating potential cascading failures can be useful for avoiding or mitigating such events. Currently, existing steady-state analysis tools are ill-suited for simulating cascading outages as they do not model frequency dependencies, they…

The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits, which aims to replicate their behavior using a classical…

In the last decade, researchers have been investigating the severity of insulation breakdown caused by partial discharge (PD) in overhead transmission lines with covered conductors or electrical equipment such as generators and motors used…

Load model identification using small disturbance data is studied. It is proved that the individual load to be identified and the rest of the system forms a closed-loop system. Then, the impacts of disturbances entering the feedforward…

We investigate two recently proposed multivariate time series analysis techniques that aim at detecting phase synchronization clusters in spatially extended, nonstationary systems with regard to field applications. The starting point of…

For experimental and simulated solar cells and modules discrete current-voltage data sets are measured. To evaluate the quality of the device, this data needs to be fitted, which is often achieved within the single-diode equivalent-circuit…

We present an efficient machine learning based automated framework for the fast tuning of single-electron pump devices into current quantization regimes. It uses a sparse measurement approach based on an iterative active learning algorithm…

We propose that weak continuous probing may be exploited to determine and define quantum phases of complex many-body systems based on the measurement record alone. We test the resulting phase criterion in numerical simulations of…

We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from…

We propose a characterization method for the overall detection efficiency, afterpulse and dark count probabilities of single-photon counting modules in real-time with simple instrumentation. This method can be applied when the module is…

In this work, we aim to show that there are generally four possible mapping functions that can be used to map the time-domain or frequency-domain representations of an applied voltage input to the resulting time-domain or frequency-domain…