Related papers: Paraconsistent Transition Systems
Strong driving of quantum systems opens opportunities for both controlling and characterizing their states. For theoretical studying of these systems properties we use the rate-equation formalism. The advantage of such approach is its…
Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and…
The theory of recurrence relations of linear multi-component and multi-parameter systems on the basis of the canonical transformations theory of the dynamical systems' sets is constructed. The parameters of the grating's knots are defined…
Software platforms often act as structure preserving systems. They provide consistent interfaces and behaviors that remain stable under specific transformations that we denote as symmetries. This paper explores the idea that architectural…
One of the key ways in which quantum mechanics differs from relativity is that it requires a fixed background reference frame for spacetime. In fact, this appears to be one of the main conceptual obstacles to uniting the two theories.…
Various classical counterparts for the two-level pairing model in a many-fermion system are presented in the Schwinger boson representation. It is shown that one of the key ingredients giving the classical descriptions for quantal system is…
A realistic theory of the quantum paraelectric - ferroelectric transition is presented, involving parameters determined from band calculations and a renormalization group treatment of critical fluctuations. The effects of reduced…
In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resources---a form of state transition system---to describe the state-based program…
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they…
This work primarily focuses on an operator inference methodology aimed at constructing low-dimensional dynamical models based on a priori hypotheses about their structure, often informed by established physics or expert insights. Stability…
Modeling and simulation of complex systems is key to explore systems dynamics. Many scientific approaches were developed to represent dynamic structure systems but most of these approaches are efficient for some kinds of systems and…
From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally…
Familiarity with a simulation platform can seduce modellers into accepting untested assumptions for convenience of implementation. These assumptions may have consequences greater than commonly suspected, and it is important that modellers…
Dependent symmetries, symmetries that depend on the situation of the subsystem in a larger closed system, are explored by looking at simple examples. This is a new kind of symmetry in the open quantum dynamics of a subsystem Each symmetry…
We present a construction of non-equilibrium steady states within conformal field theory. These states sustain energy flows between two quantum systems, initially prepared at different temperatures, whose dynamical properties are…
A feature common to many models of vegetation pattern formation in semi-arid ecosystems is a sequence of qualitatively different patterned states, "gaps -> labyrinth -> spots", that occurs as a parameter representing precipitation…
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate…
The environment surrounding a quantum system can, in effect, monitor some of the systems observables. As a result, the eigenstates of these observables continuously decohere and can behave like classical states.
In this manuscript, we investigate symbolic abstractions that capture the behavior of piecewise-affine systems under input constraints and bounded external noise. This is accomplished by considering local affine feedback controllers that…
Counters that hold natural numbers are ubiquitous in modeling and verifying software systems; for example, they model dynamic creation and use of resources in concurrent programs. Unfortunately, such discrete counters often lead to…