Related papers: A Classification of Symbolic Transition Systems

In this note we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers and a data transformation, we show that H-infinity controllers for such…

We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for…

We show that the category of finite $\textit{S5}$-algebras (dual to finite reflexive, symmetric and transitive Kripke frames) classifies the essentially algebraic theory whose models are Kan extensions of faithful actions of the finite…

The spectrum of linearized excitations of the Type IIB SUGRA on AdS5xS5 contains both unitary and non-unitary representations. Among the non-unitary, some are finite-dimensional. We explicitly construct the pure spinor vertex operators for…

In this paper we study the number of finite topologies on an $n$-element set subject to various restrictions.

In this work we propose a new type of shift spaces, called blur shift spaces, where one can represent with a single symbol an entire set of infinite symbols. Such shift spaces are constructed from classical shift spaces, by choosing some…

We introduce quantum finite state transducers (qfst), and study the class of relations which they compute. It turns out that they share many features with probabilistic finite state transducers, especially regarding undecidability of…

We investigate the ground states of classical Heisenberg spin systems which have point group symmetry. Examples are the regular polygons (spin rings) and the seven quasi-regular polyhedra including the five Platonic solids. For these…

Controlling hybrid systems is mostly very challenging due to the variety of dynamics these systems can exhibit. Inspired by the concept of differential flatness of nonlinear continuous systems and their inherent invertibility property, the…

We classify local unitary equivalence classes of symmetric states via a classification of their local unitary stabilizer subgroups. For states whose local unitary stabilizer groups have a positive number of continuous degrees of freedom,…

We define various type of states on implicative involutive BE algebras (Jauch-Piron state, (P)-state, (B)-state, subadditive state, valuation), and we investigate the relationships between these states. Moreover, we introduce the unital,…

In this paper we provide examples of topological dynamical systems having either finite or countable scrambled sets. In particular we study conditions for the existence of Li-Yorke, asymptotic and distal pairs in constant--length…

The canonical coherent states are expressed as infinite series in powers of a complex number $z$ in their infinite series version. In this article we present classes of coherent states by replacing this complex number $z$ by other choices,…

We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…

We define a notion of (one-sided) shift spaces over infinite alphabets. Unlike many previous approaches to shift spaces over countable alphabets, our shift spaces are compact Hausdorff spaces. We examine shift morphisms between these shift…

Matthes and Uustalu (TCS 327(1-2):155-174, 2004) presented a categorical description of substitution systems capable of capturing syntax involving binding which is independent of whether the syntax is made up from least or greatest fixed…

In this paper, we study a class of stochastic Generalized Linear Switched System (GLSS), which includes subclasses of jump-Markov, piecewide-linear and Linear Parameter-Varying (LPV) systems. We prove that the output of such systems can be…

We discuss that there exist at least two different choices in the signs of the induced A-infinity structures in shifting the degree of objects in an A-infinity category. We show that both of these choices are naturalin the sense that they…

We define classes of quantum states associated to isotropic submanifolds of cotangent bundles. The classes are stable under the action of semiclassical pseudo-differential operators and covariant under the action of semiclassical Fourier…

We define here two new classes of saturated fusion systems, reduced fusion systems and tame fusion systems. These are motivated by our attempts to better understand and search for exotic fusion systems: fusion systems which are not the…