Related papers: Comparison of security margin estimation methods u…
We study the verification problem of stochastic systems under signal temporal logic (STL) specifications. We propose a novel approach that enables the verification of the probabilistic satisfaction of STL specifications for nonlinear…
Addressing the uncertainty introduced by increasing renewable integration is crucial for secure power system operation, yet capturing it while preserving the full nonlinear physics of the grid remains a significant challenge. This paper…
The paper develops a novel and general methodology to characterize the nonlinearity of structural systems and to provide a mathematically proven basis for applying partial safety factors to nonlinear structural systems. It establishes, for…
Analyzing the stability of the power system by using a few machines is promising for transient stability assessment. A hybrid direct-time-domain method that is fully based on the thinking of partial energy function is proposed in this…
Spectral risk measures (SRMs) are risk measures that take account of user riskaversion, but to date there has been little guidance on the choice of utility function underlying them. This paper addresses this issue by examining alternative…
Modern market management systems continue to evolve due to the intentions to improve system security and reliability. This evolvement has been leading to a transition of market auction models from a deterministic structure with…
Autonomous Systems (AS) are increasingly proposed, or used, in Safety Critical (SC) applications. Many such systems make use of sophisticated sensor suites and processing to provide scene understanding which informs the AS' decision-making.…
The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment of such convoluted models. For safety-critical tasks in…
As compute power increases with time, more involved and larger simulations become possible. However, it gets increasingly difficult to efficiently use the provided computational resources. Especially in particle-based simulations with a…
Control barrier function (CBF)-QP safety filters enforce safety by minimally modifying a nominal controller. While prior work has mainly addressed robustness of safety under uncertainty, robustness of the resulting closed-loop…
Dynamic response of loads has a significant effect on system stability and directly determines the stability margin of the operating point. Inherent uncertainty and natural variability of load models make the stability assessment especially…
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satisfaction of signal temporal logic specifications. Unlike…
Determining contingency aware dispatch decisions by solving a security-constrained optimal power flow (SCOPF) is challenging for real-world power systems, as the high problem dimensionality often leads to impractical computational…
Power flow (PF) calculations are the backbone of real-time grid operations, across workflows such as contingency analysis (where repeated PF evaluations assess grid security under outages) and topology optimization (which involves PF-based…
Practitioners sometimes suggest to use a combination of Sobol sequences and orthonormal polynomials when applying an LSMC algorithm for evaluation of option prices or in the context of risk capital calculation under the Solvency II regime.…
Electricity systems are experiencing increased effects of randomness and variability due to emerging stochastic assets. The increased effects introduce new uncertainties into power systems that can impact system operability and reliability.…
This letter studies the performance of a single gateway LoRa system in the presence of different interference considering the imperfect orthogonality effect. It utilizes concepts of stochastic geometry to present a low-complexity…
Differing from synchronous generators, there are lack of physical laws governing the synchronization dynamics of voltage-source converters (VSCs). The widely used phase-locked loop (PLL) plays a critical role in maintaining the synchronism…
A robust power scheduling algorithm is proposed to schedule power flow between the main electricity grid and a microgird with solar energy generation and battery energy storage subject to uncertainty in solar energy production. To avoid…
Large railguns require powerful power supply units. At the French-German Research Institute of Saint-Louis (ISL) most experimental railguns are driven by power supply units based on capacitors. Recent investigations at ISL explore the…