Continuous random dynamical systems

We study a dynamical system generalizing continuous iterated function systems and stochastic differential equations disturbed by Poisson noise. The main results provide us with sufficient conditions for the existence and uniqueness of an invariant measure for the considered system. Since the dynamical system is defined on an arbitrary Banach space (possibly infinite dimensional), to prove the existence of an invariant measure and its stability we make use of the lower bound technique developed by Lasota and Yorke and extended recently to infinite-dimensional spaces by Szarek. Finally, it is shown that many systems appearing in models of cell division or gene expressions are exactly as those we study. Hence we obtain their stability as well.     

Stability and positivity of equilibria for subhomogeneous cooperative systems

Building on recent work on homogeneous cooperative systems, we extend results concerning stability of such systems to subhomogeneous systems. We also consider subhomogeneous cooperative systems with constant input, and relate the global asymptotic stability of the unforced system to the existence and stability of positive equilibria for the system with input.     

Dissipativity theory for discontinuous dynamical systems: Basic input, state, and output properties, and finite-time stability of feedback interconnections

In this paper, we develop dissipativity theory for discontinuous dynamical systems. Specifically, using set-valued supply rate maps and set-valued connective supply rate maps consisting of locally Lebesgue integrable supply rates and connective supply rates, respectively, and set-valued storage maps consisting of piecewise continuous storage functions, dissipativity properties for discontinuous dynamical systems are presented. Furthermore, extended Kalman–Yakubovich–Popov set-valued conditions, in terms of the discontinuous system dynamics, characterizing dissipativity via generalized Clarke gradients and locally Lipschitz continuous storage functions are derived. Finally, these results are used to develop feedback interconnection stability results for discontinuous dynamical systems by appropriately combining the set-valued storage maps for the forward and feedback systems.     

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.     

Application of mode decomposition approach to the synchronization of the non-identical dynamical systems

The synchronization problem of two different dynamical systems is considered by employing mode decomposition approach in this paper. Synchronization of non-identical coupled dynamical systems with non-chaotic attractors, i.e., equilibria, periodic and quasi-periodic solutions, is investigated analytically and numerically. Some results are obtained by this method. Some examples, supported by numerical simulation, are presented to illustrate the conciseness and effectiveness of the approach.     

On almost sure stability conditions of linear switching stochastic differential systems

In modeling practical systems, it can be efficient to apply Poisson process and Wiener process to represent the abrupt changes and the environmental noise, respectively. Therefore, we consider the systems affected by these random processes and investigate their joint effects on stability. In order to apply Lyapunov stability method, we formulate the action of the infinitesimal generator corresponding to such a system. Then, we derive the almost sure stability conditions by using some fundamental convergence theorem. To illustrate the theoretical results, we construct an example to show that it is possible to achieve stabilization by using random perturbations.     

HOPF BIFURCATION ANALYSIS OF A 3D CHAOTIC SYSTEM

In this paper,a 3D chaotic system with multi-parameters is introduced. The dynamical systems of the original ADVP circuit and the modified ADVP model are regarded as special examples to the system.Some basic dynamical behaviors such as the stability of equilibria,the existence of Hopf bifurcation are investigated.We analyse the Hopf bifurcation of the system comprehensively using the first Lyapunov coefficient by precise symbolic computation.As a result,in fact we have studied the further dynamical behaviors.     

On the nonlinear Poisson bracket arising in nonholonomic mechanics

Nonholonomic systems describing the rolling of a rigid body on a plane and their relationship with various Poisson structures are considered. The notion of generalized conformally Hamiltonian representation of dynamical systems is introduced. In contrast to linear Poisson structures defined by Lie algebras and used in rigid-body dynamics, the Poisson structures of nonholonomic systems turn out to be nonlinear. They are also degenerate and the Casimir functions for them can be expressed in terms of complicated transcendental functions or not appear at all.     

Dynamics in numerics: on two different finite difference schemes for ODEs

We compare two finite difference schemes for Kolmogorov type of ordinary differential equations: Euler's scheme (a derivative approximation scheme) and an integral approximation (IA) scheme, from the view point of dynamical systems. Among the topics we investigate are equilibria and their stability, periodic orbits and their stability, and topological chaos of these two resulting nonlinear discrete dynamical systems.     

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

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

Stability results involving time-averaged Lyapunov function derivatives

The stability results which comprise the Direct Method of Lyapunov involve the existence of auxiliary functions (Lyapunov functions) endowed with certain definiteness properties. Although the Direct Method is very general and powerful, it has some limitations: there are dynamical systems with known stability properties for which there do not exist Lyapunov functions which satisfy the hypotheses of a Lyapunov stability theorem.In the present paper we identify a scalar switched dynamical system whose equilibrium (at the origin) has known stability properties (e.g., uniform asymptotic stability) and we prove that there does not exist a Lyapunov function which satisfies any one of the Lyapunov stability theorems (e.g., the Lyapunov theorem for uniform asymptotic stability). Using this example as motivation, we establish stability results which eliminated some of the limitations of the Direct Method alluded to. These results involve time-averaged Lyapunov function derivatives (TALFD’s). We show that these results are amenable to the analysis of the same dynamical systems for which the Direct Method fails. Furthermore, and more importantly, we prove that the stability results involving TALFD’s are less conservative than the results which comprise the Direct Method (which henceforth, we refer to as the classical Lyapunov stability results).While we confine our presentation to continuous finite-dimensional dynamical systems, the results presented herein can readily be extended to arbitrary continuous dynamical systems defined on metric spaces. Furthermore, with appropriate modifications, stability results involving TALFD’s can be generalized to discontinuous dynamical systems (DDS).     

Time-reversal symmetry,Poincaré recurrence,irreversibility, and the entropic arrow of time: From mechanics to system thermodynamics

In this paper, we use a large-scale dynamical systems perspective to provide a system-theoretic foundation for thermodynamics. Specifically, using a state space formulation, we develop a nonlinear compartmental dynamical system model characterized by energy conservation laws that is consistent with basic thermodynamic principles. In addition, we establish the existence of a unique, continuously differentiable global entropy function for our large-scale dynamical system, and using Lyapunov stability theory we show that the proposed thermodynamic model has convergent trajectories to Lyapunov stable equilibria determined by the system initial energies. Finally, using the system entropy, we establish the absence of Poincaré recurrence for our thermodynamic model and develop a clear connection between irreversibility, the second law of thermodynamics, and the entropic arrow of time.     

Poisson stable motions of monotone nonautonomous dynamical systems

In this paper, we study the Poisson stability(in particular, stationarity, periodicity, quasiperiodicity, Bohr almost periodicity, almost automorphy, recurrence in the sense of Birkhoff, Levitan almost periodicity, pseudo periodicity, almost recurrence in the sense of Bebutov, pseudo recurrence, Poisson stability) of motions for monotone nonautonomous dynamical systems and of solutions for some classes of monotone nonautonomous evolution equations(ODEs, FDEs and parabolic PDEs). As a byproduct, some of our results indicate that all the trajectories of monotone systems converge to the above mentioned Poisson stable trajectories under some suitable conditions, which is interesting in its own right for monotone dynamics.     

Permanence and convergence in multi-species competition systems with delay

The permanence and global attractivity of positive equilibria are obtained for some multi-species Kolmogorov competition models with delay by embedding the system into a larger cooperative system with delay and then appealing to the theory of monotone dynamical systems.

     

Stability Concepts in Topological Dynamics by Nonstandard Methods

It is known that it is not possible to introduce C⁰ -structural stability for whole systems in topological dynamics. Using the methods of Nonstandard Analysis, we suggest four different purely topological stability concepts for dynamical systems on compact subsets of Rⁿ. Classically these amount to considering the space of all systems on a given subset of Rⁿ as the fundamental entity when deforming a continuous system (instead of the space of all continuous systems as is normally done in topological dynamics). For two of the introduced stability concepts, we will show that all minimal flows are stable in this sense. Besides this, we will show that one of our stability concepts is related to what is called the pseudo orbit tracing property in a recently published book by Aoki and Hiraide and compare some of our results to the theory of dynamical systems as presented there.     

Continuous Gradient Projection Method in Hilbert Spaces

This paper is concerned with the asymptotic analysis of the trajectories of some dynamical systems built upon the gradient projection method in Hilbert spaces. For a convex function with locally Lipschitz gradient, it is proved that the orbits converge weakly to a constrained minimizer whenever it exists. This result remains valid even if the initial condition is chosen out of the feasible set and it can be extended in some sense to quasiconvex functions. An asymptotic control result, involving a Tykhonov-like regularization, shows that the orbits can be forced to converge strongly toward a well-specified minimizer. In the finite-dimensional framework, we study the differential inclusion obtained by replacing the classical gradient by the subdifferential of a continuous convex function. We prove the existence of a solution whose asymptotic properties are the same as in the smooth case.     

Nash Equilibria,Variational Inequalities,and Dynamical Systems

In this paper, we introduce some relationships between Nash equilibria, variational equilibria, and dynamical equilibria for noncooperative games.     

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.     

A second-order dynamical system with Hessian-driven damping and penalty term associated to variational inequalities

Abstract

We consider the minimization of a convex objective function subject to the set of minima of another convex function, under the assumption that both functions are twice continuously differentiable. We approach this optimization problem from a continuous perspective by means of a second-order dynamical system with Hessian-driven damping and a penalty term corresponding to the constrained function. By constructing appropriate energy functionals, we prove weak convergence of the trajectories generated by this differential equation to a minimizer of the optimization problem as well as convergence for the objective function values along the trajectories. The performed investigations rely on Lyapunov analysis in combination with the continuous version of the Opial Lemma. In case the objective function is strongly convex, we can even show strong convergence of the trajectories.     

Online optimization of LTI systems under persistent attacks: Stability,tracking, and robustness

We study the stability properties of a closed-loop system composed of a dynamical plant and a feedback controller, the latter generating control signals that can be compromised by a malicious attacker. We consider two classes of feedback controllers: a static output-feedback controller, and a dynamical gradient-flow controller that seeks to steer the output of the plant towards the solution of a convex optimization problem. In both cases, we analyze the stability properties of the closed-loop system under a class of switching attacks that persistently modify the control inputs generated by the controllers. Our stability analysis leverages the framework of hybrid dynamical systems, Lyapunov-based arguments for switching systems with unstable modes, and singular perturbation theory. Our results reveal that, under a suitable time-scale separation between plant and controllers, the stability of the interconnected system can be preserved when the attack occurs with “sufficiently low frequency” in any bounded time interval. We present simulation results in a power-grid example that corroborate the technical findings.