We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of excitation parameters. This provides a discrete time analog of our previous continuous time Lyapunov function constructions. We also construct expli...

This paper makes use of the concept of a finite–time Lyapunov function to derive a non– conservative small-gain theorem for stability analysis of interconnected discrete–time nonlinear systems. Firstly, it is shown that the existence of a global finite–time Lyapunov function is equivalent to global asymptotic stability (GAS) of the overall interconnected system. Secondly, it is indicated that e...

1. Lyapunov Exponents for Differential Equations 2. Abstract Theory of Lyapunov Exponents 3. Regularity of Lyapunov Exponents Associated with Differential Equations 4. Lyapunov Stability Theory 5. The Oseledets Decomposition 6. Dynamical Systems with Nonzero Lyapunov Exponents. Multiplicative Ergodic Theorem 7. Nonuniform Hyperbolicity. Regular Sets 8. Examples of Nonuniformly Hyperbolic System...

In this paper, control of a non-isothermal continuous stirred tank reactor in which two parallel autocatalytic reactions take place has been addressed. The reactor shows chaotic behavior for a certain set of reactor parameters. In order to control the product concentration, an optimal state feedback controller has been designed. Since concentrations of reactor species are ...

We prove a Lyapunov type theorem for modular measures on lattice ordered effect algebras.

We consider the class of closed generic fluid networks (GFN) models. This class contains for example fluid networks under general work-conserving and priority disciplines. Within this abstract framework a Lyapunov method for stability of GFN models was proposed by Ye and Chen. They proved that stability of a GFN model is equivalent to the property that for every path of the model a Lyapunov lik...

In the current paper we study in more detail some properties of the absolutely continuous invariant measures constructed in the course of the proof of Jakobson's Theorem. In particular, we show that the density of the invariant measure is continuous at Misiurewicz points. From this we deduce that the Lyapunov exponent is also continuous at these points (our considerations apply just to the para...

We provide a new proof of the theorem of Simon and Zhu that in the region |E| < λ for a.e. energies, − d2 dx2 + λ cos(xα), 0 < α < 1 has Lyapunov behavior with a quasi-classical formula for the Lyapunov exponent. We also prove Lyapunov behavior for a.e. E ∈ [−2, 2] for the discrete model with V (j2) = ej , V (n) = 0 if n / ∈ {1, 4, 9, . . . }. The arguments depend on a direct analysis of the eq...

Abstract We consider a nonlinear state transformation that allows us to work with non-quadratic polynomial Lyapunov functions. We use these polynomials to form Lyapunov functions to demonstrate simultaneous stability for a finite collection of linear systems. Under a weak definiteness condition, our main result, Theorem 3, shows that the minimum degree polynomial Lyapunov function that demonstr...