The Proofs and Conclusions in Symbolic Dynamic Systems

Duan Xiaojun,Zhang Zenghui

DOI: https://doi.org/10.3969/j.issn.1673-9833.2010.02.010

2010-01-01

Abstract:Based on the definition of symbolic dynamic system,applies series and real variable theory to prove the related conclusions in symbolic dynamic system,such as properties of the distance of replacement mapping and the denseness of periodic points.

What problem does this paper attempt to address?

Supervisory Control Of Boolean Discrete Event Systems

Lu Jianning,Zhao Guangzhou

2005-01-01

Abstract:This note addresses the supervisory control of Boolean Discrete event systems based on RW theory. A series of problems including modeling, controllability, nonblocking and modular control are discussed. According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
A Modeling Method for Process Systems and Studies on the Dynamical Behavior

DAI Huaping,SUN Youxian

DOI: https://doi.org/10.3969/j.issn.1000-8152.2000.04.012

2000-01-01

Abstract:For process systems appear some new problems compared with the traditional DES, this paper will put forward a novel modeling method and derive its linear algebra equations based on semimodule or Dioid. Under the algebraic framework, we will study the dynamical and optimal behavior combined with lattice theories. In the end, an example will show its correctness.\;
Symbolic Dynamics And Characterization Of Complexity

Bl Hao

DOI: https://doi.org/10.1016/0167-2789(91)90229-3

1991-01-01

Abstract:Symbolic dynamics deals with robust properties of dynamics without digging into numbers. For one-dimensional maps there have been some new results (periodic window theorem, generalized composition rule, construction of median words without using harmonics and antiharmonics, incorporation of discrete symmetry to analyze symmetry breaking and symmetry restoration, etc.) This new understanding has been applied to ordinary differential equations, in particular, the systematics of stable periodic solutions in the Lorenz model has been shown to be given basically by symbolic dynamics of the cubic map. Symbolic dynamics may be used to extract invariant characteristics from time series. Its relation with grammatical complexity will also be commented on.
Dynamic Systems and Related Algebra with Applications

Chunrui Zhang,Baodong Zheng,Liancheng Wang

DOI: https://doi.org/10.1155/2013/474951

2013-01-01

Abstract and Applied Analysis

Abstract:and Applied Analysis Volume 2013, Article ID 474951, 2 pages http://dx.doi.org/10.1155/2013/474951
Haldane Gap and Fractional Oscillations in Gated Josephson Arrays

Ehud Altman,Assa Auerbach

DOI: https://doi.org/10.1103/PhysRevLett.81.4484

1998-06-02

Abstract:An analogy between the twisted quantum xxz model and a gated Josephson junction array is used to predict sharp structure in the critical currents versus gate voltage, and fractional AC Josephson frequencies. We prove selection rules for level crossings which imply fractional periodicities of ground states with varying Aharonov-Bohm flux. Extrapolated numerical diagonalization on ladders, find a Haldane gap at moderate easy-plane anisotropy, with vanishing superfluid stiffness. Physical parameters for experimental realization of these novel effects are proposed.

Superconductivity,Mesoscale and Nanoscale Physics,Strongly Correlated Electrons
Fundamentals of dynamic systems

Huajin Tang,Kaychen Tan,Zhang Yi

DOI: https://doi.org/10.1007/978-3-540-69226-3_4

2007-01-01

Abstract:null
The Symbolic Extension Theory in Topological Dynamics

Tomasz Downarowicz,Guohua Zhang

DOI: https://doi.org/10.48550/arXiv.2009.13223

2020-09-28

Abstract:In this survey we will present the symbolic extension theory in topological dynamics, which was built over the past twenty years.

Dynamical Systems
Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

Eddie Nijholt,Lee DeVille

DOI: https://doi.org/10.1063/5.0093842

2022-04-18

Abstract:We consider the general model for dynamical systems defined on a simplicial complex. We describe the conjugacy classes of these systems and show how symmetries in a given simplicial complex manifest in the dynamics defined thereon, especially with regard to invariant subspaces in the dynamics.

Dynamical Systems,Algebraic Topology,Classical Analysis and ODEs,Chaotic Dynamics
Study of a Circle Map Circuit and Its Symbolic Dynamics

陈琢,江皓,张宏

DOI: https://doi.org/10.3969/j.issn.1007-0249.2012.05.008

2012-01-01

Abstract:Based on Integrate-and-Fire Model(ab.IFM),a type of circle map circuit is proposed.The iterative relation and symbolic dynamics are analyzed theoretically.By adjusting parameters of the circuit and the threshold signal,the circuit may work in periodic and chaotic states.A method of acquiring symbolic sequence only by logic judgment is studied,and the system is also constructed by MCU and logic units.From the symbolic sequences,it is convenient to compute period and rotation,to distinguish periodic,quasiperiodic and chaotic motion.So an effective way is provided for further study and application.
SYMBOLIC DYNAMICS ANALYSIS OF SYMMETRY BREAKING AND RESTORATION

WEI-MOU ZHENG,BAI-LIN HAO

DOI: https://doi.org/10.1142/s0217979289000816

1989-01-01

Abstract:A bifurcation theory and symbolic dynamics analysis of symmetry breakings and restorations in antisymmetric mappings is carried out. The fact that symmetry breakings are precursors to period-doubling happens to be a natural consequence of word ordering in symbolic dynamics. Symbolic dynamics also provides the selection rule for such bifurcations to occur and helps to locate the symmetry restoration point in the chaotic region. When the inverse branches are known explicitly the analysis may be made detailed enough to determine the bifurcation structure with high precision.
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic

Sabine Frittella,Giuseppe Greco,Alexander Kurz,Alessandra Palmigiano,Vlasta Sikimić

DOI: https://doi.org/10.1093/logcom/exu063

2018-05-19

Abstract:The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present paper include a generalisation of Belnap's cut elimination metatheorem for display calculi, and a revised version of the display-style calculus <a class="link-external link-http" href="http://D.EAK" rel="external noopener nofollow">this http URL</a>. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut elimination as a consequence of the generalised metatheorem.

Logic
Symbolic Dynamics Analysis of the Lorenz Equations

BL Hao,JX Liu,WM Zheng

DOI: https://doi.org/10.1103/physreve.57.5378

1998-01-01

Abstract:Recent progress of symbolic dynamics of one-and especially two-dimensional maps has enabled us to construct symbolic dynamics for systems of ordinary differential equations (ODEs). Numerical study under the guidance of symbolic dynamics is capable of yielding global results on chaotic and periodic regimes in systems of dissipative ODEs, which cannot be obtained either by purely analytical means or by numerical work alone. By constructing symbolic dynamics of one-and two-dimensional maps from the Poincare sections all unstable periodic orbits up to a given length at a fixed parameter set may be located and all stable periodic orbits up to a given length may be found in a wide parameter range. This knowledge, in turn, tells much about the nature of the chaotic limits. Applied to the Lorenz equations, this approach has made it possible to assign absolute periods and symbolic names to stable and unstable periodic orbits in this autonomous system. Symmetry breakings and restorations as well as coexistence of different regimes are also analyzed by using symbolic dynamics.
Connection of Signed and Unsigned Networks Based on Solving Linear Dynamic Systems.

Deyuan Meng,Jianqiang Liang,Yuxin Wu,Ziyang Meng

DOI: https://doi.org/10.1109/tsmc.2019.2945538

2021-01-01

Abstract:In signed networks, the cooperation and antagonism cause great difficulties for their behavior analysis, especially, when they are subject to time-varying topologies. This is different from unsigned networks involving only cooperations, of which behavior analysis can be feasibly achieved based on the nonnegative matrix theory. With these facts, this article first bridges a relation between signed and unsigned networks and then takes advantage of the relation for the behavior analysis of signed networks under directed switching topologies. In particular, a solution is provided for the connection of signed and unsigned networks via solving a class of linear dynamic systems, which is obtained by separating antagonisms from cooperations. The solution makes it possible to employ the convergence results for unsigned networks to address the convergence issues for signed networks. If the joint spanning tree condition is met, then switching signed networks can achieve the quasi-interval bipartite consensus. Moreover, the established results can be applied to signed networks with both continuous-time and discrete-time dynamics.
SYMBOLIC DYNAMICS OF UNIMODAL MAPS REVISITED

BAI-LIN HAO,WEI-MOU ZHENG

DOI: https://doi.org/10.1142/s0217979289000178

1989-01-01

Abstract:Symbolic dynamics of unimodal maps has been recast into a more natural and down-to-numbers way. The median itineraries are built without such artificial constructions as "antiharmonics" and "harmonics" by making use of the newly established periodic window theorem. A generalized composition rule extends the *-composition introduced by Derrida, Gervois and Pomeau. Periodic as well as chaotic orbits are described systematically. The location of all superstable periodic orbits and band-merging points may be calculated by solving equations obtained directly from the corresponding symbolic sequences.
An Algebraic Criterion of Zero Solutions of Some Dynamic Systems

Ying Wang,Baodong Zheng,Chunrui Zhang

DOI: https://doi.org/10.1155/2012/956359

2012-01-01

Abstract and Applied Analysis

Abstract:We establish some algebraic results on the zeros of some exponential polynomials and a real coefficient polynomial. Based on the basic theorem, we develop a decomposition technique to investigate the stability of two coupled systems and their discrete versions, that is, to find conditions under which all zeros of the exponential polynomials have negative real parts and the moduli of all roots of a real coefficient polynomial are less than 1.
Topological dynamical systems induced by polynomials and combinatorial consequences

Wen Huang,Song Shao,Xiangdong Ye

DOI: https://doi.org/10.48550/arxiv.2301.07873

2023-01-01

Abstract: Let $d\in {\mathbb N}$ and $p_i$ be an integral polynomial with $p_i(0)=0$, $1\le i\le d$. It is shown that if $S$ is piecewise syndetic in $\mathbb Z$, then $$\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\}$$ is piecewise syndetic in ${\mathbb Z}^2$, which extends the result by Glasner and Furstenberg for linear polynomials. Our result is obtained by showing the density of minimal points of a dynamical system of ${\mathbb Z}^2$ action associated with the piecewise syndetic set $S$ and the polynomials $\{p_1,\ldots,p_d\}$. Moreover, it is proved that if $(X,T)$ is minimal, then for each non-empty open subset $U$ of $X$, there is $x\in U$ with $\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\}$ piecewise syndetic.
On Synchronization of Dynamical Systems over Directed Switching Topologies: an Algebraic and Geometric Perspective.

Jiahu Qin,Qichao Ma,Xinghuo Yu,Long Wang

DOI: https://doi.org/10.1109/tac.2020.2971980

IF: 6.549

2020-01-01

IEEE Transactions on Automatic Control

Abstract:In this article, we aim to investigate the synchronization problem of dynamical systems, which can be of generic linear or Lipschitz nonlinear type, communicating over directed switching network topologies. A mild connectivity assumption on the switching topologies is imposed, which allows them to be directed and jointly connected. We propose a novel analysis framework from both algebraic and geometric perspectives to justify the attractiveness of the synchronization manifold. Specifically, it is proven that the complementary space of the synchronization manifold can be spanned by certain subspaces constructed from the network structure. This allows to project the states of the dynamical systems onto these subspaces and transform the synchronization problem under consideration equivalently into a convergence one of the projected states in each subspace. Then, assuming the joint connectivity condition on the communication topologies, we are able to work out a unified convergence analysis for both types of dynamical systems. More specifically, for partial-state coupled generic linear systems, it is proven that synchronization can be reached if an extra condition, which is easy to verify in several cases, on the system dynamics is satisfied. For Lipschitz nonlinear systems with positive-definite inner coupling matrix, synchronization is realized if the coupling strength is strong enough to stabilize the evolution of the projected states in each subspace under certain conditions. The above claims generalize the existing results concerning both types of dynamical systems to so far the most general framework. Some illustrative examples are provided to verify our theoretical findings.
Symbolic dynamics for pointwise hyperbolic systems on open regions

CHUPENG WU,YUNHUA ZHOU

DOI: https://doi.org/10.1017/etds.2024.47

2024-09-12

Ergodic Theory and Dynamical Systems

Abstract:Under certain conditions, we construct a countable Markov partition for pointwise hyperbolic diffeomorphism on an open invariant subset , which allows the Lyapunov exponents to be zero. From this partition, we define a symbolic extension that is finite-to-one and onto a subset of O that carries the same finite f-invariant measures as O. Our method relies upon shadowing theory of a recurrent-pointwise-pseudo-orbit that we introduce. As a canonical application, we estimate the number of closed orbits for f.

mathematics, applied
Dynamic Quotient Space Model and Its Basic Properties

ZHANG Ling,ZHANG Bo

DOI: https://doi.org/10.16451/j.cnki.issn1003-6059.2012.02.023

2012-01-01

Pattern Recognition and Artificial Intelligence

Abstract:To solve problems under dynamic conditions,a time variable is introduced based on the original quotient space model(X,f,T),and the original model is extended to a dynamic quotient space(X(t),f(t),T(t)).There are two cases as follows:1) If structure T is fixed,i.e.,(X(t),f(t),T),the dynamic quotient space model is transformed into a high dimensional static model by introducing a time variable into domain X.Then,the properties of the static model can be used.2) When both domain X and attribute f are fixed,i.e.,(X,f,T(t)),the necessary and sufficient condition for forming a chain of quotient space are discussed.And the corresponding principle of quotient approximation is established and its basic properties are discussed.Finally,the application of the dynamic quotient space model to problem solving is given.
Prevalent Behavior of Smooth Strongly Monotone Discrete-Time Dynamical Systems

Yi Wang,Jinxiang Yao,Yufeng Zhang

DOI: https://doi.org/10.48550/arXiv.2103.04746

2021-03-08

Abstract:For C1-smooth strongly monotone discrete-time dynamical systems, it is shown that ``convergence to linearly stable cycles" is a prevalent asymptotic behavior in the measuretheoretic sense. The results are then applied to classes of time-periodic parabolic equations and give new results on prevalence of convergence to periodic solutions. In particular, for equations with Neumann boundary conditions on convex domains, we show the prevalence of the set of initial conditions corresponding to the solutions that converge to spatiallyhomogeneous periodic solutions. While, for equations on radially symmetric domains, we obtain the prevalence of the set of initial values corresponding to solutions that are asymptotic to radially symmetric periodic solutions.

Dynamical Systems

The Proofs and Conclusions in Symbolic Dynamic Systems

Supervisory Control Of Boolean Discrete Event Systems

A Modeling Method for Process Systems and Studies on the Dynamical Behavior

Symbolic Dynamics And Characterization Of Complexity

Dynamic Systems and Related Algebra with Applications

Haldane Gap and Fractional Oscillations in Gated Josephson Arrays

Fundamentals of dynamic systems

The Symbolic Extension Theory in Topological Dynamics

Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

Study of a Circle Map Circuit and Its Symbolic Dynamics

SYMBOLIC DYNAMICS ANALYSIS OF SYMMETRY BREAKING AND RESTORATION

A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic

Symbolic Dynamics Analysis of the Lorenz Equations

Connection of Signed and Unsigned Networks Based on Solving Linear Dynamic Systems.

SYMBOLIC DYNAMICS OF UNIMODAL MAPS REVISITED

An Algebraic Criterion of Zero Solutions of Some Dynamic Systems

Topological dynamical systems induced by polynomials and combinatorial consequences

On Synchronization of Dynamical Systems over Directed Switching Topologies: an Algebraic and Geometric Perspective.

Symbolic dynamics for pointwise hyperbolic systems on open regions

Dynamic Quotient Space Model and Its Basic Properties

Prevalent Behavior of Smooth Strongly Monotone Discrete-Time Dynamical Systems