Related papers: Paraconsistent Transition Systems
In this paper we study possibilities of using hierarchical reasoning, symbol elimination and model generation for the verification of parametric systems, where the parameters can be constants or functions. Our goal is to automatically…
We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components communicate by executing interactions which are simultaneous…
It is generally recognized that a distinguishing feature of life is its peculiar capability to avoid equilibration. The origin of this capability and its evolution along the timeline of abiogenesis is not yet understood. We propose to study…
It is usually assumed that any consistent interaction either deforms or retains the gauge symmetries of the corresponding free theory. We propose a simple model where an obvious irreducible gauge symmetry does not survive an interaction,…
We comment on some recent, yet unpublished results concerning instabilities in complex systems and their applications. In particular, we briefly describe main observations during extensive computer simulations of two lattice nonequilibrium…
General frameworks have been recently proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and tools.…
The stability of dynamical systems against perturbations (variations in initial conditions/model parameters) is a property referred to as structural stability. The study of sensitivity to perturbation is essential because in experiment…
The substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when…
Usually, methods evaluating system reliability require engineers to quantify the reliability of each of the system components. For series and parallel systems, there are some options to handle the estimation of each component's reliability.…
Many stochastic physical systems evolve smoothly over time in the sense that the distribution of states changes regularly across time steps. The transition from current state to the next state can often be modeled as the combination of a…
Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing…
We develop a mathematical model to describe the persistence of rule-breaking behaviors in societies, such as traffic violations, disregard for legal restrictions and other forms of noncompliance. Using a replicator-type dynamics with…
In this paper, we present a formalism for representing infinite systems in quantum mechanics by employing a strategy that embraces divergences rather than avoiding them. We do this by representing physical quantities such as inner products,…
Considerable effort has been devoted to developing techniques for witnessing and characterizing quantum resources that emerge from collective properties of a set of states. In this context, Bargmann invariants play a central role: they…
Mathematical models of quantum computers such as a multidimensional quantum Turing machine and quantum circuits are described and its relations with lattice spin models are discussed. One of the main open problems one has to solve if one…
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability relation. This model has been recently made more general by…
We present a general theoretical formalism to compute the fidelity of transformations of unknown quantum states. We then focus on the case of Gaussian transformations of continuous variable quantum systems, where, for the case of a Gaussian…
The concepts of probability, statistics and stochastic theory are being successfully used in structural engineering. Markov Chain modelling is a simple stochastic process model that has found its application in both describing stochastic…
Various physical effects resulting from decoherence are discussed in the algebraic framework. In particular, it is shown that the environment may induce not only classical properties like superselection rules, pointer states or even…
The future development of quantum technologies relies on creating and manipulating quantum systems of increasing complexity, with key applications in computation, simulation and sensing. This poses severe challenges in the efficient…