Related papers: Newtonian Mechanics Based Transient Stability PART…
This paper presents a novel design of an electronic circuit that is equivalent to a mechanical discontinuous impact oscillator exhibiting hard impacts. The governing equations of the electronic circuit are derived to demonstrate its…
This paper is a preliminary work to address the problem of dynamical systems with parameters varying in time. An idea to predict their behaviour is proposed. These systems are called \emph{transient systems}, and are distinguished from…
Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into propositional logic and formally verify properties of TsMs…
Several quantum hardware platforms, while being unable to perform fully fault-tolerant quantum computation, can still be operated as analogue quantum simulators for addressing many-body problems. However, due to the presence of errors, it…
Jarzynski's identity for the free energy difference between two equilibrium states can be viewed as a special case of a more general procedure based on phase space mappings. Solving a system's equation of motion by approximate means…
Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. The value of a run can be computed, for example, as the…
In this work, a precise quantum formulation of Einstein's Equivalence Principle (EEP) is developed within the framework of nonrelativistic quantum mechanics. By employing detailed analyses in both the Schr\"odinger and Heisenberg pictures,…
Time-domain simulations are a critical tool for power system operators. Depending on the instability mechanism under consideration and the system characteristics, such as the time constants of controllers, either phasor or Electro-Magnetic…
Small signal analysis is a special case of analytical approaches using Taylor expansions of power system differential equations with the truncation performed at order one. The truncated Taylor expansions (TTEs) at higher orders can lead to…
This paper is concerned with the computational complexity of equivalence and minimisation for automata with transition weights in the field Q of rational numbers. We use polynomial identity testing and the Isolation Lemma to obtain…
The emerging field of passive macro-scale tile-based self-assembly (TBSA) shows promise in enabling effective manufacturing processes by harnessing TBSA's intrinsic parallelism. However, current TBSA methodologies still do not fulfill their…
Economic engineering is a new field wherein economic systems are modelled in the same manner as traditional mechanical and electrical engineering systems. In this paper, we use Newton's theory of motion as the basis for the theory of…
Propellant sloshing is a well-known, but not completely mastered phenomenon in space vehicles. It is particularly critical in both microgravity environments - such as interplanetary spacecraft requiring high pointing stability - and high-g…
Although both systems analyzed are described through two theories apparently different (quantum mechanics and game theory) it is shown that both are analogous and thus exactly equivalents. The quantum analogue of the replicator dynamics is…
Understanding under what conditions it is possible to construct equivalent ensembles is key to advancing our ability to connect microscopic and macroscopic properties of non-equilibrium statistical mechanics. In the case of fluid dynamical…
This paper studies the semi-analytic solution (SAS) of a power system's differential-algebraic equation. A SAS is a closed-form function of symbolic variables including time, the initial state and the parameters on system operating…
We introduce $(\gamma,\delta)$-similarity, a notion of system comparison that measures to what extent two stable linear dynamical systems behave similarly in an input-output sense. This behavioral similarity is characterized by measuring…
This paper investigates the transient stability of power systems co-dominated by different types of grid-forming (GFM) devices. Synchronous generators (SGs and VSGs) and droop-controlled inverters are typical GFM devices in modern power…
We establish a correspondence between two very general paradigms for systems that persist away from thermal equilibrium. In the first paradigm, a nonequilibrium steady state (NESS) is maintained by applying fixed thermodynamic forces that…
Quantum devices featuring mid-circuit measurement and reset capabilities, such as quantum computers and dual-species Rydberg quantum simulators, enable the realization of quantum cellular automata. These systems evolve in discrete time…