Related papers: Opacity of nondeterministic transition systems: A …
We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of discrete transitions. In particular, we focus on hybrid…
We report an approach to quantum open system dynamics that leads to novel nonlinear constant relations governing information flow among the participants. Our treatment is for mixed state systems entangled in a pure state fashion with an…
Optomechanical systems have been shown both theoretically and experimentally to exhibit an analogon to atomic electromagnetically induced transparency, with sharp transmission features that are controlled by a second laser beam. Here we…
Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2009, Franck Cassez showed that the timed opacity problem,…
In this work, we derive Robertson-Heisenberg like uncertainty relation for two incompatible observables in a pre- and post-selected (PPS) system. The newly defined standard deviation and the uncertainty relation in the PPS system have…
The entanglement criterion for continuous variable systems and the conditions under which the uncertainty relations are fulfilled are generalized to the case of a noncommutative (NC) phase-space. The quantum nature and the separability of…
We consider continuous-time consensus systems whose interactions satisfy a form or reciprocity that is not instantaneous, but happens over time. We show that these systems have certain desirable properties: They always converge…
We study emerging notions of quantum correlations in compound systems. Based on different definitions of quantumness in individual subsystems, we investigate how they extend to the joint description of a composite system. Especially, we…
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the…
We construct uncertainty relation for arbitrary finite dimensional PT invariant non-Hermitian quantum systems within a special inner product framework. This construction is led by good observables which are a more general class of…
Blind source separation (BSS) aims to recover an unobserved signal $S$ from its mixture $X=f(S)$ under the condition that the effecting transformation $f$ is invertible but unknown. As this is a basic problem with many practical…
Lossy channel systems (LCSs) are systems of finite state automata that communicate via unreliable unbounded fifo channels. In order to circumvent the undecidability of model checking for nondeterministic LCSs, probabilistic models have been…
The final-state interaction in multichannel decay processes is sytematically studied with application to B decay in mind. Since the final-state inteaction is intrinsically interwoven with the decay interaction in this case, no simple phase…
First, the topological structure of a transition system is studied. Then, two types of transition system (TS) representations of Boolean networks (BNs) and Boolean control networks (BCNs) are investigated. The first kind of representation…
The quasiprobability representation of quantum states addresses two main concerns, the identification of nonclassical features and the decomposition of the density operator. While the former aspect is a main focus of current research, the…
The problem of exact observability is analyzed for a wide class of neutral type systems by an infinite dimensional approach. The duality with the exact controllabil-ity problem is the main tool. It is based on an explicit expression of a…
First-order irreversible phase transitions (IPT's) between an active regime and an absorbing state are studied in two models by means of both simulations and mean-field stability analysis. Hysteresis around coexistence is the result of the…
This paper investigates an important informationflow security property called opacity in partially-observed discrete-event systems. We consider the presence of a passive intruder (eavesdropper) that knows the dynamic model of the system and…
In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the intention of a system to execute some secret behaviors in the…
An $\infty$-step nilsystem is an inverse limit of minimal nilsystems. In this article is shown that a minimal distal system is an $\infty$-step nilsystem if and only if it has no nontrivial pairs with arbitrarily long finite IP-independence…