Related papers: Opacity of nondeterministic transition systems: A …
One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the…
We consider systems of n particles that move with constant velocity between collisions. Their total momentum but not necessarily their kinetic energy is preserved at collisions. As there are no further constraints, these systems are…
We study a class of filters -- discrete finite-state transition systems employed as incremental stream transducers -- that have application to robotics: e.g., to model combinatorial estimators and also as concise encodings of feedback…
This paper gives an overview of recent results concerning the long time dynamics of repeated interaction quantum systems in a deterministic and random framework. We describe the non equilibrium steady states (NESS) such systems display and…
We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, mainly based on bisimulation games. Our proposal is based on the…
Bistability is widely exploited to demonstrate all-optical signal processing and light-based computing. The standard paradigm of switching between two steady states corresponding to '0" and '1" bits is based on the rule that a transition…
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge…
Opacity, as an important property in information-flow security, characterizes the ability of a system to keep some secret information from an intruder. In discrete-event systems, based on a standard setting in which an intruder has the…
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…
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with…
The transformation of a nondeterministic finite-state automaton into a deterministic finite-state automaton is an integral part of any course on formal languages and automata theory. For some students, understanding this transformation is…
Optomechanical systems open new possibilities in fundamental research at the interface between quantum information and gravity. Recently, an ambitious experimental proposal was suggested by Bose et al. to measure the entanglement between…
To develop a full abstract denotational model of a process language based on prebisimulation preorder, its behavioural semantics has two problems: (1) Two processes related by a standard denotational interpretation afford the same finite…
We consider a model for substrate-depletion oscillations in genetic systems, based on a stochastic differential equation with a slowly evolving external signal. We show the existence of critical transitions in the system. We apply two…
Recent experimental results showing untypical nonlinear absorption and marked deviations from well known universality in the low temperature acoustic and dielectric losses in amorphous solids prove the need for improving the understanding…
In the paper "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" to appear in TCS, we present a comparison of behavioral equivalences for nondeterministic and probabilistic processes. In particular,…
This paper is composed of two main results concerning chains of infinite order which are not necessarily continuous. The first one is a decomposition of the transition probability kernel as a countable mixture of unbounded probabilistic…
As the fundamental tool in quantum information science, the uncertainty principle is essential for manifesting nonclassical properties of quantum systems. Plenty of efforts on the uncertainty principle with two observables have been…
The uncertainty relation, as one of the fundamental principles of quantum physics, captures the incompatibility of noncommuting observables in the preparation of quantum states. In this work, we derive two strong and universal uncertainty…
We show that optomechanical quantum systems can undergo dissipative phase transitions within the limit of small nonlinear interaction and strong external drive. In such a defined thermodynamical limit, the nonlinear interaction stabilizes…