Unifying theory for stability of continuous,discontinuous, and discrete-time dynamical systems

Continuous-time dynamical systems whose motions are continuous with respect to time (called continuous dynamical systems), may be viewed as special cases of continuous-time dynamical systems whose motions are not necessarily continuous with respect to time (called discontinuous dynamical systems, or DDS). We show that the classical Lyapunov stability results for continuous dynamical systems are embedded in the authors’ stability results for DDS (given in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474]), in the following sense: if the hypotheses for a given Lyapunov stability result for continuous dynamical systems are satisfied, then the hypotheses of the corresponding stability result for DDS are also satisfied. This shows that the stability results for DDS in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than was previously known, and that the quality of the DDS results therein is consistent with that of the classical Lyapunov stability results for continuous dynamical systems.By embedding discrete-time dynamical systems into a class of DDS with equivalent stability properties, we also show that when the hypotheses of the classical Lyapunov stability results for discrete-time dynamical systems are satisfied, then the hypotheses of the corresponding DDS stability results are also satisfied. This shows that the results for DDS in [H. Ye, A.N. Michel, L. Hou Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than previously known, having connections even with discrete-time dynamical systems!Finally, we demonstrate by the means of a specific example that the stability results for DDS are less conservative than corresponding classical Lyapunov stability results for continuous dynamical systems.     

A theory for synchronization of dynamical systems

In this paper, a theory for synchronization of multiple dynamical systems under specific constraints is developed from a theory of discontinuous dynamical systems. The concepts on synchronization of two or more dynamical systems to specific constraints are presented. The synchronization, desynchronization and penetration of multiple dynamical systems to multiple specified constraints are discussed, and the necessary and sufficient conditions for such synchronicity are developed. The synchronicity of two dynamical systems to a single specific constraint and to multiple specific constraints is investigated. Finally, the synchronization and the corresponding complexity for multiple slave systems with multiple master systems are discussed briefly. The meaning of synchronization for dynamical systems with constraints is extended as a generalized, universal concept. The theory presented in this paper may be as a universal theory for dynamical systems. The paper provides a theoretic frame work in order to control slave systems which can be synchronized with master systems through specific constraints in a general sense.     

转动系统相对论性动力学方程的代数结构与Poisson积分

研究转动相对论系统动力学方程的代数结构,得到了完整保守转动相对论系统与特殊非完整转动相对论系统动力学方程具有Lie代数结构;一般完整转动相对论系统、一般非完整转动相对论系统动力学方程具有Lie容许代数结构。并给出转动相对论系统动力学方程的Poisson积分。     

Finite-time stabilization of nonlinear impulsive dynamical systems

Finite-time stability involves dynamical systems whose trajectories converge to a Lyapunov stable equilibrium state in finite time. For continuous-time dynamical systems finite-time convergence implies nonuniqueness of system solutions in reverse time, and hence, such systems possess non-Lipschitzian dynamics. For impulsive dynamical systems, however, it may be possible to reset the system states to an equilibrium state achieving finite-time convergence without requiring non-Lipschitzian system dynamics. In this paper, we develop sufficient conditions for finite-time stability of impulsive dynamical systems using both scalar and vector Lyapunov functions. Furthermore, we design hybrid finite-time stabilizing controllers for impulsive dynamical systems that are robust against full modelling uncertainty. Finally, we present a numerical example for finite-time stabilization of large-scale impulsive dynamical systems.     

Periodic and chaotic synchronizations of two distinct dynamical systems under sinusoidal constraints

In this paper, periodic and chaotic synchronizations between two distinct dynamical systems under specific constraints are investigated from the theory of discontinuous dynamical systems. The analytical conditions for the sinusoidal synchronization of the pendulum and Duffing oscillator were obtained, and the invariant domain of sinusoidal synchronization is achieved. From analytical conditions, the control parameter map is developed. Numerical illustrations for partial and full sinusoidal synchronizations of chaotic and periodic motions of the controlled pendulum with the Duffing oscillator are carried out. This paper presents how to apply the theory of discontinuous dynamical systems to dynamical system synchronization with specific constraints. The function synchronization of two distinct dynamical systems with specific constraints should be identified only by G-functions. The significance of function synchronization of distinct dynamical systems is to make the synchronicity behaviors hidden, which is very useful for telecommunication synchronization and network security.     

A theory for flow switchability in discontinuous dynamical systems

The G-functions for discontinuous dynamical systems are introduced to investigate singularity in discontinuous dynamical systems. Based on the new G-function, the switchability of a flow from a domain to an adjacent one is discussed. Further, the full and half sink and source, non-passable flows to the separation boundary in discontinuous dynamical systems are discussed. A flow to the separation boundary in a discontinuous dynamical system can be passable or non-passable. Therefore, the switching bifurcations between the passable and non-passable flows are presented. Finally, the first integral quantity increment for discontinuous dynamical systems is given instead of the Melnikov function to develop the iterative mapping relations.     

渐近紧随机动力系统及其极限集的性质

通过对随机动力系统极限行为的研究,推广了传统动力系统的相关定义和理论.由于在无界区域上,Sobolevr紧嵌入的缺乏,Crauel,Debussche及Flancloli等人在研究有界区域上的随机演化系统时所引入的渐近紧的概念不再适用.通过对Ladyzlmnskaya,Rosa等人在对确定性系统的研究中所提出的渐近紧概念的推广,引入了随机动力系统渐近紧的概念,并以相应的示例及严格的理论推导证明了此概念的合理性和必要性.最后,作为这一新的概念的应用,证明了渐近紧随机动力系统极限集的性质.     

Single Parameter Dissipativity and Attractors in DiscreteTirne Asynchronous Systems ∗

Discrete time nonautonomous dynamical systems generated by nonautonomous difference equations are formulated as discrete time skew—product systems consisting of cocycle state mappings that are driven by discrete time autonomous dynamical systems. Forwards and pullback attractors are two possible generalizations of autonomous attractors to such systems. Their existence follows from appropriate forwards or pullback dissipativity conditions. For discrete time nonautonomous dynamical systems generated by asynchronous systems with frequency updating components such a dissipativity condition is usually known for a single starting parameter value of the driving system. Additional conditions that then ensure the existence of a forwards or pullback attractor for such an asynchronous system are investigated here     

Control vector Lyapunov functions for large-scale impulsive dynamical systems

Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory in order to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In this paper, we provide generalizations to the recent extensions of vector Lyapunov theory for continuous-time systems to address stability and control design of impulsive dynamical systems via vector Lyapunov functions. Specifically, we provide a generalized comparison principle involving hybrid comparison dynamics that are dependent on the comparison system states as well as the nonlinear impulsive dynamical system states. Furthermore, we develop stability results for impulsive dynamical systems that involve vector Lyapunov functions and hybrid comparison inequalities. Based on these results, we show that partial stability for state-dependent impulsive dynamical systems can be addressed via vector Lyapunov functions. Furthermore, we extend the recently developed notion of control vector Lyapunov functions to impulsive dynamical systems. Using control vector Lyapunov functions, we construct a universal hybrid decentralized feedback stabilizer for a decentralized affine in the control nonlinear impulsive dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. These results are then used to develop hybrid decentralized controllers for large-scale impulsive dynamical systems with robustness guarantees against full modeling and input uncertainty.     

Conserved Quantities and Symmetries Related to Stochastic Dynamical Systems

The present article focuses on the three topics related to the notions of "conserved quantities" and "symmetries" in stochastic dynamical systems described by stochastic differential equations of Stratonovich type. The first topic is concerned with the relation between conserved quantities and symmetries in stochastic Hamilton dynamical systems, which is established in a way analogous to that in the deterministic Hamilton dynamical theory. In contrast with this, the second topic is devoted to investigate the procedures to derive conserved quantities from symmetries of stochastic dynamical systems without using either the Lagrangian or Hamiltonian structure. The results in these topics indicate that the notion of symmetries is useful for finding conserved quantities in various stochastic dynamical systems. As a further important application of symmetries, the third topic treats the similarity method to stochastic dynamical systems. That is, it is shown that the order of a stochastic system can be reduced, if the system admits symmetries. In each topic, some illustrative examples for stochastic dynamical systems and their conserved quantities and symmetries are given.     

Elementary bifurcations for a simple dynamical system under non-Gaussian Lévy noises

Nonlinear dynamical systems are sometimes under the influence of random fluctuations. It is desirable to examine possible bifurcations for stochastic dynamical systems when a parameter varies.     

A periodically forced,piecewise linear system,Part II: The fragmentation mechanism of strange attractors and grazing

In the first part of this work, the local singularity of non-smooth dynamical systems was discussed and the criteria for the grazing bifurcation were presented mathematically. In this part, the fragmentation mechanism of strange attractors in non-smooth dynamical systems is investigated. The periodic motion transition is completed through grazing. The concepts for the initial and final grazing, switching manifolds are introduced for six basic mappings. The fragmentation of strange attractors in non-smooth dynamical systems is described mathematically. The fragmentation mechanism of the strange attractor for such a non-smooth dynamical system is qualitatively discussed. Such a fragmentation of the strange attractor is illustrated numerically. The criteria and topological structures for the fragmentation of the strange attractor need to be further developed as in hyperbolic strange attractors. The fragmentation of the strange attractors extensively exists in non-smooth dynamical systems, which will help us better understand chaotic motions in non-smooth dynamical systems.     

On the uniqueness of solutions to a class of discontinuous dynamical systems

The study of uniqueness of solutions of discontinuous dynamical systems has an important implication: multiple solutions to the initial value problem could not be found in real dynamical systems; also the (attracting or repulsive) sliding mode is inherently linked to the uniqueness of solutions. In this paper a strengthened Lipschitz-like condition for differential inclusions and a geometrical approach for the uniqueness of solutions for a class of Filippov dynamical systems are introduced as tools for uniqueness. Several theoretical and practical examples are discussed.     

Multi-particle dynamical systems and polynomials

Polynomial dynamical systems describing interacting particles in the plane are studied. A method replacing integration of a polynomial multi-particle dynamical system by finding polynomial solutions of partial differential equations is introduced. The method enables one to integrate a wide class of polynomial multi-particle dynamical systems. The general solutions of certain dynamical systems related to linear second-order partial differential equations are found. As a by-product of our results, new families of orthogonal polynomials are derived.     

Sensitivity of non-autonomous discrete dynamical systems

In this paper, the sensitivity for non-autonomous discrete systems is investigated. First of all, two sufficient conditions of sensitivity for general non-autonomous dynamical systems are presented. At the same time, one stronger form of sensitivity, that is, cofinite sensitivity, is introduced for non-autonomous systems. Two sufficient conditions of cofinite sensitivity for general non-autonomous dynamical systems are presented. We generalized the result of sensitivity and strong sensitivity for autonomous discrete systems to general non-autonomous discrete systems, and the conditions in this paper are weaker than the correlated conditions of autonomous discrete systems.     

‘Strange’ phenomena in dynamical systems and their physical implications

Some recent developments in dynamical systems theory are outlined and their physical implications are discussed. In particular we introduce the concept of ‘strange attractors’: motions which arise as solutions of deterministic dynamical systems but which have extremely complicated and apparently random structures. We suggest that the behaviour of such motions has serious consequences for dynamical modelling exercises.     

Martelli’s Chaos in Inverse Limit Dynamical Systems and Hyperspace Dynamical Systems

In this paper we investigate Martelli’s chaos of inverse limit dynamical systems and hyperspace dynamical systems which are both induced from dynamical systems on a compact metric space. We give the implication of Martelli’s chaos among those systems. More precisely, we show that inverse limit dynamical system is Martelli’s chaos if and only if so is original system, and we prove that hyperspace dynamical system is Martelli’s chaos implies original system is Martelli’s chaos if the orbit of every single point set of original system is unstable in hyperspace dynamical system.     

Morse decompositions of nonautonomous dynamical systems

The global asymptotic behavior of dynamical systems on compact metric spaces can be described via Morse decompositions. Their components, the so-called Morse sets, are obtained as intersections of attractors and repellers of the system. In this paper, new notions of attractor and repeller for nonautonomous dynamical systems are introduced which are designed to establish nonautonomous generalizations of the Morse decomposition. The dynamical properties of these decompositions are discussed, and nonautonomous Lyapunov functions which are constant on the Morse sets are constructed explicitly. Moreover, Morse decompositions of one-dimensional and linear systems are studied.

     

Decomposition and simulation of sequential dynamical systems

Sequential dynamical systems have been developed as a basis for a theory of computer simulation. This paper contains a generalization of this concept. The notion of morphism of sequential dynamical systems is introduced, formalizing the concept of simulating one system by another. Several examples of morphisms are given. Using the morphism concept, it is shown that every sequential dynamical system decomposes uniquely into a product of indecomposable systems.