Related papers: Profiles of dynamical systems and their algebra
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains. We investigate the expressive yet concise framework of data-aware dynamic systems (DDS),…
Let us consider a family $F(\alpha,\beta,\gamma,\delta)$ of convex quadrangles in the plane with given angles $\{\alpha,\beta,\gamma,\delta\}$ and with the perimeter $2\pi$. Such quadrangle $Q\in F(\alpha,\beta,\gamma,\delta)$ can be…
We study linearization models for continuous one-parameter semigroups of parabolic type. In particular, we introduce new limit schemes to obtain solutions of Abel's functional equation and to study asymptotic behavior of such semigroups.…
We study algorithmic questions for concurrent systems where the transitions are labeled from a complete, closed semiring, and path properties are algebraic with semiring operations. The algebraic path properties can model dataflow analysis…
We study the localization along a filter of several dynamical notions. This generalizes and extends similar localizations that have been considered in the literature, e.g. near 0 and near an idempotent. Definitions and basic properties of…
A semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities having real coefficients and is a union of finitely many maximally connected components. We consider the problem of deciding whether two…
In previous work, a class of noninvertible topological dynamical systems $f: X \to X$ was introduced and studied; we called these {\em topologically coarse expanding conformal} systems. To such a system is naturally associated a preferred…
In this paper which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…
In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds as a special case of Leibniz manifolds. Also, the notion of almost metriplectic algebroid is introduced. These…
The data generated by long-delayed dynamical systems can be organized in patterns by means of the so-called spatio-temporal representation, uncovering the role of multiple time-scales as independent degrees of freedom. However, their…
The {\it profile} of a relational structure $R$ is the function $\phi_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come…
The purpose of this paper is fourfold. The first is to develop the theory of tropical differential algebraic geometry from scratch; the second is to present the tropical fundamental theorem for differential algebraic geometry, and show how…
We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel…
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous work has shown how to allow collections of machines to…
In this paper we consider function $f(x)={x+a\over bx+c}$, (where $b\ne 0$, $c\ne ab$, $x\ne -{c\over b}$) on three fields: the set of real, $p$-adic and complex numbers. We study dynamical systems generated by this function on each field…
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamically partitioned into regions where the value function is the…
We propose a framework to study models of computation of indeterministic data, represented by abstract "distributions". In these distributions, probabilities are replaced by "amplitudes" drawn from a fixed semi-ring $S$, of which the…
This paper investigates contraction properties of switched dynamical systems for the case that all modes are non-contracting, thereby extending existing results that require at least one mode to be contracting. Leveraging the property that…
In order to investigate the evolutionary process of many deterministic Dynamical systems with unfixed parameter, a set of dynamical models with parameter changing continuously and the accumulation of this change might be large is introduced…
We consider a broad class of dynamic programming (DP) problems that involve a partially linear structure and some positivity properties in their system equation and cost function. We address deterministic and stochastic problems, possibly…