Related papers: A Classification of Symbolic Transition Systems
We formulate and prove a de Finetti representation theorem for finitely exchangeable states of a quantum system consisting of k infinite-dimensional subsystems. The theorem is valid for states that can be written as the partial trace of a…
Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important…
We outline the principal results of a recent examination of the quantization of systems with first- and second-class constraints from the point of view of coherent-state phase-space path integration. Two examples serve to illustrate the…
State space subspace algorithms for input-output systems have been widely applied but also have a reasonably well-developedasymptotic theory dealing with consistency. However, guaranteeing the stability of the estimated system matrix is a…
The Master Stability Function is a robust and useful tool for determining the conditions of synchronization stability in a network of coupled systems. While a comprehensive classification exists in the case in which the nodes are chaotic…
This survey describes the recent advances in the construction of Markov partitions for nonuniformly hyperbolic systems. One important feature of this development comes from a finer theory of nonuniformly hyperbolic systems, which we also…
Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying…
We are concerned with input-to-state stability (ISS) of randomly switched systems. We provide preliminary results dealing with sufficient conditions for stochastic versions of ISS for randomly switched systems without control inputs, and…
We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded…
With any state of a multipartite quantum system its separability polytope is associated. This is an algebro-topological object (non-trivial only for mixed states) which captures the localisation of entanglement of the state. Particular…
In this brief review, we introduce a new spin ladder system called skewed spin ladders and discuss the exotic quantum phases of this system. The spin ladders studied are the 5/7, 3/4 and 3/5 systems corresponding to alternately fused 5 and…
We present a suite of algorithmic techniques for handling substitution tilings by treating a tile's hierarchy of supertiles in a purely combinatorial fashion using finite state automata. The resulting techniques are very convenient for…
Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid…
We reformulate the lifting problem in the D1-D5 CFT as a supercharge cohomology problem, and enumerate BPS states according to the fortuitous/monotone classification. Working in the deformed $T^4$ symmetric orbifold theory, we give precise…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
We construct a set of PPT (positive partial transpose) states and show that these PPT states are not separable, thus present a class of bound entangled quantum states.
We consider systems whose steady-states exhibit a nonequilibrium phase transition from an active state to one -among an infinite number- absorbing state, as some control parameter is varied across a threshold value. The pair contact…
Characterization of classes of switching signals that ensure stability of switched systems occupies a significant portion of the switched systems literature. This article collects a multitude of stabilizing switching signals under an…