Related papers: Condition (K) for Boolean dynamical systems

We study model checking algorithms for infinite families of finite-state labeled transition systems against temporal properties written in CTL*. Such families arise, for example, as models of highly configurable systems or software product…

A well-known theorem by Fran\c{c}ois Robert expresses the degenerated character of a synchronous Boolean finite dynamical system, in the case where the associated regulatory graph does not contain any circuit: all states of the system go…

For a conditional expectation E on a (unital) C*-algebra A there exists a real number K>=1 such that the mapping (K.E-id_A) is positive if and only if there exists a real number L>=1 such that the mapping (L.E-id_A) is completely positive,…

Necessary conditions for existence of normal extremals in optimal control of systems subject to nonholonomic constraints are derived as solutions of a constrained second order variational problems. In this work, a geometric interpretation…

Let $R$ be a rational function with degree $\geq 2$ and $X$ be its Julia set, its Fatou set, or the Riemann sphere. Suppose that $X$ is not empty. We can regard $R$ as a continuous map from $X$ onto itself. Kajiwara and Watatani showed that…

Let K be a number field and {V_l} be a rational strictly compatible system of semisimple Galois representations of K arising from geometry. Let G_l and V_l^ab be respectively the algebraic monodromy group and the maximal abelian…

The aim of this paper, is to study electrical cardiography problem. Thus, we construct the state space system of this model as mathematical model. Moreover, we present some definitions and results which is described some concepts of linear…

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…

This is the second in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. The research in this article aims to find conditions of an algorithmic nature that are necessary and sufficient to…

We study the $C^*$-algebras associated to upper-semicontinuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer--Raeburn "Stabilization Trick," we construct from each such bundle a groupoid…

Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as…

In this paper, we study graphical conditions for structural controllability and accessibility of drifted bilinear systems over Lie groups. We consider a bilinear control system with drift and controlled terms that evolves over the special…

Let $L/K$ be a Galois extension of local fields of characteristic $0$ with Galois group $G$. If $\mathcal{F}$ is a formal group over the ring of integers in $K$, one can associate to $\mathcal F$ and each positive integer $n$ a $G$-module…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case…

In this paper, we study the mean Li-Yorke chaotic phenomenon along any infinite positive integer sequence for infinite-dimensional random dynamical systems. To be precise, we prove that if an injective continuous infinite-dimensional random…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

It is shown that if $\mathfrak B(V) $ is connected Nichols algebra of diagonal type with $\dim V>1$, then $\dim (\mathfrak L^-(V)) = \infty$ $($resp. $ \dim (\mathfrak L(V)) = \infty $$)$ $($ resp. $ \dim (\mathfrak B(V)) = \infty $$)$ if…

We consider the problem of proving that each point in a given set of states ("target set") can indeed be reached by a given nondeterministic continuous-time dynamical system from some initial state. We consider this problem for abstract…