Related papers: Conditional Transition Systems with Upgrades
We experimentally observe lasing in a hexamer plasmonic lattice and find that when tuning the scale of the unit cell, the polarization winding of the emission changes. By a theoretical analysis we identify the lasing modes as quasi bound…
Although the explicit commutativitiy conditions for second-order linear time-varying systems have been appeared in some literature, these are all for initially relaxed systems. This paper presents explicit necessary and sufficient…
We develop a rigorous theory of external influences on finite discrete dynamical systems, going beyond the perturbation paradigm, in that the external influence need not be a small contribution. Indeed, the covariance condition can be…
Sudden and abrupt changes can occur in a nonlinear system within many fields of science when such a system crosses a tipping point and rapid changes of the system occur in response to slow changes in an external forcing. These can occur…
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…
System dynamics (SD) is an effective approach for helping reveal the temporal behavior of complex systems. Although there have been recent developments in expanding SD to include systems' spatial dependencies, most applications have been…
We consider two types of dynamical systems namely non-autonomous discrete dynamical systems(NDDS) and generic dynamical systems(GDS). In both of them, we study various notions of transitivity. We give many equivalent conditions for each of…
Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavioral equivalence for feature transition systems (FTS)…
Spatial diffusion of particles in periodic potential models has provided a good framework for studying the role of chaos in global properties of classical systems. Here a bidimensional "soft" billiard, classically modeled from an optical…
We discuss scalar conformal field theories (CFTs) that can be realized in structural phase transitions. The Landau condition and Lifshitz condition are reviewed, which are necessary conditions for a structural phase transition to be second…
By a physical system we recognize a set of propositions about a given system with their truth-values depending on the states of the system. Since every physical system can go from one state in another one, there exists a binary relation on…
Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general semirings, equipped with a rich set of higher-order operators. As such, FuTS constitute a…
We present an algorithm to study mixed-state dynamics in one-dimensional quantum lattice systems. The algorithm can be used, e.g., to construct thermal states or to simulate real time evolutions given by a generic master equation. Its two…
We investigate program equivalence for linear higher-order(sequential) languages endowed with primitives for computational effects. More specifically, we study operationally-based notions of program equivalence for a linear…
The paper gives a systematic analysis of singularities of transition processes in dynamical systems. General dynamical systems with dependence on parameter are studied. A system of relaxation times is constructed. Each relaxation time…
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term…
Additive manufacturing is advantageous for producing lightweight components while addressing complex design requirements. This capability has been bolstered by the introduction of unit lattice cells and the gradation of those cells. In…
Offline Reinforcement learning is commonly used for sequential decision-making in domains such as healthcare and education, where the rewards are known and the transition dynamics $T$ must be estimated on the basis of batch data. A key…
Bifurcations can cause dynamical systems with slowly varying parameters to transition to far-away attractors. The terms ``critical transition'' or ``tipping point'' have been used to describe this situation. Critical transitions have been…
Labeled transition systems can be a great way to visualize the complex behavior of parallel and communicating systems. However, if, during a particular timeframe, no synchronization or communication between processes occurs, then multiple…