Related papers: A non-PI minimal system is Li-Yorke sensitive
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)…
We show that a doubly minimal system $X$ has the property that for every minimal system $Y$ the orbit closure of any pair $(y,x) \in Y \times X$ is either $Y \times X$ or it has the form $\Gamma_\pi = \{(\pi(x),x) : x \in X\}$ for some…
We study nonautonomous discrete dynamical systems with randomly perturbed trajectories. We suppose that such a system is generated by a sequence of continuous maps which converges uniformly to a map $f$. We give conditions, under which a…
We study two properties of nonsingular and infinite measure-preserving ergodic systems: weak double ergodicity, and ergodicity with isometric coefficients. We show that there exist infinite measure-preserving transformations that are…
This paper exhibits the closed-loop design constraints using the non-analytic function theory. First, the paper generalizes the sensitivity integral for linear feedback systems with the non-analytic sensitivity function. Sensitivity…
This paper establishes topological (equi-)semiconjugacy and (equi-)conjugacy between induced non-autonomous set-valued systems and subshifts of finite type. First, some necessary and sufficient conditions are given for a non-autonomous…
In this short note, we prove that a quasi-periodic torus, with a non-resonant frequency (that can be Diophantine or Liouville) and which is invariant by a sufficiently regular Hamiltonian flow, is KAM stable provided it is Kolmogorov…
We investigate the existence of weak solutions to a certain system of partial differential equations, modelling the behaviour of a compressible non-Newtonian fluid for small Reynolds number. We construct the weak solutions despite the lack…
A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…
In this paper, we consider a weakly coupled system of nonlocal operators which contain both diffusion part with uniformly elliptic diffusion matrices and bounded drift vectors and the jump part with relatively general jump kernels. We use…
This paper presents new results on robust positively invariant (RPI) sets for linear discrete-time systems with additive disturbances. In particular, we study how RPI sets change with scaling of the disturbance set. More precisely, we show…
Consider a real--analytic nearly--integrable mechanical system with potential $f$, namely, a Hamiltonian system, having a real-analytic Hamiltonian $$ H(y,x)=\frac12 | y |^2 +\e f(x)\ , $$ $y,x$ being $n$--dimensional standard action--angle…
We show that non-Markovian open quantum systems can exhibit exact Markovian dynamics up to an arbitrarily long time; the non-Markovianity of such systems is thus perfectly "hidden", i.e. not experimentally detectable by looking at the…
Frequency domain analysis of linear time-invariant (LTI) systems in feedback with static nonlinearities is a classical and fruitful topic of nonlinear systems theory. We generalize this approach beyond equilibrium stability analysis with…
Given two pushdown systems, the bisimilarity problem asks whether they are bisimilar. While this problem is known to be decidable our main result states that it is nonelementary, improving EXPTIME-hardness, which was the previously best…
We consider nonautonomous discrete dynamical systems $\{ f_n\}_{n\ge 1}$, where every $f_n$ is a surjective continuous map $[0,1]\to [0,1]$ such that $f_n$ converges uniformly to a map $f$. We show, among others, that if $f$ is chaotic in…
Negative feedback is a powerful approach capable of improving several aspects of a system. In linear electronics, it has been critical for allowing invariance to device properties. Negative feedback is also known to enhance linearity in…
This paper considers the problem of testing whether there exists a solution satisfying certain non-negativity constraints to a linear system of equations. Importantly and in contrast to some prior work, we allow all parameters in the system…
In this paper, we study the structural state and input observability of continuous-time switched linear time-invariant systems and unknown inputs. First, we provide necessary and sufficient conditions for their structural state and input…
We show that a topological dynamical system is either minimal or have positive topological entropy. Moreover, for equicontinuous systems, we show that topological transitivity, minimality and orbit gluing property are equivalent. These…