Related papers: Odometer Based Systems
These lecture notes cover basic automata-theoretic concepts and logical formalisms for the modeling and verification of concurrent and distributed systems. Many of these concepts naturally extend the classical automata and logics over…
A set A is a Sidon set in an additive group G if every element of G can be written at most one way as sum of two elements of A. A particular case of two-dimensional Sidon sets are the sonar sequences, which are two-dimensional…
The decay of a general time dependent structure factors is considered. The dynamics is that of stochastic field equations of the Langevin type, where the systematic generalized force is a functional derivative of some classical field…
For a dynamical system satisfying the approximate product property and asymptotically entropy expansiveness, we characterize a delicate structrue of the space of invariant measures: The ergodic measures of intermediate entropies and…
Chaotic attractors, chaotic saddles and periodic orbits are examples of chain-recurrent sets. Using arbitrary small controls, a trajectory starting from any point in a chain-recurrent set can be steered to any other in that set. The…
We discuss the dependence of set-valued dynamical systems on parameters. Under mild assumptions which are often satisfied for random dynamical systems with bounded noise and control systems, we establish the fact that topological…
In this paper we study ergodic theory of countable Markov shifts. These are dynamical systems defined over non-compact spaces. Our main result relates the escape of mass, the measure theoretic entropy, and the entropy at infinity of the…
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite…
Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member…
One of the main challenges in property testing is to characterize those properties that are testable with a constant number of queries. For unordered structures such as graphs and hypergraphs this task has been mostly settled. However, for…
We consider the category of partially observable dynamical systems, to which the entropy theory of dynamical systems extends functorially. This leads us to introduce quotient-topological entropy. We discuss the structure that emerges. We…
The ordinal approach to evaluate time series due to innovative works of Bandt and Pompe has increasingly established itself among other techniques of nonlinear time series analysis. In this paper, we summarize and generalize the theory of…
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…
We study the ergodic properties (recurrence, discrepancy, diffusion coefficients and ergodicity itself) of a class of $\mathbb Z$-extensions over infinite interval exchange transformations called rotated odometers. The choice of a…
We show that every diffeomorphism with mostly contracting center direction exhibits a geometric-combinatorial structure, which we call \emph{skeleton}, that determines the number, basins and supports of the physical measures. Furthermore,…
Ne\v{s}et\v{r}il and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed…
We study ergodic properties of a family of traffic maps acting in the space of bi-infinite sequences of real numbers. The corresponding dynamics mimics the motion of vehicles in a simple traffic flow, which explains the name. Using…
We introduce ODEFormer, the first transformer able to infer multidimensional ordinary differential equation (ODE) systems in symbolic form from the observation of a single solution trajectory. We perform extensive evaluations on two…
An exact analytical expression for the static structure factor $S(k)$ in disordered materials is derived from Fourier transformed neighbor distribution decompositions in real space, and permits to reconstruct the function $S(k)$ in an…
In this article we study minimal equicontinuous actions on Stone spaces, which we call \emph{subodometers}, and do neither assume that the space is metrizable, nor any assumptions on the acting group. We show that the set of eigenvalues is…