Results 31 to 40 of about 326,789 (133)
Battery Energy, Volume 5, Issue 1, January 2026.The rise of renewable energy sources is accompanied with a depletion of raw materials used in batteries. The project summarized in this paper presents a system aiming to estimate the SOC and SOH of Lithium‐Ion Battery. This is achieved Using Mixed H∞/H2 Control with Sliding Mode Observer.
Chadi Nohra +4 more
wiley +1 more source
IET Generation, Transmission &Distribution, Volume 20, Issue 1, January/December 2026.This paper builds an admittance model for a DFIG‐STATCOM parallel system. Based on the system, the paper provides a method to optimise the control of the STATCOM， which aims to increase the performance of the system during symmetrical faults .
Wenhao Du +5 more
wiley +1 more source
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]
, 2003 Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Itamar Pitowsky +3 more
core
Applications of real number theorem proving in PVS [PDF]
, 2012 This work is supported by funding from the EPSRC under grants EP/H500162, EP/F02309X and GR/S31242Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly.
Martin, Ursula +7 more
core +1 more source
IET Generation, Transmission &Distribution, Volume 20, Issue 1, January/December 2026.This paper analyzes the robustness of a current‐controlled quasi‐stationary electrical model virtual synchronous machine. Fundamental limitations of structured singular value‐based stability analysis are revealed for nonlinear converter‐dominated power systems when parametric uncertainties significantly affect the operating point.
Christina Zuromski +3 more
wiley +1 more source
IET Generation, Transmission &Distribution, Volume 20, Issue 1, January/December 2026.A new Python‐based methodology that combines the advantages of two established techniques for analysing electrical power systems is presented. An innovative closed‐loop automation solution of IBRs modelled in HD and its integration into power flow analysis in PSS/E is presented.
Mostafa Abdo +4 more
wiley +1 more source
Disproof of Bell's Theorem [PDF]
, 2011 We illustrate an explicit counterexample to Bell's theorem by constructing a pair of dichotomic variables that exactly reproduce the EPR-Bohm correlations in a manifestly local-realistic ...
Christian, Joy
core
Consideration of Active Power in the SVC Control System for Flicker Mitigation in Wind Farms
IET Generation, Transmission &Distribution, Volume 20, Issue 1, January/December 2026.This study integrates active power alongside reactive power inside the control system of static VAr compensator for flicker mitigation. The concurrent forecasting of active power and reactive power is done for 10 ms ahead through adaptive filter techniques, with real‐time updates of the autoregressive moving average model coefficients.
Mehrdad Bandani, Haidar Samet
wiley +1 more source
Reverse Action of ULTCs: A Novel Scheme to Prevent Voltage Instability
IET Generation, Transmission &Distribution, Volume 20, Issue 1, January/December 2026.This study presents a straightforward method to mitigate voltage instability caused by Under‐Load Tap Changers (ULTCs') reverse action. As the system approaches instability, power network equipment may fail to transmit reactive power effectively to loads, resulting in a waste of network‐generated reactive power.
Reza Safanoori +3 more
wiley +1 more source
On the local-indicability cohen–lyndon theorem
, 2011 For a group H and a subset X of H, we let HX denote the set {hxh?1 | h ? H, x ? X}, and when X is a free-generating set of H, we say that the set HX is a Whitehead subset of H. For a group F and an element r of F, we say that r is Cohen–Lyndon aspherical
Antolin, Yago +5 more
core +1 more source